cryptol

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

History

Iavor S. Diatchki 55a3a56659 Merge branch 'master' of github.com:GaloisInc/cryptol		2015-02-25 14:19:35 -08:00
..
issues	add empty module test	2015-02-24 18:00:59 -05:00
mono-binds	add load targets to search path	2015-02-17 15:27:59 -08:00
parser	Initial import from internal repo	2014-04-17 15:34:25 -07:00
regression	add load targets to search path	2015-02-17 15:27:59 -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	Initial import from internal repo	2014-04-17 15:34:25 -07:00
Main.hs	Modify testrunniner to figure out on its own if we have a dir or a test.	2015-02-25 14:19:11 -08: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.