0
I Use This!
High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Aug 18, 2024 — Aug 18, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Preserve parens when parsing list enumeration arguments. More... almost 9 years ago
Add a case to 'mergeValue' for the new integer value constructor. Fixes #378 More... almost 9 years ago
Use more efficent algorithms based on barrel-shifters for implementing shifts and rotates in the symbolic backend. Fixes #376 More... almost 9 years ago
Update the SIV example to avoid issue #375. More... almost 9 years ago
Update examples to use (/\) instead of (&&) where appropriate, and to squash other warnings related to the upcomming precedence change. More... almost 9 years ago
Add regression test for bitshift operations More... almost 9 years ago
Repair the implementation of the shift and rotate operations in the symbolic simulator. They were previously calculating incorrect answers for certain bit sequences. More... almost 9 years ago
Fix a typo in the implementation of the (>>) primitive. This was causing incorrect cacluations when applied to certain bit sequences. More... almost 9 years ago
Add a --color command line option More... almost 9 years ago
Only set console terminal title when stdout supports ANSI sequences More... almost 9 years ago
Add primitives 'toInteger' and 'fromInteger' More... almost 9 years ago
Make parts of the lexer more strict. This squashes a minor space leak. More... about 9 years ago
Update tests to remove spurious failures More... about 9 years ago
Add primitive integer : {val} (fin val) => Integer More... about 9 years ago
Make :sat and :prove work for Integer properties More... about 9 years ago
Add 'negative exponent' runtime exception for Integer (^^) More... about 9 years ago
Add instances 'Arith Integer', 'Cmp Integer' to typechecker More... about 9 years ago
Implement comparison operators on type Integer More... about 9 years ago
Add new base type 'Integer' for unbounded integers More... about 9 years ago
Fix compiler warnings More... about 9 years ago
Make `fastTypeOf` support tuple/record selectors on lists More... about 9 years ago
Begin issuing warnings whenever the fixity is used to disambiguate parses involving (&&) and (||) relative to the comparison operators, or between (&&) and (^). These operators are scheduled to change fixity levels. See issue #241. More... about 9 years ago
Fix an incorrect error message More... about 9 years ago
Modify 'updates' and 'updatesEnd' to take the indices and values as separate vector arguments, rather than as a single vector argument of pairs. More... about 9 years ago
Add the short-cutting boolean operators (/\), (\/), and (==>) to the Cryptol prelude. This is in service of eventually addressing issue #241. More... about 9 years ago
Update the Cryptol documentation with the new 'update' primitives More... about 9 years ago
Fix minor typo in the Cryptol prelude that was messing up the help text for (!!) More... about 9 years ago
Fix test suite after changes to Cryptol prelude altered output More... about 9 years ago
Change the representation and caching of sequences for better performance. More... about 9 years ago
Implement 'update' primitives for the symbolic simulator More... about 9 years ago