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 19, 2024 — Aug 19, 2025 Showing page 110 of 155 Search / Filter on:
Implement constraint synonyms (#373).	Brian Huffman	More...				almost 8 years ago
checkpoint	Iavor Diatchki	More...				almost 8 years ago
Remove unused TokenKW constructors.	Brian Huffman	More...				almost 8 years ago
Named instantiations	Iavor Diatchki	More...				almost 8 years ago
Incomplete example of using 'abstract' types.	Iavor Diatchki	More...				almost 8 years ago
Typos and language fixes	Iavor Diatchki	More...				almost 8 years ago
Another iteration of the design.	Iavor Diatchki	More...				almost 8 years ago
Adapt `fastSchemaOf` function to avoid simplifying when instantiating props.	Brian Huffman	More...				almost 8 years ago
Some notes no how the design might work.	Iavor Diatchki	More...				almost 8 years ago
Add type-matching functions pIsZero and pIsLogic.	Brian Huffman	More...				almost 8 years ago
Update test output.	Brian Huffman	More...				almost 8 years ago
Add class `Zero` with `zero :: {a} (Zero a) => a`.	Brian Huffman	More...				almost 8 years ago
Remove warnings, moudule is safe	Iavor Diatchki	More...				almost 8 years ago
Start on implementing abstract types/constants (module parameters)	Iavor Diatchki	More...				almost 8 years ago
Fix test output.	Brian Huffman	More...				almost 8 years ago
Add 'Logic' class constraints to Cryptol::Extras	Brian Huffman	More...				almost 8 years ago
Add 'Logic' typeclass with operations complement, &&, \|\|, ^, zero.	Brian Huffman	More...				almost 8 years ago
Support toInteger/fromInteger with symbolic arguments in :prove/:sat.	Brian Huffman	More...				almost 8 years ago
Fix test output	Brian Huffman	More...				almost 8 years ago
Fix spurious failures due to lazy I/O	Aaron Tomb	More...				almost 8 years ago
Merge branch 'master' into integer	Brian Huffman	More...				almost 8 years ago
Work around happy bug by adding type signature on ipat	Eric Mertens	More...				almost 8 years ago
Add upper bound on happy	Eric Mertens	More...				almost 8 years ago
Merge pull request #439 from GaloisInc/signed-arith	robdockins	More...				about 8 years ago
Update CryptolPrims documentation	Robert Dockins	More...				about 8 years ago
Update syntax documentation	Robert Dockins	More...				about 8 years ago
Fix test breakage due to new operations in the Cryptol prelude.	Robert Dockins	More...				about 8 years ago
Implement signed division and remainder as methods of the Arith class.	Robert Dockins	More...				about 8 years ago
Implement the nested lexicographic order for signed comparisons.	Robert Dockins	More...				about 8 years ago
Merge remote-tracking branch 'origin' into signed-arith	Robert Dockins	More...				about 8 years ago

←
1
2
…
106
107
108
109
110
111
112
113
114
…
154
155
→