[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
Resolution: fixed
State: resolved

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

Follow-Ups:
- Re: Add HashSpec asv benchmark for Isabelle theories
  - From: Chris Warburton

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: Re: Add HashSpec asv benchmark for Isabelle theories
Index(es):
- Date
- Thread