Aaron Tomb d76f21f89e Update benchmarks to find Prelude and CryptolTC.z3 ... Since they don’t run in the normal REPL environment, they need to know about where to find the Prelude and CryptolTC.z3 more directly.		2017-03-21 12:31:04 -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
PreludeWithExtras.cry	add benchmarks for Extras	2016-08-09 13:47:25 -04: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