Mail Thread Index
- Make an ASV environment,
Chris Warburton
- Use asv for running benchmarks,
Chris Warburton
- No variables available for parameterised types,
Chris Warburton
- brief description,
Chris Warburton
- Equation comparison seems to be missing some matches,
Chris Warburton
- Apply memory limits to individual buckets,
Chris Warburton
- Get MLSpec TIP benchmark for asv,
Chris Warburton
- Add HashSpec asv benchmark for Isabelle theories,
Chris Warburton
- Add MLSpec asv benchmark for Isabelle theories,
Chris Warburton
- Remove the complicated nix-support/*specBench stuff,
Chris Warburton
- Tease out independent components again.,
Chris Warburton
- See if our benchmark setup could be built by Nix,
Chris Warburton
- asv errors on desktop,
Chris Warburton
- Reduce usage of ./.,
Chris Warburton
- Speed up getDepsScript.nix,
Chris Warburton
- Add "useLatest" arg to defs.nix,
Chris Warburton
- Don't use nix-store --add in tests,
Chris Warburton
- Trigger errors in benchmarking Nix,
Chris Warburton
- Take multiple OUT_DIRs and arguments,
Chris Warburton
- Is weigh override needed?,
Chris Warburton
- Replace tests/example.smt2 with tests/test-theory.smt2,
Chris Warburton
- Add examples to README,
Chris Warburton
- Publish standalone commands,
Chris Warburton
- Avoid ambiguity when annotating,
Chris Warburton
- Ensure hashable are Serializable,
Chris Warburton
- Provide HASKELL_PACKAGES override for all nix-eval runners,
Chris Warburton
- Try to remove foo/fooScript/fooData distinctions,
Chris Warburton
- Don't reduce in quickspecAsts or concurrentQuickspec,
Chris Warburton
- ifcxt-0.1.1 doesn't build with GHC 8.*,
Chris Warburton
- Add a COPYING/LICENSE file,
Chris Warburton
- Strip raw output when unzipping benchmarks,
Chris Warburton
- Include sampled names in benchmark output,
Chris Warburton
- Handle 'lambda' and '@' in TIP theorems,
Chris Warburton
- Run benchmark analyses even after failure,
Chris Warburton
- Support 'lambda' in equation JSON,
Chris Warburton
- Make newer nix-config work,
Chris Warburton
- Make bucketing standalone, for reuse by other tools,
Chris Warburton
- Bucket sampling needs ASTs,
Chris Warburton
- Rip out bucketing stuff,
Chris Warburton
Mail converted by MHonArc