C

cryptol

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed 2 days ago. based on code collected 2 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 19, 2024 — Aug 19, 2025 Showing page 120 of 155 Search / Filter on:
Add 'trace' and 'traceVal' to the primitive operations lists in the documentation.	Robert Dockins	More...				about 9 years ago
More explict comments for the 'trace' and 'traceVal' Prelude operations.	Robert Dockins	More...				about 9 years ago
Additional haddock improvements	Robert Dockins	More...				about 9 years ago
Further comment improvements	Robert Dockins	More...				about 9 years ago
Squash warnings and improve comments.	Robert Dockins	More...				about 9 years ago
Merge branch 'new-eval' of github.com:robdockins/cryptol into new-eval	Robert Dockins	More...				about 9 years ago
Merge remote-tracking branch 'origin/master' into new-eval Fix some minor conflicts in the test suite. Conflicts: tests/issues/issue002.icry.fails tests/issues/issue148.icry.stdout tests/issues/issue198.icry.stdout tests/issues/issue214.icry.stdout tests/issues/issue290v2.icry.stdout tests/issues/issue312.icry.fails	Robert Dockins	More...				about 9 years ago
Remove unused AES functions. Fixes #352.	Brian Huffman	More...				about 9 years ago
Merge branch 'release/2.4.0'	Adam C. Foltzer	More...				about 9 years ago
Add necessary type arguments to scytale example.	Thomas M. DuBuisson	More...				about 9 years ago
instantiate Scytale diameter	Adam C. Foltzer	More...				about 9 years ago
remove `splitBy` and update documentation	Adam C. Foltzer	More...				about 9 years ago
Merge pull request #333 from RyanGlScott/master	Adam C. Foltzer	More...				about 9 years ago
clean up build a bit	Adam C. Foltzer	More...				about 9 years ago
clean up build a bit	Adam C. Foltzer	More...				about 9 years ago
Make random value generation work on a slightly larger class of types.	Robert Dockins	More...				about 9 years ago
Parser disallows declarations like "f x # y = y".	Brian Huffman	More...				about 9 years ago
Tweak the thunk strategy for the evaulator, and make sure to eta-expand word values when necessary.	Rob Dockins	More...				about 9 years ago
Squash some incomplete pattern match warnings	Rob Dockins	More...				about 9 years ago
Merge remote-tracking branch 'github/new-eval' into new-eval	Robert Dockins	More...				about 9 years ago
Fix up some most-merge problems	Robert Dockins	More...				about 9 years ago
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

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