matita.cs.unibo.it Git - helm.git/tree - helm/software/benchmarks/

drwxr-xr-x		..
-rw-r--r--	4805	bugs	blob \| history \| raw
-rw-r--r--	3369871	log20060329_ripristinata_convertibilita_aggressiva	blob \| history \| raw
-rw-r--r--	2537453	log20060329_subst_avoids_beta_redexes	blob \| history \| raw
-rw-r--r--	3399029	log20060330_no_profiling	blob \| history \| raw
-rw-r--r--	3410100	log20060403_meno_unwind	blob \| history \| raw
-rw-r--r--	3434192	log20060411_cregut_timestamp_bacato	blob \| history \| raw
-rw-r--r--	3408699	log20060411_cregut_timestamp_bacato_misurazione_significativa	blob \| history \| raw
-rw-r--r--	2684	mostri20060328	blob \| history \| raw
-rw-r--r--	3034	mostri20060329_ripristinata_convertibilita_aggressiva	blob \| history \| raw
-rw-r--r--	3048	mostri20060329_subst_avoids_beta_redexes	blob \| history \| raw
-rw-r--r--	2309458	uris.ordered	blob \| history \| raw
-rw-r--r--	2309458	uris.unordered	blob \| history \| raw