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
Aug 22, 2024 — Aug 22, 2025 Showing page 96 of 155 Search / Filter on:
Run tests on Travis	Aaron Tomb	More...				about 7 years ago
Updates to "High-assurance programming" chapter of the book.	Brian Huffman	More...				about 7 years ago
Add regression test for #533.	Brian Huffman	More...				about 7 years ago
Avoid type mismatch panic when printing counterexamples. Fixes #533.	Brian Huffman	More...				about 7 years ago
Capitalize sentences in output of :check and :exhaust.	Brian Huffman	More...				about 7 years ago
Update CI scripts	Aaron Tomb	More...				about 7 years ago
Fix capitalization of MiniLock in test	Aaron Tomb	More...				about 7 years ago
Restrict polynomial literals to bitvector types. Fixes #530.	Brian Huffman	More...				about 7 years ago
Update cryptol primitives appendix in the book.	Brian Huffman	More...				about 7 years ago
Update operator names in Cryptol book index.	Brian Huffman	More...				about 7 years ago
Remove index entries and text about non-existent :i, :p commands.	Brian Huffman	More...				about 7 years ago
Introduce command for more uniform exercise references in the book.	Brian Huffman	More...				about 7 years ago
Tweak fix for #494: it should never say an equation is unsolvable.	Brian Huffman	More...				about 7 years ago
Use autoref command and lowercase section refs consistently in the book.	Brian Huffman	More...				about 7 years ago
Switch Cryptol book exercises to use `split` instead of `groupBy`.	Brian Huffman	More...				about 7 years ago
Add regression test for #494.	Brian Huffman	More...				about 7 years ago
Add simplification rule: t1 == min (K + t1) t2 ~> t1 == t2, if K >= 1.	Brian Huffman	More...				about 7 years ago
Fix shadowing warnings in example cryptol code.	Brian Huffman	More...				about 7 years ago
Add regression test that loads all modules from examples directory.	Brian Huffman	More...				about 7 years ago
Fix examples/param_modules/Common/AES_GCM_SIV.cry.	Brian Huffman	More...				about 7 years ago
Fix type error in examples/Karatsuba.cry.	Brian Huffman	More...				about 7 years ago
Fix error in examples/AE.cry.	Brian Huffman	More...				about 7 years ago
Memoize result of binary logic operators on LargeBitsVal arguments.	Brian Huffman	More...				about 7 years ago
Fix typo in comment.	Brian Huffman	More...				about 7 years ago
Send symbolic typechecking goals involving `!=` to the SMT solver.	Brian Huffman	More...				about 7 years ago
Fix typo in comment.	Brian Huffman	More...				about 7 years ago
Fix typo in comment.	Brian Huffman	More...				about 7 years ago
Fix type error in examples/SHA256.cry.	Brian Huffman	More...				about 7 years ago
Unifier now returns a substitution even on unification failure.	Brian Huffman	More...				about 7 years ago
Add bounds assumptions for solver queries about type `Z n`.	Brian Huffman	More...				about 7 years ago

←
1
2
…
92
93
94
95
96
97
98
99
100
…
154
155
→