openhub.net
Black Duck Software, Inc.
Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
C
cryptol
Settings
|
Report Duplicate
0
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
High Activity
Commits
: Listings
Analyzed
1 day
ago. based on code collected
1 day
ago.
Aug 18, 2024 — Aug 18, 2025
Showing page 118 of 155
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
Preserve parens when parsing list enumeration arguments.
Brian Huffman
More...
almost 9 years ago
Add a case to 'mergeValue' for the new integer value constructor. Fixes #378
Robert Dockins
More...
almost 9 years ago
Use more efficent algorithms based on barrel-shifters for implementing shifts and rotates in the symbolic backend. Fixes #376
Robert Dockins
More...
almost 9 years ago
Update the SIV example to avoid issue #375.
Robert Dockins
More...
almost 9 years ago
Update examples to use (/\) instead of (&&) where appropriate, and to squash other warnings related to the upcomming precedence change.
Robert Dockins
More...
almost 9 years ago
Add regression test for bitshift operations
Robert Dockins
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.
Robert Dockins
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.
Robert Dockins
More...
almost 9 years ago
Add a --color command line option
Austin Seipp
More...
almost 9 years ago
Only set console terminal title when stdout supports ANSI sequences
Austin Seipp
More...
almost 9 years ago
Add primitives 'toInteger' and 'fromInteger'
Brian Huffman
More...
almost 9 years ago
Make parts of the lexer more strict. This squashes a minor space leak.
Robert Dockins
More...
about 9 years ago
Update tests to remove spurious failures
Robert Dockins
More...
about 9 years ago
Add primitive integer : {val} (fin val) => Integer
Brian Huffman
More...
about 9 years ago
Make :sat and :prove work for Integer properties
Brian Huffman
More...
about 9 years ago
Add 'negative exponent' runtime exception for Integer (^^)
Brian Huffman
More...
about 9 years ago
Add instances 'Arith Integer', 'Cmp Integer' to typechecker
Brian Huffman
More...
about 9 years ago
Implement comparison operators on type Integer
Brian Huffman
More...
about 9 years ago
Add new base type 'Integer' for unbounded integers
Brian Huffman
More...
about 9 years ago
Fix compiler warnings
Brian Huffman
More...
about 9 years ago
Make `fastTypeOf` support tuple/record selectors on lists
Brian Huffman
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.
Robert Dockins
More...
about 9 years ago
Fix an incorrect error message
Robert Dockins
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.
Robert Dockins
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.
Robert Dockins
More...
about 9 years ago
Update the Cryptol documentation with the new 'update' primitives
Robert Dockins
More...
about 9 years ago
Fix minor typo in the Cryptol prelude that was messing up the help text for (!!)
Robert Dockins
More...
about 9 years ago
Fix test suite after changes to Cryptol prelude altered output
Robert Dockins
More...
about 9 years ago
Change the representation and caching of sequences for better performance.
Robert Dockins
More...
about 9 years ago
Implement 'update' primitives for the symbolic simulator
Robert Dockins
More...
about 9 years ago
←
1
2
…
114
115
116
117
118
119
120
121
122
…
154
155
→
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree