C

cryptol

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed about 3 hours ago. based on code collected about 3 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 22, 2024 — Aug 22, 2025 Showing page 121 of 155 Search / Filter on:
Merge branch 'master' into new-eval-merge	Robert Dockins	More...				about 9 years ago
Remove the lexCompare case for infinite streams, which should never occur.	Robert Dockins	More...				about 9 years ago
Delete the unused cvt function	Robert Dockins	More...				about 9 years ago
Plug a space leak in the implementation of random sequences	Rob Dockins	More...				about 9 years ago
Move to directly pattern matching on the new type evaluation datatype instead of using helper destructor functions.	Robert Dockins	More...				about 9 years ago
Start manually merging Brian's changes regarding type values and evaluation	Robert Dockins	More...				about 9 years ago
Refactoring of how bits and words are handled in the interpreters.	Robert Dockins	More...				about 9 years ago
fully qualify cygpath to avoid weird hemlock error	Adam C. Foltzer	More...				about 9 years ago
add GHC 8 stackage nightly	Adam C. Foltzer	More...				about 9 years ago
clean up 7.8-isms	Adam C. Foltzer	More...				about 9 years ago
Crytol spec for MISTY1 cipher (as described in RFC 2994)	Adrian Herrera	More...				about 9 years ago
New evalType function works on either kind * or #	Brian Huffman	More...				about 9 years ago
TValue represents only value types; Nat' is for size types	Brian Huffman	More...				about 9 years ago
Pattern match on TValues instead of discriminator functions	Brian Huffman	More...				about 9 years ago
Redefine type TValue as an inductive datatype.	Brian Huffman	More...				about 9 years ago
Merge branch 'master' of github.com:GaloisInc/cryptol into new-eval	Robert Dockins	More...				about 9 years ago
tweak JSON deriving for cryptol-server	Adam C. Foltzer	More...				about 9 years ago
add note about Z3 on 64-bit Linux	Adam C. Foltzer	More...				about 9 years ago
Correct the printing of names with the parsed AST	Trevor Elliott	More...				about 9 years ago
Ignore the bytes output of issue220	Trevor Elliott	More...				about 9 years ago
Update the test output for mono-bind test 4	Trevor Elliott	More...				about 9 years ago
Fix type renaming in patterns	Trevor Elliott	More...				about 9 years ago
Merge branch 'master' of https://github.com/GaloisInc/cryptol	Thomas M. DuBuisson	More...				about 9 years ago
Fixes #320 Use -N1, not -N, as the default RTS option.	Thomas M. DuBuisson	More...				about 9 years ago
Fix test output for issue093.	Brian Huffman	More...				about 9 years ago
Evaluate types of predicates before checking their validity	Brian Huffman	More...				about 9 years ago
Fix a bug that somtimes mixed up the length with the element type of a comprehension match statement.	Rob Dockins	More...				about 9 years ago
Update benchmarks for new interpreters	Rob Dockins	More...				about 9 years ago
Add a utility function for forcing internal thunks in interpreter values.	Rob Dockins	More...				about 9 years ago
Make the implementation of "random" in the symbolic simulator more lazy.	Rob Dockins	More...				about 9 years ago

←
1
2
…
117
118
119
120
121
122
123
124
125
…
154
155
→