GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-17 13:01:31 +03:00
Code Issues Projects Releases Wiki Activity
a5cf80c570
cryptol/tests/issues
History
Adam C. Foltzer a5cf80c570 Merge @yuuko's allsat pull requests 
Cryptol's invocation of proof tools has changed quite a bit since this
PR was first opened, so this took a fair amount of work to
integrate. However we now have the :satNum option, and multiple sat
results are correctly bound to `it`.
2015-01-18 16:13:56 -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
issue058.cry Add test cases for issue #58. 2014-12-11 15:50:22 -08:00
issue058.icry Add test cases for issue #58. 2014-12-11 15:50:22 -08:00
issue058.icry.stdout Add test cases for issue #58. 2014-12-11 15:50:22 -08: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
issue072.icry Merge @yuuko's allsat pull requests 2015-01-18 16:13:56 -08:00
issue072.icry.stdout Merge @yuuko's allsat pull requests 2015-01-18 16:13:56 -08: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.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 Update tests for changes to inference 2014-12-30 10:43:38 -08: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
issue158.cry Add regression test for issue #158. 2015-01-15 16:24:21 -08:00
issue158.icry Add regression test for issue #158. 2015-01-15 16:24:21 -08:00
issue158.icry.stdout Add regression test for issue #158. 2015-01-15 16:24:21 -08:00
issue160.cry Fix definitions of sbvRotate{Left,Right} for large rotation amounts; 2015-01-16 11:06:12 -08:00
issue160.icry Fix definitions of sbvRotate{Left,Right} for large rotation amounts; 2015-01-16 11:06:12 -08:00
issue160.icry.stdout Fix definitions of sbvRotate{Left,Right} for large rotation amounts; 2015-01-16 11:06:12 -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 Update tests for changes to inference 2014-12-30 10:43:38 -08: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 Update issue225.icry 2014-12-16 17:59:07 -08:00
issue225.icry.stdout Update the output for test 225 2014-12-18 17:28:34 -08: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