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

Re: Focus on bucketing.

Subject: Re: Focus on bucketing.
From: Chris Warburton
Date: Tue, 01 May 2018 13:27:33 +0100
In-reply-to: <95bccfe9d2e0a135-0-artemis@nixos>
References: <95bccfe9d2e0a135-0-artemis@nixos>

Looks basically done. We can clean up the rest as we go.

References:
- Focus on bucketing.
  - From: Chris Warburton

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