Mail Index

• Thread Index

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