[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Add HashSpec asv benchmark for Isabelle theories

Subject: Re: Add HashSpec asv benchmark for Isabelle theories
From: Chris Warburton
Date: Tue, 05 Jun 2018 16:44:46 +0100
In-reply-to: <fdff79baf3f62297-0-artemis@nixos>
References: <fdff79baf3f62297-0-artemis@nixos>

We only bucket.

References:
- Add HashSpec asv benchmark for Isabelle theories
  - From: Chris Warburton

Prev by Date: Re: Add MLSpec asv benchmark for Isabelle theories
Next by Date: Move benchmarks/env.nix to benchmarks/default.nix
Previous by thread: Add HashSpec asv benchmark for Isabelle theories
Next by thread: Add MLSpec asv benchmark for Isabelle theories
Index(es):
- Date
- Thread