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 97 of 155 Search / Filter on:
Update function `toExpr` for new type of demote primitive.	Brian Huffman	More...				about 7 years ago
Further avoid printing constructors "Nat" and "Inf" in error messages.	Brian Huffman	More...				about 7 years ago
More edits to Cryptol book, rewrite type synonym section.	Brian Huffman	More...				about 7 years ago
Update PDF of Programming in Cryptol	Aaron Tomb	More...				about 7 years ago
Many updates to Programming Cryptol book (work in progress).	Brian Huffman	More...				about 7 years ago
Avoid printing constructor names "Nat" and "Inf" in error messages.	Brian Huffman	More...				about 7 years ago
Merge branch 'master' of github.com:GaloisInc/cryptol	Brian Huffman	More...				about 7 years ago
Add some more simplification on user defined signatures.	Iavor Diatchki	More...				about 7 years ago
Add some missing cases.	Iavor Diatchki	More...				about 7 years ago
Tuples are now indexed from 0, so selector 3 is really the 4th field of a tuple	Iavor Diatchki	More...				about 7 years ago
Fixes #524	Iavor Diatchki	More...				about 7 years ago
Restrict output number base to 2, 8, 10 and 16.	Brian Huffman	More...				about 7 years ago
Command ":help :set <option-name>" prints help text for settable option.	Brian Huffman	More...				about 7 years ago
Print ambiguous command warning for :help with ambiguous command name.	Brian Huffman	More...				about 7 years ago
Make `:help` print documentation for other REPL commands.	Brian Huffman	More...				about 7 years ago
Do and-goal splitting in more places.	Iavor Diatchki	More...				about 7 years ago
Add regression test for #413.	Brian Huffman	More...				about 7 years ago
Add inequality constraints to types of `fromThen` and `fromThenTo`.	Brian Huffman	More...				about 7 years ago
Add concrete type-level syntax `m != n` for inequality constraints.	Brian Huffman	More...				about 7 years ago
Add implementation of Threefish tweakable block cipher.	Brian Huffman	More...				about 7 years ago
Fix typo in comment.	Brian Huffman	More...				about 7 years ago
Merge branch 'master' of github.com:GaloisInc/cryptol	Iavor Diatchki	More...				about 7 years ago
Fixes #521	Iavor Diatchki	More...				about 7 years ago
Reference interpreter uses `base` and `infLength` printing options.	Brian Huffman	More...				about 7 years ago
Reference evaluator tracks lengths of list values.	Brian Huffman	More...				about 7 years ago
Remove non-primitives `@@` and `!!` from reference evaluator prims.	Brian Huffman	More...				about 7 years ago
Fix typo in comment.	Brian Huffman	More...				about 7 years ago
Fix typo in typechecker error message.	Brian Huffman	More...				about 7 years ago
Merge pull request #520 from lemmarathon/feature/docker	Aaron Tomb	More...				about 7 years ago
Remove obsolete reference to cryptol-server	Aaron Tomb	More...				about 7 years ago

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