C

cryptol

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed about 7 hours ago. based on code collected about 7 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 18, 2024 — Aug 18, 2025 Showing page 116 of 155 Search / Filter on:
Add a deriving `Eq` on Schemas.	Iavor S. Diatchki	More...				over 8 years ago
Redo the export to SMT story in a much simpler way.	Iavor S. Diatchki	More...				over 8 years ago
Remove warnings.	Iavor S. Diatchki	More...				over 8 years ago
Fall back to old solver, if all else fails.	Iavor S. Diatchki	More...				over 8 years ago
Fix test. There is indeed defaulting that should be happening here.	Iavor S. Diatchki	More...				over 8 years ago
Wibble	Iavor S. Diatchki	More...				over 8 years ago
Prefere errors that do not mention unificaion variables.	Iavor S. Diatchki	More...				over 8 years ago
This one works now.	Iavor S. Diatchki	More...				over 8 years ago
Add .cryptolsrc files	Iavor S. Diatchki	More...				over 8 years ago
Update reference interpreter to handle run-time errors explicitly	Brian Huffman	More...				over 8 years ago
Hack, hack. Pass context to solver after defaulting.	Iavor S. Diatchki	More...				over 8 years ago
A more readable version of (possibly?) the same code	Iavor S. Diatchki	More...				over 8 years ago
Lookup variables in the interval map	Iavor S. Diatchki	More...				over 8 years ago
Fix some of the broken tests.	Iavor S. Diatchki	More...				over 8 years ago
Fix copy-paste error in normalization of LenFromThenTo	Iavor S. Diatchki	More...				over 8 years ago
Restore functionality of Panic	Iavor S. Diatchki	More...				over 8 years ago
Merge branch 'master' into wip/solver	Iavor S. Diatchki	More...				over 8 years ago
Merge branch 'master' of github.com:GaloisInc/cryptol	Iavor S. Diatchki	More...				over 8 years ago
Add a flag to control if batch execution stops on the first error or not.	Iavor S. Diatchki	More...				over 8 years ago
Add a flag to control if we show prover timing stats or not.	Iavor S. Diatchki	More...				over 8 years ago
Fix test to account for printing of operators' precedences.	Iavor S. Diatchki	More...				over 8 years ago
More rules and things; external solver disabled; we can at least load ChaCha	Iavor S. Diatchki	More...				over 8 years ago
Goals as Sets works again.	Iavor S. Diatchki	More...				over 8 years ago
In InferM types don't contain thunks.	Iavor S. Diatchki	More...				over 8 years ago
Keep maintaining evaluated invariant	Iavor S. Diatchki	More...				over 8 years ago
Remove extra layer of simplification.	Iavor S. Diatchki	More...				over 8 years ago
Rewrites for some more common cases	Iavor S. Diatchki	More...				over 8 years ago
Move simplification of types into SimpleSolver + some quick eqn rewrites.	Iavor S. Diatchki	More...				over 8 years ago
Add new unoptimized reference interpreter; use in REPL with ":eval <expr>"	Brian Huffman	More...				over 8 years ago
Fix typos in comments	Brian Huffman	More...				over 8 years ago

←
1
2
…
112
113
114
115
116
117
118
119
120
…
154
155
→