Mail Index

• Thread Index

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