GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-01 08:32:23 +03:00
Code Issues Projects Releases Wiki Activity
2,163 Commits 66 Branches 28 Tags 95 MiB
1e1f7af812
Commit Graph

4 Commits

Author SHA1 Message Date
Aaron Tomb
600b5ec049 Update path for cryptol-specs in .gitmodules 2019-03-11 12:13:08 -07:00
Brian Huffman
acafb2952d Add cryptol-specs as git submodule under /examples. 2019-03-01 18:05:28 -08:00
Aaron Tomb
13b704f840 Remove references to sbv repository 2017-02-01 09:09:59 -08:00
Iavor S. Diatchki
10cf6f16e3 Print stats about the prover. Fixes #392 2017-01-27 16:14:37 -08:00