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

Add MLSpec asv benchmark for Isabelle theories

Subject: Add MLSpec asv benchmark for Isabelle theories
From: Chris Warburton
Date: Tue, 01 Aug 2017 17:26:36 +0100
State: new

We should probably get HashSpec running first, then base this on that.

Prev by Date: Add HashSpec asv benchmark for Isabelle theories
Next by Date: Remove the complicated nix-support/*specBench stuff
Previous by thread: Add HashSpec asv benchmark for Isabelle theories
Next by thread: Remove the complicated nix-support/*specBench stuff
Index(es):
- Date
- Thread