C

cryptol

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed 28 minutes ago. based on code collected about 1 hour ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 27, 2024 — Aug 27, 2025 Showing page 91 of 155 Search / Filter on:
Bump SBV version in Cabal freeze files	Aaron Tomb	More...				over 6 years ago
Merge pull request #580 from LeventErkok/master	Aaron Tomb	More...				over 6 years ago
Update path for cryptol-specs in .gitmodules	Aaron Tomb	More...				over 6 years ago
Add a prover-validate flag and pass it to SBV (default: off)	Levent Erkok	More...				over 6 years ago
Undo changes for elapsed time bug workaround	Levent Erkok	More...				over 6 years ago
Make cryptol compile with SBV 8.1	Levent Erkok	More...				over 6 years ago
Reimplement symbolic updates more efficiently. Fixes #579.	Brian Huffman	More...				over 6 years ago
Fix typos in comments.	Brian Huffman	More...				over 6 years ago
Remove deleted examples from Makefile	Aaron Tomb	More...				over 6 years ago
Remove some duplicate files from /examples that were also in cryptol-specs.	Brian Huffman	More...				over 6 years ago
Add cryptol-specs as git submodule under /examples.	Brian Huffman	More...				over 6 years ago
Improvements to edit/reload logic.	Iavor Diatchki	More...				over 6 years ago
Add examples of doing record updates	Iavor Diatchki	More...				over 6 years ago
Merge pull request #576 from GaloisInc/fingerprints	Iavor S. Diatchki	More...				over 6 years ago
Fix typo in documentation.	Brian Huffman	More...				over 6 years ago
Merge pull request #575 from GaloisInc/wip/no-from-then	brianhuffman	More...				over 6 years ago
Remove `[x..]` and `[x,y..]` syntax from documentation.	Brian Huffman	More...				over 6 years ago
Update test for new utf-8 error message	Eric Mertens	More...				over 6 years ago
Remove unused primitive type operator `lengthFromThen`.	Brian Huffman	More...				over 6 years ago
Remove unused primitive `fromThen`.	Brian Huffman	More...				over 6 years ago
Remove `[x..]` and `[x,y..]` syntax from Cryptol.	Brian Huffman	More...				over 6 years ago
Remove all uses of `[x..]` syntax from examples and tests.	Brian Huffman	More...				over 6 years ago
Track file content fingerprints alongside loaded modules	Eric Mertens	More...				over 6 years ago
Update AppVeyor configuration	Aaron Tomb	More...				over 6 years ago
Update Travis for GHC 8.6	Aaron Tomb	More...				over 6 years ago
Update Syntax.md and re-sync it with Syntax.tex	Iavor Diatchki	More...				over 6 years ago
Merge branch 'master' into rec-upd	Iavor Diatchki	More...				over 6 years ago
Fixup function notation in records	Iavor Diatchki	More...				over 6 years ago
Reference implementation of updates.	Iavor Diatchki	More...				over 6 years ago
Concrete evaluation	Iavor Diatchki	More...				over 6 years ago

←
1
2
…
87
88
89
90
91
92
93
94
95
…
154
155
→