cryptol

mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-16 11:22:33 +03:00

History

Adam C. Foltzer ac85cec175 update test with counterexample that z3 produces These sorts of tests are inherently unstable, but since Z3 seems to agree across our platforms on this one, this should help make tests quieter.		2016-01-12 16:50:22 -08:00
..
issues	update test with counterexample that z3 produces	2016-01-12 16:50:22 -08:00
mono-binds	Update tests and output	2015-09-28 21:26:26 -07:00
parser	Add a test for multi-if	2015-06-22 09:25:45 -07:00
regression	finally add Even-Mansour example; closes #124	2016-01-12 16:49:47 -08:00
renamer	add load targets to search path	2015-02-17 15:27:59 -08:00
.gitignore	Initial import from internal repo	2014-04-17 15:34:25 -07:00
cryptol-test-runner.cabal	use base-compat to remove much CPP	2015-10-08 16:54:08 -07:00
Main.hs	use base-compat to remove much CPP	2015-10-08 16:54:08 -07:00
README	Initial import from internal repo	2014-04-17 15:34:25 -07:00

Test suites:

regression: tests from Cryptol-1's regression test suite.
issues: tests related to issues in the bug tracker.