Mail Thread Index
- theorems-from-file redundant?,
Chris Warburton
- precision-recall-eqs-wrapper file reading,
Chris Warburton
- Reduce file usage in tests,
Chris Warburton
- Fine-grained caching,
Chris Warburton
- Handle mutually-recursive functions,
Chris Warburton
- Take temp dir (for testing sigs) from environment,
Chris Warburton
- Only expose final results,
Chris Warburton
- Benchmark (yo dawg),
Chris Warburton
- Benchmark test time,
Chris Warburton
- Parameterise benchmarks,
Chris Warburton
- Rename BENCHMARKS_FALLBACK,
Chris Warburton
- Use caches in tests,
Chris Warburton
- Dedupe replacement lists,
Chris Warburton
- Normalising is REALLY slow,
Chris Warburton
- 'default' is a keyword,
Chris Warburton
- Fix false negatives in conjecture matching,
Chris Warburton
- Handle 'lambda' and '@' in TIP theorems,
Chris Warburton
- Remove generating? cruft,
Chris Warburton
- Remove some indirection layers,
Chris Warburton
- Don't include destructors in samples,
Chris Warburton
- BENCHMARKS_CACHE just contains BENCHMARKS_NORMALISED_THEOREMS,
Chris Warburton
- all-canonical-function-names in BENCHMARKS_CACHE is a lie,
Chris Warburton
- Support lambda functions in JSON and comparisons,
Chris Warburton
- Narrow down cache dependencies,
Chris Warburton
- Unwrap 'as' constructs,
Chris Warburton
- Verify that we get 100% precision and recall for equations,
Chris Warburton
- Test whether or not destructors appear in any expression,
Chris Warburton
- Normalise theorems to use constructor/destructor functions,
Chris Warburton
Mail converted by MHonArc