C

cryptol

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 22, 2024 — Aug 22, 2025 Showing page 94 of 155 Search / Filter on:
Add checkE to Cryptol.TypeCheck.Infer exports (for crucible-server).	Kevin Quick	More...				almost 7 years ago
Raise base-compat upper constraint to < 0.11.	Kevin Quick	More...				almost 7 years ago
Do not use parameterized modules when proving.	Iavor Diatchki	More...				about 7 years ago
Correct printing of "parameterized" on the REPL.	Iavor Diatchki	More...				about 7 years ago
Fix script, to deal with multiple versions of Cryptol	Iavor Diatchki	More...				about 7 years ago
Fix test, to account for changes to eval context checking	Iavor Diatchki	More...				about 7 years ago
Change the check for valid evaluation context, and add missing checks.	Iavor Diatchki	More...				about 7 years ago
Make it more obvious when we've loaded a parameterized module.	Iavor Diatchki	More...				about 7 years ago
Add documentation and comments for Subst module.	Brian Huffman	More...				about 7 years ago
Reimplement type substitutions using IntMap instead of Map.	Brian Huffman	More...				about 7 years ago
Factor out new function `tCon` in `SimpType` module.	Brian Huffman	More...				about 7 years ago
Fix warnings about unused import and declarations.	Brian Huffman	More...				about 7 years ago
Bump Cabal version to 2.6.1 now that 2.6.0 is out	Aaron Tomb	More...				about 7 years ago
Disable warnings about fixity of &&, \|\|	Aaron Tomb	More...				about 7 years ago
Update Cabal file copyright	Aaron Tomb	More...				about 7 years ago
Update Cabal file for Hackage acceptance	Aaron Tomb	More...				about 7 years ago
Polishing of :help output.	Brian Huffman	More...				about 7 years ago
Improve tab completion for :set command. Fixes #154.	Brian Huffman	More...				about 7 years ago
Update Programming in Cryptol PDF	Aaron Tomb	More...				about 7 years ago
Bump frozen SBV versions to 7.10	Aaron Tomb	More...				about 7 years ago
Update version to 2.6.0 in preparation for release	Aaron Tomb	More...				about 7 years ago
Minor fixes to Programming in Cryptol	Aaron Tomb	More...				about 7 years ago
Reintroduce `demote` as a copy of `number` for backward compatibility.	Brian Huffman	More...				about 7 years ago
Rename primitive `demote` to the more self-explanatory name `number`.	Brian Huffman	More...				about 7 years ago
Fix typo in comment.	Brian Huffman	More...				about 7 years ago
Fix Cryptol output in exercise solution in the book.	Brian Huffman	More...				about 7 years ago
Fix some typos in comments/docs.	Brian Huffman	More...				about 7 years ago
Add a table of type-level operators to the book	Aaron Tomb	More...				about 7 years ago
Better wording for multi-way conditional appendix	Aaron Tomb	More...				about 7 years ago
Fix build on older GHCs	Iavor Diatchki	More...				about 7 years ago

←
1
2
…
90
91
92
93
94
95
96
97
98
…
154
155
→