C

cryptol

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 29, 2024 — Jul 29, 2025 Showing page 18 of 154 Search / Filter on:
Implement sanity checking for `case`	Iavor Diatchki	More...				over 1 year ago
Release dates for changelogs	Ryan Scott	More...				over 1 year ago
CHANGELOG: Mention all closed issues and PRs	Ryan Scott	More...				over 1 year ago
Add nominal type constructors in scope.	Iavor Diatchki	More...				over 1 year ago
Bump changelog versions for 3.1.0	Ryan Scott	More...				over 1 year ago
Rename some more things `newtype` -> `nominal`	Iavor Diatchki	More...				over 1 year ago
Make the `cryptol-remote-api` build again.	Iavor Diatchki	More...				over 1 year ago
Tweak error messages	Iavor Diatchki	More...				over 1 year ago
Improvements to ":help" for nominal types/constructors	Iavor Diatchki	More...				over 1 year ago
Add regression test for #1606	Ryan Scott	More...				over 1 year ago
Emit an error for non-exhaustive case expressions	Ryan Scott	More...				over 1 year ago
Move constructors to the value namespace before checking for ambiguities.	Iavor Diatchki	More...				over 1 year ago
Rename "newtype" to "nominal type" after type checker	Iavor Diatchki	More...				over 1 year ago
RefMan: Say "enums", not "enumerations", to avoid ambiguous terminology	Ryan Scott	More...				over 1 year ago
Error when default case overlaps with subsequent cases	Ryan Scott	More...				over 1 year ago
Document no-overlapping-patterns restriction	Ryan Scott	More...				over 1 year ago
Use `Vector` and `IntMap` instead of `Map`, and a common ConInfo type	Iavor Diatchki	More...				over 1 year ago
Generalize CheckEnum test case to include :prove commands	Ryan Scott	More...				over 1 year ago
Implement symbolic evaluation for `enum` types.	Iavor Diatchki	More...				over 1 year ago
Remove `private` annotations on constructors.	Iavor Diatchki	More...				over 1 year ago
s/ppValue/ppValuePrec/	Ryan Scott	More...				over 1 year ago
Fix precedence when pretty-printing counterexamples	Ryan Scott	More...				over 1 year ago
use file-embed to make TH file embedding more robust	Valentin Robert	More...				over 1 year ago
Implement toExpr for enums	Ryan Scott	More...				over 1 year ago
Throw exception when symbolically evaluating enum values	Ryan Scott	More...				over 1 year ago
Test case for :check'ing enum values	Ryan Scott	More...				over 1 year ago
Implement random generation of enum values	Ryan Scott	More...				over 1 year ago
Update issue1040 golden output	Ryan Scott	More...				over 1 year ago
Fill in some of the random code for `enum`.	Iavor Diatchki	More...				over 1 year ago
Fix test	Iavor Diatchki	More...				over 1 year ago

←
1
2
…
14
15
16
17
18
19
20
21
22
…
153
154
→