cryptol

mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-20 02:17:27 +03:00

History

Adam C. Foltzer 3d275ea44c add load targets to search path Fixes a bug pointed out by @weaversa: https://github.com/GaloisInc/cryptol/issues/127#issuecomment-64464455 In addition to the other search path changes in #127, we now will add the directory containing files to be loaded to the search path. This applies to: - files loaded with a command line argument, like in the original comment - arguments to `:l`, so for example `:l examples/DES.cry` would work - batch file arguments, so for example running `cryptol -b /some/path/bar.cry` adds `/some/path` to the search path.		2015-02-17 15:27:59 -08:00
..
issues	add load targets to search path	2015-02-17 15:27:59 -08: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	Allow `make test` to output the diff results	2014-12-05 16:49:58 -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.