| .. |
|
issue127
|
add load targets to search path
|
2015-02-17 15:27:59 -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
|
Fix test (again)
|
2015-02-25 15:43:42 -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
|
fix #93
|
2015-02-18 10:25:46 -08: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
|
fix #93
|
2015-02-18 10:25:46 -08:00 |
|
issue093.icry
|
implicit :prove all properties when no argument given
|
2014-09-09 15:27:46 -04:00 |
|
issue093.icry.stdout
|
fix #93
|
2015-02-18 10:25:46 -08: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
|
handle EvalErrors more gracefully in :check
|
2015-03-16 17:17:36 -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 |
|
issue116.cry
|
move issue218 test to issue116
|
2015-02-18 10:43:03 -08:00 |
|
issue116.icry
|
move issue218 test to issue116
|
2015-02-18 10:43:03 -08:00 |
|
issue116.icry.fails
|
move issue218 test to issue116
|
2015-02-18 10:43:03 -08:00 |
|
issue116.icry.stdout
|
move issue218 test to issue116
|
2015-02-18 10:43:03 -08:00 |
|
issue127.icry
|
add load targets to search path
|
2015-02-17 15:27:59 -08:00 |
|
issue127.icry.stdout
|
add load targets to search path
|
2015-02-17 15:27:59 -08: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 #93
|
2015-02-18 10:25:46 -08:00 |
|
issue167.cry
|
add empty module test
|
2015-02-24 18:00:59 -05:00 |
|
issue167.icry
|
add empty module test
|
2015-02-24 18:00:59 -05:00 |
|
issue167.icry.stdout
|
add empty module test
|
2015-02-24 18:00:59 -05:00 |
|
issue177.cry
|
Update test for issue #177
|
2015-03-04 11:22:37 -08:00 |
|
issue177.icry
|
Update test for issue #177
|
2015-03-04 11:22:37 -08:00 |
|
issue177.icry.stdout
|
Update test for issue #177
|
2015-03-04 11:22:37 -08:00 |
|
issue177A.cry
|
Update test for issue #177
|
2015-03-04 11:22:37 -08:00 |
|
issue177B.cry
|
Update test for issue #177
|
2015-03-04 11:22:37 -08:00 |
|
issue177C.cry
|
Update test for issue #177
|
2015-03-04 11:22:37 -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
|
update copyright years
|
2015-03-24 11:19:52 -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
|
Port defaulting to new solver; hook it in with prove implication.
|
2015-02-25 16:52:24 -08: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 |
|
padding.icry
|
hoping this simple padding example is solvable by the new constraint solver
|
2015-03-03 11:50:47 -08:00 |
|
padding.icry.stdout
|
Experiment with defaulting using the SMT solver
|
2015-04-03 15:12:36 -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 |
