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

Add HashSpec asv benchmark for Isabelle theories

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

We need to process the TIP, as in QuickSpec's.

Prev by Date: Get MLSpec TIP benchmark for asv
Next by Date: Add MLSpec asv benchmark for Isabelle theories
Previous by thread: Re: Get MLSpec TIP benchmark for asv
Next by thread: Add MLSpec asv benchmark for Isabelle theories
Index(es):
- Date
- Thread