[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Use asv for running benchmarks
- Subject: Re: Use asv for running benchmarks
- From: Chris Warburton
- Date: Tue, 25 Jul 2017 15:17:09 +0100
- In-reply-to: <f535fc881e4491fe-0-artemis@nixos>
- References: <f535fc881e4491fe-0-artemis@nixos>
Added quickspec benchmarks for the "standalone" theories from Isabelle
("nat-simple", "nat-full" and "list-full").