Mail Thread Index
- Skip termination proofs,
Chris Warburton
- Fix let bindings,
Chris Warburton
- Get types of generated Isabelle functions,
Chris Warburton
- Put sampled names into IsaCoSy signature,
Chris Warburton
- Remove obsolete tests,
Chris Warburton
- Turn standalone tests into inline dependencies,
Chris Warburton
- Mutual recursion seems to be broken,
Chris Warburton
- Take samples from haskell-te ASV runs,
Chris Warburton
- Make ASV benchmark suite,
Chris Warburton
- Make standalone equation-filtering command,
Chris Warburton
- Unstable broken due to missing 'weigh' dependency,
Chris Warburton
- Remove IsaCoSy's builtin-in timeout,
Chris Warburton
- Stop UNDEF exceptions,
Chris Warburton
- Skip polyrec, etc. when templating from a sample,
Chris Warburton
- Fix IsabelleTypeArgs parser,
Chris Warburton
- Get args from multiple types at once,
Chris Warburton
- Remove 'local datatypes,
Chris Warburton
- "Undeclared fact" for nullary definitions,
Chris Warburton
- Unification/coercion failure,
Chris Warburton
- Don't include A.thy loading time in benchmark,
Chris Warburton
- "UnequalLengths" error,
Chris Warburton
- exception not_a_datatype_exp fun raised,
Chris Warburton
- Bad number of arguments for type constructor,
Chris Warburton
- Exception- Interrupt raised,
Chris Warburton
- Still getting UNDEF exceptions,
Chris Warburton
- Find cutoff time,
Chris Warburton
- Scrap compatibility junk from scripts/default.nix,
Chris Warburton
- Ensure we're getting some equations from "cutoff times",
Chris Warburton
- Parse error for equations,
Chris Warburton
Mail converted by MHonArc