matita.cs.unibo.it Git - helm.git/history - helm/matita/scripts/do

]> matita.cs.unibo.it Git - helm.git/history - helm/matita/scripts/do_tests.sh

2005-10-28	Claudio Sacerdoti...	New format for benches (with much more precision).	blob \| commitdiff \| raw
2005-07-19	Claudio Sacerdoti...	Used to left temporary file if something failed.	blob \| commitdiff \| raw \| diff to current
2005-07-19	Claudio Sacerdoti...	do_tests.sh now returns with an error if one of the...	blob \| commitdiff \| raw \| diff to current
2005-07-01	Enrico Tassi	more makefile work	blob \| commitdiff \| raw \| diff to current
2005-07-01	Claudio Sacerdoti...	New argument: the cleaner.	blob \| commitdiff \| raw \| diff to current
2005-07-01	Enrico Tassi	now maketests uses matitaclean (but not in the right...	blob \| commitdiff \| raw \| diff to current
2005-06-27	Claudio Sacerdoti...	Nicer output for the "make tests*" commands.	blob \| commitdiff \| raw \| diff to current
2005-06-27	Enrico Tassi	minor fixes	blob \| commitdiff \| raw \| diff to current
2005-06-24	Enrico Tassi	added a getter maps updater	blob \| commitdiff \| raw \| diff to current
2005-06-24	Enrico Tassi	first snapshot of the night-profiling	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.