GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-17 04:44:39 +03:00
Code Issues Projects Releases Wiki Activity
28fdd44100
cryptol/tests/issues
History
Trevor Elliott 28fdd44100 Fix #140 
The Smtlib solver was translating Fin constraints to True, as it didn't know
how to handle them.  They should have been skipped, and returned back as
unsolved goals instead.
2014-12-11 15:12:14 -08:00
..
issue006.cry bind it even when no counterexample/sat is available; add tests 2014-08-19 17:11:43 -07:00
issue006.icry fix external bindings not being in scope in let bodies 2014-08-20 11:18:26 -07:00
issue006.icry.stdout fixes #89 2014-09-09 10:49:29 -04:00
issue066.icry Bind sat/prove results to a single type for both unsat and sat, use more record fields 2014-08-21 15:02:35 -07:00
issue066.icry.stdout fixes #89 2014-09-09 10:49:29 -04:00
issue073.icry add tests for #73 2014-11-04 14:08:23 -08:00
issue073.icry.stdout add tests for #73 2014-11-04 14:08:23 -08:00
issue081.cry add (failing) test case for #81 2014-09-02 16:29:55 -07:00
issue081.icry add (failing) test case for #81 2014-09-02 16:29:55 -07:00
issue081.icry.stdout fixes #89 2014-09-09 10:49:29 -04:00
issue083.cry add test case for #83 2014-09-04 10:16:18 -07:00
issue083.icry add test case for #83 2014-09-04 10:16:18 -07:00
issue083.icry.fails Change to refer to duplicate ticket. 2014-10-01 14:17:43 -07:00
issue083.icry.stdout add test case for #83 2014-09-04 10:16:18 -07:00
issue084.icry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue084.icry.stdout fixes #89 2014-09-09 10:49:29 -04:00
issue086.icry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue086.icry.stdout Update output for regression test 086. 2014-07-21 16:13:56 -07:00
issue087.icry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue087.icry.stdout Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue090.icry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue090.icry.stdout fixes #89 2014-09-09 10:49:29 -04:00
issue093.cry implicit :prove all properties when no argument given 2014-09-09 15:27:46 -04:00
issue093.icry implicit :prove all properties when no argument given 2014-09-09 15:27:46 -04:00
issue093.icry.fails Add support for marking failing tests as known. 2014-10-01 14:13:59 -07:00
issue093.icry.stdout wrt #132 update the expected output for the tests. 2014-10-23 14:28:01 -07:00
issue094.icry Add basic support for :exhaust 2014-09-10 11:16:07 -04:00
issue094.icry.stdout Don't do fancy progress bars for :check in batch mode 2014-12-05 17:18:29 -08:00
issue098.icry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue098.icry.stdout fixes #89 2014-09-09 10:49:29 -04:00
issue101.icry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue101.icry.stdout Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue103.icry add test case for #103 2014-09-25 16:52:25 -07:00
issue103.icry.stdout Don't do fancy progress bars for :check in batch mode 2014-12-05 17:18:29 -08:00
issue104.icry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue104.icry.stdout Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue108.cry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue108.icry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue108.icry.stdout fixes #89 2014-09-09 10:49:29 -04:00
issue128.cry Add regression test for issue #128. 2014-10-23 14:20:04 -07:00
issue128.icry Add regression test for issue #128. 2014-10-23 14:20:04 -07:00
issue128.icry.stdout Don't do fancy progress bars for :check in batch mode 2014-12-05 17:18:29 -08:00
issue130.cry Fix #140 2014-12-11 15:12:14 -08:00
issue130.icry Add regression test for issue #130. 2014-10-23 15:00:34 -07:00
issue130.icry.stdout Don't do fancy progress bars for :check in batch mode 2014-12-05 17:18:29 -08:00
issue133.cry Add regression test for github issue #133. 2014-11-04 16:10:48 -08:00
issue133.icry Add regression test for github issue #133. 2014-11-04 16:10:48 -08:00
issue133.icry.stdout Don't do fancy progress bars for :check in batch mode 2014-12-05 17:18:29 -08:00
issue135.icry Add regression tests for issue #135. 2014-11-04 12:03:07 -08:00
issue135.icry.stdout Add regression tests for issue #135. 2014-11-04 12:03:07 -08:00
issue141.cry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue141.icry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue141.icry.stdout Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue148.cry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue148.icry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue148.icry.fails Add support for marking failing tests as known. 2014-10-01 14:13:59 -07:00
issue148.icry.stdout Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue149.icry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue149.icry.stdout fixes #89 2014-09-09 10:49:29 -04:00
issue150.cry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue150.icry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue150.icry.stdout Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue152.icry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue152.icry.stdout update random values after changing random generation 2014-12-05 17:38:00 -08:00
issue184.cry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue184.icry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue184.icry.stdout fixes #89 2014-09-09 10:49:29 -04:00
issue185.cry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue185.icry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue185.icry.stdout Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue187.cry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue187.icry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue187.icry.stdout Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue198.icry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue198.icry.stdout Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue218.cry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue218.icry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue218.icry.fails Add support for marking failing tests as known. 2014-10-01 14:13:59 -07:00
issue218.icry.stdout Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue225.cry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue225.icry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue225.icry.fails Add support for marking failing tests as known. 2014-10-01 14:13:59 -07:00
issue225.icry.stdout Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue226.cry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue226.icry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue226.icry.stdout Update output for regression test 226 2014-07-21 16:18:47 -07:00
issue226r2.cry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue289.cry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue289.icry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue289.icry.stdout fixes #89 2014-09-09 10:49:29 -04:00
issue290.cry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue290.icry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue290.icry.stdout fixes #89 2014-09-09 10:49:29 -04:00
issue290bar.cry fixing issue290 - it was a bug in the brain of the reporter. 2014-04-22 17:03:24 -07:00
simon.cry2 Initial import from internal repo 2014-04-17 15:34:25 -07:00
T146.cry Add an example where we can get capture when substituting. 2014-12-02 15:50:40 -08:00
T146.icry Add an example where we can get capture when substituting. 2014-12-02 15:50:40 -08:00
T146.icry.fails Add an example where we can get capture when substituting. 2014-12-02 15:50:40 -08:00
T146.icry.stdout Add a stdout file for the failing test, issues/T146 2014-12-05 16:52:45 -08:00
trac133.cry Add regression test for github issue #133. 2014-11-04 16:10:48 -08:00
trac133.icry Add regression test for github issue #133. 2014-11-04 16:10:48 -08:00
trac133.icry.stdout Add regression test for github issue #133. 2014-11-04 16:10:48 -08:00
transpose0.icry Initial import from internal repo 2014-04-17 15:34:25 -07:00
transpose0.icry.stdout fixes #89 2014-09-09 10:49:29 -04:00