]> matita.cs.unibo.it Git - helm.git/history - helm/matita/scripts/do_tests.sh
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made executable again
[helm.git] / helm / matita / scripts / do_tests.sh
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/ commit | commitdiff
2005-12-21 Enrico Tassi__ files are removed commit | commitdiff
2005-12-13 Enrico Tassione more try commit | commitdiff
2005-12-13 Enrico Tassifix commit | commitdiff
2005-11-25 Stefano ZacchiroliBug fixed: removal of .__log was not always attempted. commit | commitdiff
2005-11-16 Claudio Sacerdoti... do_test.sh no longer prints the compiler options (used... commit | commitdiff
2005-11-16 Claudio Sacerdoti... New framework for regression of bad tests. commit | commitdiff
2005-10-28 Claudio Sacerdoti... New format for benches (with much more precision). commit | commitdiff
2005-07-19 Claudio Sacerdoti... Used to left temporary file if something failed. commit | commitdiff
2005-07-19 Claudio Sacerdoti... do_tests.sh now returns with an error if one of the... commit | commitdiff
2005-07-01 Enrico Tassimore makefile work commit | commitdiff
2005-07-01 Claudio Sacerdoti... New argument: the cleaner. commit | commitdiff
2005-07-01 Enrico Tassinow maketests uses matitaclean (but not in the right... commit | commitdiff
2005-06-27 Claudio Sacerdoti... Nicer output for the "make tests*" commands. commit | commitdiff
2005-06-27 Enrico Tassiminor fixes commit | commitdiff
2005-06-24 Enrico Tassiadded a getter maps updater commit | commitdiff
2005-06-24 Enrico Tassifirst snapshot of the night-profiling commit | commitdiff
Unnamed repository; edit this file 'description' to name the repository.