GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2025-01-05 15:07:12 +03:00
Code Issues Projects Releases Wiki Activity
07088eddef
cryptol/tests
History
Brian Huffman 9538c59d23 Fix shift/rotate by amounts greater than 2^63 in evaluator 
Also added regression tests. This should fix issue #306.
2016-01-27 10:37:55 -08:00
..
issues Fix shift/rotate by amounts greater than 2^63 in evaluator 2016-01-27 10:37:55 -08:00
mono-binds Update tests and output 2015-09-28 21:26:26 -07:00
parser Update copyright dates and add missing headers 2016-01-19 18:19:35 -08:00
regression Update copyright dates and add missing headers 2016-01-19 18:19:35 -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 Update copyright dates and add missing headers 2016-01-19 18:19:35 -08:00
README Initial import from internal repo 2014-04-17 15:34:25 -07:00

README 

Test suites:

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