.. |
issue127
|
add load targets to search path
|
2015-02-17 15:27:59 -08:00 |
issue202
|
tweak patch in 170e5953 to work for 7.8; add test
|
2015-07-01 12:31:37 -04:00 |
issue565
|
Fixes #565
|
2019-01-24 17:00:16 -08:00 |
.cryptolrc
|
Add .cryptolsrc files
|
2017-02-15 09:08:02 -08:00 |
.gitignore
|
Ignore the bytes output of issue220
|
2016-05-31 11:53:38 -07:00 |
issue68.cry
|
Add test case to demonstrate tracing, as discussed in issue 68.
|
2016-07-13 15:09:56 -07:00 |
issue68.icry
|
Add test case to demonstrate tracing, as discussed in issue 68.
|
2016-07-13 15:09:56 -07:00 |
issue68.icry.stdout
|
Don't print directly to stdout. Fixes #166
|
2017-10-04 15:50:31 -07:00 |
issue78.cry
|
Add test for issue #78.
|
2017-10-02 15:48:51 -07:00 |
issue78.icry
|
Add test for issue #78.
|
2017-10-02 15:48:51 -07:00 |
issue78.icry.stdout
|
Add test for issue #78.
|
2017-10-02 15:48:51 -07:00 |
issue002.icry
|
Add (failing) test for issue #2.
|
2016-02-12 14:46:06 -08:00 |
issue002.icry.stdout
|
Update test case output.
|
2018-06-15 14:15:39 -07: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
|
The new superclass inference sometimes casues minor changes in
|
2020-06-19 11:55:58 -07:00 |
issue066.icry
|
Update tests to remove spurious failures
|
2016-08-18 16:05:23 -07:00 |
issue066.icry.stdout
|
Updates to test results
|
2020-12-06 20:28:09 -08:00 |
issue072.icry
|
Make issue072 test more robust to solver versions
|
2019-10-25 11:39:31 -07:00 |
issue072.icry.stdout
|
Add a bit more output for the Satisfiable/Counterexample cases
|
2020-05-26 17:08:20 -07: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
|
Fix more tests.
|
2018-06-20 16:34:59 -07:00 |
issue084.icry.stdout
|
Fix test golden output: runtime errors now print source locations.
|
2020-12-01 11:01:21 -08:00 |
issue086.icry
|
Initial import from internal repo
|
2014-04-17 15:34:25 -07:00 |
issue086.icry.stdout
|
Fix test output.
|
2017-09-15 14:05:27 -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
|
Tweak counterxample printing for :check and :exhaust and
|
2021-01-12 11:17:27 -08:00 |
issue094.icry
|
Add basic support for :exhaust
|
2014-09-10 11:16:07 -04:00 |
issue094.icry.stdout
|
Capitalize sentences in output of :check and :exhaust.
|
2018-07-20 10:55:24 -07:00 |
issue098.icry
|
Initial import from internal repo
|
2014-04-17 15:34:25 -07:00 |
issue098.icry.stdout
|
Improve various defaulting/instantiatiation warnings and error messages.
|
2018-06-25 16:48:10 -07:00 |
issue101.icry
|
Initial import from internal repo
|
2014-04-17 15:34:25 -07:00 |
issue101.icry.stdout
|
Fix test golden output: runtime errors now print source locations.
|
2020-12-01 11:01:21 -08:00 |
issue103.icry
|
add test case for #103
|
2014-09-25 16:52:25 -07:00 |
issue103.icry.stdout
|
Fix test suite
|
2021-04-13 10:27:17 -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
|
Improve various defaulting/instantiatiation warnings and error messages.
|
2018-06-25 16:48:10 -07:00 |
issue116.cry
|
Update the test suite now that issue #116 is fixed.
|
2017-07-26 15:31:36 -07:00 |
issue116.icry
|
Change the default so that defaulting warnings are suppressed.
|
2020-07-02 14:56:27 -07:00 |
issue116.icry.stdout
|
Update the test suite now that issue #116 is fixed.
|
2017-07-26 15:31:36 -07:00 |
issue126.cry
|
add a test for #126
|
2016-01-19 18:18:03 -08:00 |
issue126.icry
|
add a test for #126
|
2016-01-19 18:18:03 -08:00 |
issue126.icry.stdout
|
add a test for #126
|
2016-01-19 18:18: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
|
Capitalize sentences in output of :check and :exhaust.
|
2018-07-20 10:55:24 -07: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
|
Capitalize sentences in output of :check and :exhaust.
|
2018-07-20 10:55:24 -07: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
|
Capitalize sentences in output of :check and :exhaust.
|
2018-07-20 10:55:24 -07:00 |
issue135.icry
|
Update tests to remove spurious failures
|
2016-08-18 16:05:23 -07:00 |
issue135.icry.stdout
|
Add a bit more output for the Satisfiable/Counterexample cases
|
2020-05-26 17:08:20 -07:00 |
issue138.cry
|
Add test cases for issue 138. Fixed by new evaluator.
|
2016-07-13 15:00:00 -07:00 |
issue138.icry
|
Change the default so that defaulting warnings are suppressed.
|
2020-07-02 14:56:27 -07:00 |
issue138.icry.stdout
|
Add test cases for issue 138. Fixed by new evaluator.
|
2016-07-13 15:00:00 -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
|
Make the issue148 test less sensitive to solver versions
|
2021-04-06 09:36:59 -07:00 |
issue148.icry.stdout
|
Make the issue148 test less sensitive to solver versions
|
2021-04-06 09:36:59 -07:00 |
issue149.icry
|
Initial import from internal repo
|
2014-04-17 15:34:25 -07:00 |
issue149.icry.stdout
|
Restrict polynomial literals to bitvector types. Fixes #530.
|
2018-07-20 10:06:16 -07: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
|
Still compute width defaulting information as before, but
|
2020-07-02 15:04:07 -07:00 |
issue152.icry
|
switch to more portable seeding for random
|
2016-01-19 18:17:34 -08:00 |
issue152.icry.stdout
|
Remove our dependency on the random package.
|
2021-04-07 12:12:32 -07: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 |
issue171.cry
|
:prove checks properties in the order they appear in the source.
|
2016-03-10 11:36:41 -05:00 |
issue171.icry
|
:prove checks properties in the order they appear in the source.
|
2016-03-10 11:36:41 -05:00 |
issue171.icry.stdout
|
:prove checks properties in the order they appear in the source.
|
2016-03-10 11:36:41 -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 expected test outputs with unfolded private type synonyms.
|
2020-09-23 10:32:20 -07: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
|
Remove trailing whitespace
|
2016-02-19 10:08:20 -08: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
|
Change the default so that defaulting warnings are suppressed.
|
2020-07-02 14:56:27 -07:00 |
issue198.icry.stdout
|
Fix test suite after changes to Cryptol prelude altered output
|
2016-08-12 12:22:58 -07:00 |
issue202.icry
|
tweak patch in 170e5953 to work for 7.8; add test
|
2015-07-01 12:31:37 -04:00 |
issue202.icry.stdout
|
tweak patch in 170e5953 to work for 7.8; add test
|
2015-07-01 12:31:37 -04:00 |
issue211.icry
|
Update the test for issue 211 to restore the old test behavior.
|
2021-04-13 10:27:17 -07:00 |
issue211.icry.stdout
|
Fix test suite
|
2021-04-13 10:27:17 -07:00 |
issue212.cry
|
Remove trailing whitespace
|
2016-02-19 10:08:20 -08:00 |
issue212.icry
|
Example type constraint width issues
|
2015-05-07 09:31:10 -07:00 |
issue212.icry.stdout
|
Add a rule to the numeric solver for "linear unifiers"
|
2017-10-03 12:49:17 -07:00 |
issue214.cry
|
Example crash in HEAD (issue #214)
|
2015-05-08 13:56:53 -07:00 |
issue214.icry
|
Change the default so that defaulting warnings are suppressed.
|
2020-07-02 14:56:27 -07:00 |
issue214.icry.stdout
|
Add the short-cutting boolean operators (/\), (\/), and (==>)
|
2016-08-12 17:12:34 -07:00 |
issue220.icry
|
Test files for read/write bytearray command.
|
2015-11-15 10:42:04 -08:00 |
issue220.icry.stdout
|
Test files for read/write bytearray command.
|
2015-11-15 10:42:04 -08:00 |
issue225.cry
|
Remove trailing whitespace
|
2016-02-19 10:08:20 -08: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
|
Fix test suite
|
2021-04-13 10:27:17 -07:00 |
issue226r2.cry
|
Initial import from internal repo
|
2014-04-17 15:34:25 -07:00 |
issue256.icry
|
Add regression test for issue #256.
|
2016-02-08 15:09:34 -08:00 |
issue256.icry.stdout
|
Update output for tests 256 and 335
|
2016-05-27 16:25:14 -07:00 |
issue268.cry
|
Remove all defaulting, except for literals.
|
2020-07-02 14:56:27 -07:00 |
issue268.icry
|
Add test case for issue #268. Fixed by the evaluator rewrite
|
2016-07-13 14:40:44 -07:00 |
issue268.icry.stdout
|
Remove all defaulting, except for literals.
|
2020-07-02 14:56:27 -07: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
|
Make :m work the same way as :l
|
2020-07-07 15:34:03 -07:00 |
issue290bar.cry
|
fixing issue290 - it was a bug in the brain of the reporter.
|
2014-04-22 17:03:24 -07:00 |
issue290v2.cry
|
Make a friendlier, non-panic error message for cases where patterns
|
2016-05-04 17:38:16 -07:00 |
issue290v2.icry
|
Make a friendlier, non-panic error message for cases where patterns
|
2016-05-04 17:38:16 -07:00 |
issue290v2.icry.stdout
|
Fix test suite
|
2021-04-13 10:27:17 -07:00 |
issue304.cry
|
Fixes #304
|
2016-05-27 22:00:43 -07:00 |
issue304.icry
|
Fixes #304
|
2016-05-27 22:00:43 -07:00 |
issue304.icry.stdout
|
Fixes #304
|
2016-05-27 22:00:43 -07:00 |
issue306.icry
|
Fix shift/rotate by amounts greater than 2^63 in evaluator
|
2016-01-27 10:37:55 -08:00 |
issue306.icry.stdout
|
Capitalize sentences in output of :check and :exhaust.
|
2018-07-20 10:55:24 -07:00 |
issue308.cry
|
Add a test for ticket #308
|
2016-02-09 11:56:44 -08:00 |
issue308.icry
|
Add a test for ticket #308
|
2016-02-09 11:56:44 -08:00 |
issue308.icry.stdout
|
Add a test for ticket #308
|
2016-02-09 11:56:44 -08:00 |
issue312.cry
|
Add test case for issue #312.
|
2016-02-19 11:53:33 -08:00 |
issue312.icry
|
Add test case for issue #312.
|
2016-02-19 11:53:33 -08:00 |
issue312.icry.stdout
|
Add test case for issue #312.
|
2016-02-19 11:53:33 -08:00 |
issue314.cry
|
Add test case for issue #314
|
2016-03-04 08:58:50 -08:00 |
issue314.icry
|
Add test case for issue #314
|
2016-03-04 08:58:50 -08:00 |
issue314.icry.stdout
|
Add test case for issue #314
|
2016-03-04 08:58:50 -08:00 |
issue322.icry
|
Fixes #322
|
2016-04-07 21:26:21 -07:00 |
issue322.icry.stdout
|
Update tests outputs
|
2021-02-16 15:11:04 -08:00 |
issue323.cry
|
Add regression test for #323.
|
2018-06-21 09:33:44 -07:00 |
issue323.icry
|
Add regression test for #323.
|
2018-06-21 09:33:44 -07:00 |
issue323.icry.stdout
|
Fix test suite
|
2021-04-13 10:27:17 -07:00 |
issue325.icry
|
Add testcase for issue #325.
|
2017-10-02 17:49:12 -07:00 |
issue325.icry.stdout
|
Capitalize sentences in output of :check and :exhaust.
|
2018-07-20 10:55:24 -07:00 |
issue334.icry
|
Add test case for issue #334. This issue is fixed by the evaluator rewrite.
|
2016-07-13 14:36:26 -07:00 |
issue334.icry.stdout
|
Add test case for issue #334. This issue is fixed by the evaluator rewrite.
|
2016-07-13 14:36:26 -07:00 |
issue335.icry
|
Fixes #335
|
2016-05-24 11:58:55 -07:00 |
issue335.icry.stdout
|
Update output for tests 256 and 335
|
2016-05-27 16:25:14 -07:00 |
issue364.cry
|
Remove our dependency on the random package.
|
2021-04-07 12:12:32 -07:00 |
issue364.icry
|
Make 'random' compute on concrete inputs in the symbolic evaluator.
|
2017-07-27 15:45:37 -07:00 |
issue364.icry.stdout
|
Fix test golden output: runtime errors now print source locations.
|
2020-12-01 11:01:21 -08:00 |
issue368.cry
|
Add regression test for issue #368.
|
2016-09-19 11:57:06 -07:00 |
issue368.icry
|
Add regression test for issue #368.
|
2016-09-19 11:57:06 -07:00 |
issue368.icry.stdout
|
Add regression test for issue #368.
|
2016-09-19 11:57:06 -07:00 |
issue382.icry
|
Add regression test for issue #382.
|
2016-09-20 11:25:01 -07:00 |
issue382.icry.stdout
|
Fix test golden output: runtime errors now print source locations.
|
2020-12-01 11:01:21 -08:00 |
issue389.cry
|
Rename prelude function width to length , and generalize its type.
|
2018-10-10 16:21:38 -07:00 |
issue389.icry
|
Add testcase for issue #389.
|
2017-10-02 18:15:02 -07:00 |
issue389.icry.stdout
|
Add testcase for issue #389.
|
2017-10-02 18:15:02 -07:00 |
issue395.icry
|
Fix a corner case for join on 0-length inner sequences.
|
2017-05-10 17:49:37 -07:00 |
issue395.icry.stdout
|
Reference interpreter uses base and infLength printing options.
|
2018-07-10 09:58:37 -07:00 |
issue406.icry
|
Add regression tests for #406, #408, and #410.
|
2017-05-05 14:17:45 -07:00 |
issue406.icry.stdout
|
Add regression tests for #406, #408, and #410.
|
2017-05-05 14:17:45 -07:00 |
issue407.icry
|
Implement a missing case in the definition of 'transpose'.
|
2017-05-10 16:54:26 -07:00 |
issue407.icry.stdout
|
Add a bit more output for the Satisfiable/Counterexample cases
|
2020-05-26 17:08:20 -07:00 |
issue408.icry
|
Add regression tests for #406, #408, and #410.
|
2017-05-05 14:17:45 -07:00 |
issue408.icry.stdout
|
Add regression tests for #406, #408, and #410.
|
2017-05-05 14:17:45 -07:00 |
issue410.icry
|
Add regression tests for #406, #408, and #410.
|
2017-05-05 14:17:45 -07:00 |
issue410.icry.stdout
|
Fix test
|
2018-07-26 22:06:31 +03:00 |
issue413.icry
|
Add regression test for #413.
|
2018-07-11 13:00:53 -07:00 |
issue413.icry.stdout
|
Updates to test results
|
2020-12-06 20:28:09 -08:00 |
issue416.cry
|
Add inequality constraints to types of fromThen and fromThenTo .
|
2018-07-11 12:58:49 -07:00 |
issue416.icry
|
Add inequality constraints to types of fromThen and fromThenTo .
|
2018-07-11 12:58:49 -07:00 |
issue416.icry.stdout
|
The new superclass inference sometimes casues minor changes in
|
2020-06-19 11:55:58 -07:00 |
issue463.icry
|
Add regression test for issue #463.
|
2017-10-04 13:47:24 -07:00 |
issue463.icry.stdout
|
Add regression test for issue #463.
|
2017-10-04 13:47:24 -07:00 |
issue474.icry
|
Add test case for issue #474.
|
2017-10-20 11:09:51 -07:00 |
issue474.icry.stdout
|
Add a bit more output for the Satisfiable/Counterexample cases
|
2020-05-26 17:08:20 -07:00 |
issue485.icry
|
Add regression test for issue #485.
|
2020-09-23 10:32:20 -07:00 |
issue485.icry.stdout
|
Add regression test for issue #485.
|
2020-09-23 10:32:20 -07:00 |
issue485a.cry
|
Add regression test for issue #485.
|
2020-09-23 10:32:20 -07:00 |
issue485b.cry
|
Add regression test for issue #485.
|
2020-09-23 10:32:20 -07:00 |
issue486.icry
|
Implement defaulting in the presence of overloaded literals.
|
2018-06-20 15:06:19 -07:00 |
issue486.icry.stdout
|
Change the default so that defaulting warnings are suppressed.
|
2020-07-02 14:56:27 -07:00 |
issue494.cry
|
Add regression test for #494.
|
2018-07-19 15:08:24 -07:00 |
issue494.icry
|
Add regression test for #494.
|
2018-07-19 15:08:24 -07:00 |
issue494.icry.stdout
|
Still compute width defaulting information as before, but
|
2020-07-02 15:04:07 -07:00 |
issue513.cry
|
Add regression test for #513.
|
2018-06-20 11:13:50 -07:00 |
issue513.icry
|
Add regression test for #513.
|
2018-06-20 11:13:50 -07:00 |
issue513.icry.stdout
|
Remove leading ./ from file names in test output
|
2019-10-28 13:57:37 -07:00 |
issue533.icry
|
Add regression test for #533.
|
2018-07-20 12:04:03 -07:00 |
issue533.icry.stdout
|
Tweak counterxample printing for :check and :exhaust and
|
2021-01-12 11:17:27 -08:00 |
issue565.icry
|
Fixes #565
|
2019-01-24 17:00:16 -08:00 |
issue565.icry.stdout
|
Fixes #565
|
2019-01-24 17:00:16 -08:00 |
issue567.icry
|
Document the current state of affairs regarding issue 567.
|
2021-02-13 14:57:06 -08:00 |
issue567.icry.stdout
|
Implementation of nested modules.
|
2021-03-12 09:55:56 -08:00 |
issue581.cry
|
Add regression test for #581.
|
2019-03-18 15:29:36 -07:00 |
issue581.icry
|
Add regression test for #581.
|
2019-03-18 15:29:36 -07:00 |
issue581.icry.stdout
|
Add regression test for #581.
|
2019-03-18 15:29:36 -07:00 |
issue582.cry
|
Add regression test for issue #582.
|
2019-03-18 14:53:09 -07:00 |
issue582.icry
|
Add regression test for issue #582.
|
2019-03-18 14:53:09 -07:00 |
issue582.icry.stdout
|
Fix test golden output: runtime errors now print source locations.
|
2020-12-01 11:01:21 -08:00 |
issue607.icry
|
Don't generalize a rec. group, if any members are marked as monomorphic.
|
2019-06-14 16:14:14 -07:00 |
issue607.icry.stdout
|
Change the default so that defaulting warnings are suppressed.
|
2020-07-02 14:56:27 -07:00 |
issue614.cry
|
Add regression test for issue #614.
|
2019-12-13 11:13:03 -08:00 |
issue614.icry
|
Add regression test for issue #614.
|
2019-12-13 11:13:03 -08:00 |
issue614.icry.stdout
|
Add regression test for issue #614.
|
2019-12-13 11:13:03 -08:00 |
issue639.icry
|
Test case for issue #639
|
2020-12-21 12:14:21 -08:00 |
issue639.icry.stdout
|
Tweak counterxample printing for :check and :exhaust and
|
2021-01-12 11:17:27 -08:00 |
issue640.cry
|
Add test case for issue640
|
2021-04-13 10:27:17 -07:00 |
issue640.icry
|
Add test case for issue640
|
2021-04-13 10:27:17 -07:00 |
issue640.icry.stdout
|
Add test case for issue640
|
2021-04-13 10:27:17 -07:00 |
issue662.cry
|
Test case for issue #662
|
2020-04-02 09:40:44 -07:00 |
issue662.icry
|
Test case for issue #662
|
2020-04-02 09:40:44 -07:00 |
issue662.icry.stdout
|
Test case for issue #662
|
2020-04-02 09:40:44 -07:00 |
issue664.icry
|
Add regression test for #664.
|
2019-11-26 22:23:53 -08:00 |
issue664.icry.stdout
|
Add regression test for #664.
|
2019-11-26 22:23:53 -08:00 |
issue667.icry
|
Add regression test for #667.
|
2019-12-06 15:51:57 -08:00 |
issue667.icry.stdout
|
Add regression test for #667.
|
2019-12-06 15:51:57 -08:00 |
issue670.cry
|
Add regression test for #670.
|
2019-12-16 18:02:56 -08:00 |
issue670.icry
|
Add regression test for #670.
|
2019-12-16 18:02:56 -08:00 |
issue670.icry.stdout
|
Add regression test for #670.
|
2019-12-16 18:02:56 -08:00 |
issue702.icry
|
Add unit test for issue702
|
2020-04-17 17:48:44 -07:00 |
issue702.icry.stdout
|
Implement and use a new RecordMap type.
|
2020-06-30 12:34:50 -07:00 |
issue712.icry
|
unit test for issue 712
|
2020-06-23 12:42:03 -07:00 |
issue712.icry.stdout
|
Fix test golden output: runtime errors now print source locations.
|
2020-12-01 11:01:21 -08:00 |
issue713.icry
|
Updates to the lexer
|
2020-09-25 14:16:37 -07:00 |
issue713.icry.stdout
|
Fix test golden output: runtime errors now print source locations.
|
2020-12-01 11:01:21 -08:00 |
issue723.cry
|
Still compute width defaulting information as before, but
|
2020-07-02 15:04:07 -07:00 |
issue723.icry
|
Add regression test for #723.
|
2020-05-15 07:36:11 -07:00 |
issue723.icry.stdout
|
Fix test suite
|
2021-04-13 10:27:17 -07:00 |
issue725.icry
|
Post-merge test suite fixups
|
2020-05-26 17:45:42 -07:00 |
issue725.icry.stdout
|
Add a test case for issue725
|
2020-05-26 17:08:20 -07:00 |
issue731.cry
|
Add regression test for #731.
|
2020-05-18 17:17:58 -07:00 |
issue731.icry
|
Add regression test for #731.
|
2020-05-18 17:17:58 -07:00 |
issue731.icry.stdout
|
Changes to make new command line scope and browsing work with the current
|
2021-04-05 17:09:29 -07:00 |
issue734.cry
|
Teach the typechecker a bit more about exponents.
|
2021-04-06 09:28:31 -07:00 |
issue734.icry
|
Teach the typechecker a bit more about exponents.
|
2021-04-06 09:28:31 -07:00 |
issue734.icry.stdout
|
Teach the typechecker a bit more about exponents.
|
2021-04-06 09:28:31 -07:00 |
issue746.icry
|
Add some tests
|
2020-09-23 16:40:35 -07:00 |
issue746.icry.stdout
|
Fix test golden output: runtime errors now print source locations.
|
2020-12-01 11:01:21 -08:00 |
issue796.icry
|
Bug fixes to the modules system.
|
2020-11-11 14:35:33 -08:00 |
issue796.icry.stdout
|
Bug fixes to the modules system.
|
2020-11-11 14:35:33 -08:00 |
issue805.icry
|
Add a test case for #805.
|
2020-07-20 17:27:16 -07:00 |
issue805.icry.stdout
|
Add a test case for #805.
|
2020-07-20 17:27:16 -07:00 |
issue805.md
|
Add a test case for #805.
|
2020-07-20 17:27:16 -07:00 |
issue818.icry
|
Updates to the lexer
|
2020-09-25 14:16:37 -07:00 |
issue818.icry.stdout
|
Fix test golden output: runtime errors now print source locations.
|
2020-12-01 11:01:21 -08:00 |
issue826.cry
|
Add some tests
|
2020-09-23 16:40:35 -07:00 |
issue826.icry
|
Add some tests
|
2020-09-23 16:40:35 -07:00 |
issue826.icry.stdout
|
Add some tests
|
2020-09-23 16:40:35 -07:00 |
issue835.icry
|
Add regression test for issue #835.
|
2020-07-28 13:50:16 -07:00 |
issue835.icry.stdout
|
Fix test golden output: runtime errors now print source locations.
|
2020-12-01 11:01:21 -08:00 |
issue838.icry
|
Remove multi-line block comment from regression test.
|
2020-09-23 09:10:34 -07:00 |
issue838.icry.stdout
|
Add test for #838.
|
2020-09-23 09:10:34 -07:00 |
issue845.cry
|
Add some more constraints to the FLiteral instances.
|
2020-07-28 17:36:46 -07:00 |
issue845.icry
|
Add some more constraints to the FLiteral instances.
|
2020-07-28 17:36:46 -07:00 |
issue845.icry.stdout
|
Update tests outputs
|
2021-02-16 15:11:04 -08:00 |
issue848.icry
|
Generalize the type of generate .
|
2020-08-22 15:28:13 -07:00 |
issue848.icry.stdout
|
Update test suite outputs
|
2021-03-02 17:18:36 -08:00 |
issue850.cry
|
Add cases for VRational and VFloat to etaDelay .
|
2020-07-30 10:03:24 -07:00 |
issue850.icry
|
Add cases for VRational and VFloat to etaDelay .
|
2020-07-30 10:03:24 -07:00 |
issue850.icry.stdout
|
Add cases for VRational and VFloat to etaDelay .
|
2020-07-30 10:03:24 -07:00 |
issue851.cry
|
Add regression test for #851.
|
2020-07-30 10:53:37 -07:00 |
issue851.icry
|
Add regression test for #851.
|
2020-07-30 10:53:37 -07:00 |
issue851.icry.stdout
|
Tweak counterxample printing for :check and :exhaust and
|
2021-01-12 11:17:27 -08:00 |
issue852.icry
|
Allow code blocks to start without a newline when using fences
|
2020-08-25 13:02:58 -07:00 |
issue852.icry.stdout
|
Allow code blocks to start without a newline when using fences
|
2020-08-25 13:02:58 -07:00 |
issue852.md
|
Allow code blocks to start without a newline when using fences
|
2020-08-25 13:02:58 -07:00 |
issue861.icry
|
Remove the atXis0 test. I couldn't think of a way to make it
|
2020-08-11 11:06:59 -07:00 |
issue861.icry.stdout
|
Updates to test results
|
2020-12-06 20:28:09 -08:00 |
issue876.icry
|
Updates to the lexer
|
2020-09-25 14:16:37 -07:00 |
issue876.icry.stdout
|
Updates to the lexer
|
2020-09-25 14:16:37 -07:00 |
issue877.cry
|
Add regression test for REPL defaulting of variables not constrained
|
2020-11-09 10:59:41 -08:00 |
issue877.icry
|
Add regression test for REPL defaulting of variables not constrained
|
2020-11-09 10:59:41 -08:00 |
issue877.icry.stdout
|
Add regression test for REPL defaulting of variables not constrained
|
2020-11-09 10:59:41 -08:00 |
issue883_A.icry
|
Be more aggressive when checking signatures.
|
2020-11-11 16:32:09 -08:00 |
issue883_A.icry.stdout
|
Be more aggressive when checking signatures.
|
2020-11-11 16:32:09 -08:00 |
issue883.icry
|
Bug fixes to the modules system.
|
2020-11-11 14:35:33 -08:00 |
issue883.icry.stdout
|
Bug fixes to the modules system.
|
2020-11-11 14:35:33 -08:00 |
issue894.cry
|
Add regression test for #894.
|
2020-09-23 07:26:39 -07:00 |
issue894.icry
|
Add regression test for #894.
|
2020-09-23 07:26:39 -07:00 |
issue894.icry.stdout
|
Add regression test for #894.
|
2020-09-23 07:26:39 -07:00 |
issue910.icry
|
Fixes to defaulting, and add a check for mutually exclusive constraints
|
2020-09-24 14:11:27 -07:00 |
issue910.icry.stdout
|
Fix test golden output: runtime errors now print source locations.
|
2020-12-01 11:01:21 -08:00 |
issue913.icry
|
Add regression test for #913.
|
2020-09-29 10:54:12 -07:00 |
issue913.icry.stdout
|
Fix test golden output: runtime errors now print source locations.
|
2020-12-01 11:01:21 -08:00 |
issue933.icry
|
Add regression test for #933.
|
2020-11-13 15:13:35 -08:00 |
issue933.icry.stdout
|
Add regression test for #933.
|
2020-11-13 15:13:35 -08:00 |
issue958.icry
|
Fix the bit-order convention for extractWord in the What4 backend.
|
2020-11-11 14:36:30 -08:00 |
issue958.icry.stdout
|
Fix the bit-order convention for extractWord in the What4 backend.
|
2020-11-11 14:36:30 -08:00 |
issue962.icry
|
Update the parser to deal more robustly with type applications.
|
2021-02-16 15:11:04 -08:00 |
issue962.icry.stdout
|
Update the parser to deal more robustly with type applications.
|
2021-02-16 15:11:04 -08:00 |
issue962a.cry
|
Update the parser to deal more robustly with type applications.
|
2021-02-16 15:11:04 -08:00 |
issue962b.cry
|
Update the parser to deal more robustly with type applications.
|
2021-02-16 15:11:04 -08:00 |
issue975.icry
|
Fix printing of parse errors in enumeration sequences.
|
2021-02-09 18:06:23 -08:00 |
issue975.icry.stdout
|
Fix printing of parse errors in enumeration sequences.
|
2021-02-09 18:06:23 -08:00 |
issue1024.icry
|
Test case for issue #1024
|
2021-02-11 13:12:34 -08:00 |
issue1024.icry.stdout
|
Fix test suite
|
2021-04-13 10:27:17 -07:00 |
issue1024a.cry
|
Test case for issue #1024
|
2021-02-11 13:12:34 -08:00 |
issue1024b.cry
|
Test case for issue #1024
|
2021-02-11 13:12:34 -08:00 |
issue1040.cry
|
Skip further processing of all type declarations in a scope
|
2021-02-09 13:59:19 -08:00 |
issue1040.icry
|
Skip further processing of all type declarations in a scope
|
2021-02-09 13:59:19 -08:00 |
issue1040.icry.stdout
|
Add implicit imports for locally defined modules
|
2021-04-01 15:21:29 -07:00 |
issue1044.icry
|
Relax the check that all values are consumed when parsing SBV counterexamples.
|
2021-02-09 13:14:33 -08:00 |
issue1044.icry.stdout
|
Relax the check that all values are consumed when parsing SBV counterexamples.
|
2021-02-09 13:14:33 -08:00 |
issue1049.icry
|
Allow :exhaust to work directly on floating-point values
|
2021-02-09 16:33:40 -08:00 |
issue1049.icry.stdout
|
Allow :exhaust to work directly on floating-point values
|
2021-02-09 16:33:40 -08:00 |
issue1093.icry
|
Extend issue1093.cry to test what4 backend in addition to sbv.
|
2021-03-02 14:10:10 -08:00 |
issue1093.icry.stdout
|
Extend issue1093.cry to test what4 backend in addition to sbv.
|
2021-03-02 14:10:10 -08:00 |
issue1133.icry
|
Include REPL let bindings in the reference interpreter.
|
2021-04-06 09:48:41 -07:00 |
issue1133.icry.stdout
|
Include REPL let bindings in the reference interpreter.
|
2021-04-06 09:48:41 -07:00 |
Issue639_C.cry
|
Test case for issue #639
|
2020-12-21 12:14:21 -08:00 |
Issue639_M.cry
|
Test case for issue #639
|
2020-12-21 12:14:21 -08:00 |
Issue796_Sig.cry
|
Bug fixes to the modules system.
|
2020-11-11 14:35:33 -08:00 |
Issue796.cry
|
Bug fixes to the modules system.
|
2020-11-11 14:35:33 -08:00 |
Issue883_A.cry
|
Be more aggressive when checking signatures.
|
2020-11-11 16:32:09 -08:00 |
Issue883_Impl.cry
|
Bug fixes to the modules system.
|
2020-11-11 14:35:33 -08:00 |
Issue883_Sig.cry
|
Bug fixes to the modules system.
|
2020-11-11 14:35:33 -08:00 |
Issue883.cry
|
Bug fixes to the modules system.
|
2020-11-11 14:35:33 -08:00 |
Karatsuba.cry
|
Rename primitive demote to the more self-explanatory name number .
|
2018-07-27 13:52:57 -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
|
Improve various defaulting/instantiatiation warnings and error messages.
|
2018-06-25 16:48:10 -07:00 |
simon.cry2
|
Remove trailing whitespace
|
2016-02-19 10:08:20 -08: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.stdout
|
Fix test suite
|
2021-04-13 10:27:17 -07:00 |
T820.icry
|
Add defaulting for FLiteral and update CHANGES
|
2020-07-15 11:55:29 -07:00 |
T820.icry.stdout
|
Fix test golden output: runtime errors now print source locations.
|
2020-12-01 11:01:21 -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 |
trac289.cry
|
Rename test "issue289" to "trac289"
|
2016-08-10 14:07:11 -04:00 |
trac289.icry
|
make the trac289 test less dependent on solver versions
|
2020-11-05 09:56:25 -08:00 |
trac289.icry.stdout
|
make the trac289 test less dependent on solver versions
|
2020-11-05 09:56:25 -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 |