GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-16 11:22:33 +03:00
Code Issues Projects Releases Wiki Activity
c04446b53a
cryptol/tests
History
Trevor Elliott c04446b53a Adds more support for UTF-8 in identifiers 
Also:

- Improves the `lexical error` message, changing it to `unrecognized
  character`, and only displaying the one character that caused the
  problem.

- Adds more relevant text when showing a lexical error, which should
  address #219

- Switches parser to operate over lazy `Data.Text` rather than `String`
2015-05-26 14:29:36 -07:00
..
issues Fix #177 2015-05-21 23:17:15 -07:00
mono-binds Switch to new defaulting code in type inference. 2015-02-25 17:21:51 -08:00
parser Adds more support for UTF-8 in identifiers 2015-05-26 14:29:36 -07:00
regression Experiment with defaulting using the SMT solver 2015-04-03 15:12:36 -07: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 tweak paths in test output for Windows 2015-03-06 12:03:21 -08:00
Main.hs Allow expected failures to be ignored 2015-03-30 16:58:33 -07: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.