cryptol/tests/issues
Adam C. Foltzer 46bcc188f4 fix external bindings not being in scope in let bodies
The renamer was being run on let bindings without including the NamingEnv of the overall module context. Fixed and added a test case for this.
2014-08-20 11:18:26 -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 fix external bindings not being in scope in let bodies 2014-08-20 11:18:26 -07:00
issue066.icry bind it even when no counterexample/sat is available; add tests 2014-08-19 17:11:43 -07:00
issue066.icry.stdout bind it even when no counterexample/sat is available; add tests 2014-08-19 17:11:43 -07:00
issue084.icry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue084.icry.stdout Initial import from internal repo 2014-04-17 15:34:25 -07: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 Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue098.icry Initial import from internal repo 2014-04-17 15:34:25 -07:00
issue098.icry.stdout Initial import from internal repo 2014-04-17 15:34:25 -07: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
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 Initial import from internal repo 2014-04-17 15:34:25 -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.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 Initial import from internal repo 2014-04-17 15:34:25 -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 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 Initial import from internal repo 2014-04-17 15:34:25 -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 Initial import from internal repo 2014-04-17 15:34:25 -07: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.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.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 Update regression test number 289, which now runs successfully. 2014-07-21 16:01:43 -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 Update output for regression test number 290 2014-07-21 16:02:38 -07: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 Initial import from internal repo 2014-04-17 15:34:25 -07:00