GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-16 11:22:33 +03:00
Code Issues Projects Releases Wiki Activity
d377eac45d
cryptol/bench/data
History
Brian Huffman 24fb6c9511 Remove unused primitive fromThen.
2019-02-27 16:57:00 -08:00
..
AES.cry Update benchmarks for new interpreters 2016-05-30 23:07:05 -07:00
BigSequence.cry add typechecking and large sequence benchmarks 2015-08-10 13:52:01 -07:00
BigSequenceHex.cry add a hex version of Big Sequence 2015-08-10 16:53:08 -07:00
PreludeWithExtras.cry Remove unused primitive fromThen. 2019-02-27 16:57:00 -08:00
SHA512.cry Update benchmarks to find Prelude and CryptolTC.z3 2017-03-21 12:31:04 -07:00
ZUC.cry Update copyright dates and add missing headers 2016-01-19 18:19:35 -08:00