Subject: Ssreflect Users Discussion List
List archive
- From: Jason Gross <>
- To: ssreflect <>
- Subject: [ssreflect] Time-annotated sources for the non-trunk versions of ssr
- Date: Wed, 4 Jun 2014 19:21:39 +0100
Hi,
I like the time-annotated sources of ssr on Coq trunk. If I provide a bash script to simulate coqc -time on Coq 8.4 (except that it does it on a line-by-line basis rather than on a statement-by-statement basis) (and, really, it would work on any version of Coq that supports -verbose), would ssr be interested in using that?
-Jason
- [ssreflect] Time-annotated sources for the non-trunk versions of ssr, Jason Gross, 06/04/2014
Archive powered by MHonArc 2.6.18.