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

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

[helm.git] / helm / matita / scripts / profile_cvs.sh

2005-10-28	Claudio Sacerdoti...	Better detection of spurious status lines.	blob \| commitdiff \| raw
2005-10-28	Claudio Sacerdoti...	Mark fixed.	blob \| commitdiff \| raw \| diff to current
2005-10-28	Claudio Sacerdoti...	New format for benches (with much more precision).	blob \| commitdiff \| raw \| diff to current
2005-09-26	Enrico Tassi	fix WE HAVE NO UNIVERSE	blob \| commitdiff \| raw \| diff to current
2005-09-22	Claudio Sacerdoti...	Profiling messages grepped out.	blob \| commitdiff \| raw \| diff to current
2005-07-19	Claudio Sacerdoti...	Bench fixed.	blob \| commitdiff \| raw \| diff to current
2005-07-12	Claudio Sacerdoti...	Debugging comment removed.	blob \| commitdiff \| raw \| diff to current
2005-07-12	Claudio Sacerdoti...	Benchmark fixed. It was broken by the change in the...	blob \| commitdiff \| raw \| diff to current
2005-07-06	Claudio Sacerdoti...	Shell variables are all global! Fixed a bug that preven...	blob \| commitdiff \| raw \| diff to current
2005-07-05	Claudio Sacerdoti...	Ported to separate compilation and the new getter imple...	blob \| commitdiff \| raw \| diff to current
2005-07-01	Enrico Tassi	may fix the nigtly build	blob \| commitdiff \| raw \| diff to current
2005-07-01	Enrico Tassi	more makefile work	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	Enrico Tassi	minor fixes	blob \| commitdiff \| raw \| diff to current
2005-06-24	Enrico Tassi	shanpshot	blob \| commitdiff \| raw \| diff to current
2005-06-24	Enrico Tassi	nigth-bench snapshot	blob \| commitdiff \| raw \| diff to current
2005-06-24	Enrico Tassi	matita.conf.xml.sample now has a @@OWNER@@ so that...	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.

RSS Atom