[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Add MLSpec asv benchmark for Isabelle theories
- Subject: Re: Add MLSpec asv benchmark for Isabelle theories
- From: Chris Warburton
- Date: Tue, 05 Jun 2018 16:44:03 +0100
- In-reply-to: <aaec8a8b4fbfe444-0-artemis@nixos>
- References: <aaec8a8b4fbfe444-0-artemis@nixos>
We only bucket; running on Isabelle theories is out of scope