Aaron Tomb ecc1420453 Fix benchmark build		2019-10-24 15:22:10 -07: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
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