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 16, 2024 — Aug 16, 2025 Showing page 119 of 155 Search / Filter on:
Fix name introduction for newtypes	Trevor Elliott	More...				about 9 years ago
Rename test "issue289" to "trac289"	Brian Huffman	More...				about 9 years ago
With :set ascii=on, print quotation marks around strings	Brian Huffman	More...				about 9 years ago
Fix an issue where literal sequences of bit values were being incorrectly reversed.	Robert Dockins	More...				about 9 years ago
Update test output	Brian Huffman	More...				about 9 years ago
Add new vector update primitives 'update' and 'updateEnd' which update vectors at indices starting from the beginning/end of the vector, respectively.	Robert Dockins	More...				about 9 years ago
split benchmark XML into separate files	Adam C. Foltzer	More...				about 9 years ago
add benchmarks for Extras	Adam C. Foltzer	More...				about 9 years ago
fixes #363	Adam C. Foltzer	More...				about 9 years ago
Add infix precedence declaration for (%). Fixes #362.	Brian Huffman	More...				about 9 years ago
Fix some incorrect syntax in Programming Cryptol appendix	Brian Huffman	More...				about 9 years ago
Update precedence table to match Cryptol prelude	Brian Huffman	More...				about 9 years ago
Merge branch 'master' of github.com:GaloisInc/cryptol	Iavor S. Diatchki	More...				about 9 years ago
Fixes #361	Iavor S. Diatchki	More...				about 9 years ago
Small fixes for "Programming Cryptol" appendices	Brian Huffman	More...				about 9 years ago
Fix lots of wrong types for primitives in appendix B	Brian Huffman	More...				about 9 years ago
More small fixes in Programming Cryptol	Brian Huffman	More...				about 9 years ago
Small fixes for crash-course chapter of Programming Cryptol	Brian Huffman	More...				about 9 years ago
Comment cleanup	Robert Dockins	More...				about 9 years ago
Clean up VWord/VSeq handling in some of the Cryptol primitives, and add some missing cases.	Robert Dockins	More...				about 9 years ago
Fix an off-by-one error in the implementation of 'split'. This was causing incorrect computation in examples/MiniLock/prim/Blake2s.cry.	Robert Dockins	More...				about 9 years ago
Increase the size of the garbage collector nursery to 64m. This greatly increases mutator productivity, and thus provides significant speedups on some examples. The tradeoff with larger nurseries is the potential for long GC pause times. This is probably acceptable tradeoff for a tool like Cryptol, despite the potential for unresponsiveness at the REPL.	Robert Dockins	More...				about 9 years ago
Merge pull request #356 from thoughtpolice/stdlib-iterate	Iavor S. Diatchki	More...				about 9 years ago
Merge pull request #344 from adrianherrera/enhancement/MISTY1	Iavor S. Diatchki	More...				about 9 years ago
lib/extras: add iterate	Austin Seipp	More...				about 9 years ago
Add test case to demonstrate tracing, as discussed in issue 68. The new evaluator allows us to have more direct control over evaluation order, and makes it straightforward to implement tracing primitives. There are two new primitives 'trace' and 'traceVal' in the Cryptol prelude that produce tracing output when evaluated. Fixes #68	Robert Dockins	More...				about 9 years ago
Add test cases for issue 138. Fixed by new evaluator. Fixes #138	Robert Dockins	More...				about 9 years ago
Add test case for issue #268. Fixed by the evaluator rewrite Fixes #268	Robert Dockins	More...				about 9 years ago
Add test case for issue #334. This issue is fixed by the evaluator rewrite. Fixes #334	Robert Dockins	More...				about 9 years ago
Merge pull request #338 from robdockins/new-eval	robdockins	More...				about 9 years ago

←
1
2
…
115
116
117
118
119
120
121
122
123
…
154
155
→