| .. |
|
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 |
|
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
|
wrt #132 update the expected output for the tests.
|
2014-10-23 14:28:01 -07: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
|
add test case for #103
|
2014-09-25 16:52:25 -07: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
|
Add regression test for issue #128.
|
2014-10-23 14:20:04 -07:00 |
|
issue133.cry
|
Initial import from internal repo
|
2014-04-17 15:34:25 -07:00 |
|
issue133.icry
|
Initial import from internal repo
|
2014-04-17 15:34:25 -07:00 |
|
issue133.icry.stdout
|
Initial import from internal repo
|
2014-04-17 15:34:25 -07: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 issue152 output to match new implementation of 'random'
|
2014-09-18 07:06:33 -07: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 |
|
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 |
