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

Re: Use asv for running benchmarks



Added quickspec benchmarks for the "standalone" theories from Isabelle
("nat-simple", "nat-full" and "list-full").