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 24, 2024 — Aug 24, 2025 Showing page 100 of 155 Search / Filter on:
Fix constraints on type of primitive `intmod`.	Brian Huffman	More...				about 7 years ago
Rename `Cryptol.Utils.PP.<>` to avoid clash with `Semigroup` operator.	Brian Huffman	More...				about 7 years ago
Fix test output due to addition of new primitive.	Brian Huffman	More...				about 7 years ago
Add a variant of the `demote` primitive for type `Z n`.	Brian Huffman	More...				about 7 years ago
Fix implementation of `^^` on type `Z n` in symbolic backend.	Brian Huffman	More...				about 7 years ago
Remove unused import.	Brian Huffman	More...				about 7 years ago
Make type `Z n` an instance of class `Literal`.	Brian Huffman	More...				about 7 years ago
Merge branch 'master' into literal-class	Brian Huffman	More...				about 7 years ago
Remove special cases in evaluator for types `Z 0` and `Z inf`.	Brian Huffman	More...				about 7 years ago
Make type `Z n` a partial type operator, requiring (fin n, n >= 1).	Brian Huffman	More...				about 7 years ago
Use size parameter in random value generator for type Integer.	Brian Huffman	More...				about 7 years ago
Fix exhaustive and random testing for integers-mod-n type.	Brian Huffman	More...				about 7 years ago
Initial implementation of type `Z n` (integers mod `n`).	Brian Huffman	More...				about 7 years ago
Reimplement comparison primitives by recursion on the TValue.	Brian Huffman	More...				about 7 years ago
Fix incomplete pattern match warnings.	Brian Huffman	More...				about 7 years ago
Remove unused constructors from Parser.AST.Type datatype.	Brian Huffman	More...				about 7 years ago
Renamer handles built-in types like `Integer` and `Bit` using `TApp`.	Brian Huffman	More...				about 7 years ago
Split new modules Fixity and Selector from Cryptol.Parser.AST.	Brian Huffman	More...				about 7 years ago
Remove dead code.	Brian Huffman	More...				about 7 years ago
Remove integer-based arguments to `logicUnary` and `logicBinary`.	Brian Huffman	More...				about 7 years ago
Simplify case expression.	Brian Huffman	More...				about 7 years ago
For quick-checking integer properties, use a randomized bit width.	Brian Huffman	More...				over 7 years ago
Report "untestable type" error when using :exhaust with type Integer.	Brian Huffman	More...				over 7 years ago
Remove redundant prelude functions `not`, `extend`, and `extendSigned`.	Brian Huffman	More...				over 7 years ago
Formatting code and comments in Cryptol.cry.	Brian Huffman	More...				over 7 years ago
Add short section to Cryptol book about type Integer.	Brian Huffman	More...				over 7 years ago
Update tests to account for Cryptol::Extras merge	Aaron Tomb	More...				over 7 years ago
Merge Cryptol/Extras.cry with Cryptol.cry	Aaron Tomb	More...				over 7 years ago
Document :exhaust command in the cryptol book. Fixes #466.	Brian Huffman	More...				over 7 years ago
Merge branch 'master' of github.com:GaloisInc/cryptol	Iavor Diatchki	More...				over 7 years ago

←
1
2
…
96
97
98
99
100
101
102
103
104
…
154
155
→