]> matita.cs.unibo.it Git - helm.git/history - helm/matita/scripts
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Added a new section on the logical library.
[helm.git] / helm / matita / scripts /
2005-11-25 Stefano ZacchiroliBug fixed: removal of .__log was not always attempted. tree | commitdiff
2005-11-16 Claudio Sacerdoti... do_test.sh no longer prints the compiler options (used... tree | commitdiff
2005-11-16 Claudio Sacerdoti... New framework for regression of bad tests. tree | commitdiff
2005-11-02 Claudio Sacerdoti... Maybe this time we will be lucky. tree | commitdiff
2005-11-02 Enrico Tassifix tree | commitdiff
2005-10-31 Claudio Sacerdoti... Bugs fixed. tree | commitdiff
2005-10-29 Claudio Sacerdoti... Bug fixed: the wrong mark was chosen for yesterday. tree | commitdiff
2005-10-28 Claudio Sacerdoti... Ported to multiple marks in the same day: today newest... tree | commitdiff
2005-10-28 Claudio Sacerdoti... New "global performances" bench (for native code). tree | commitdiff
2005-10-28 Claudio Sacerdoti... 1. syntax error fixed tree | commitdiff
2005-10-28 Claudio Sacerdoti... sql query fixed tree | commitdiff
2005-10-28 Claudio Sacerdoti... Better detection of spurious status lines. tree | commitdiff
2005-10-28 Claudio Sacerdoti... Mark fixed. tree | commitdiff
2005-10-28 Enrico Tassifix tree | commitdiff
2005-10-28 Enrico Tassifix tree | commitdiff
2005-10-28 Claudio Sacerdoti... New format for benches (with much more precision). tree | commitdiff
2005-10-28 Enrico Tassifix tree | commitdiff
2005-10-28 Enrico Tassifix tree | commitdiff
2005-09-26 Enrico Tassifix WE HAVE NO UNIVERSE tree | commitdiff
2005-09-22 Claudio Sacerdoti... Profiling messages grepped out. tree | commitdiff
2005-09-22 Claudio Sacerdoti... ... tree | commitdiff
2005-07-19 Claudio Sacerdoti... Bench fixed. tree | commitdiff
2005-07-19 Claudio Sacerdoti... Used to left temporary file if something failed. tree | commitdiff
2005-07-19 Claudio Sacerdoti... do_tests.sh now returns with an error if one of the... tree | commitdiff
2005-07-12 Claudio Sacerdoti... Debugging comment removed. tree | commitdiff
2005-07-12 Claudio Sacerdoti... Benchmark fixed. It was broken by the change in the... tree | commitdiff
2005-07-08 Enrico Tassiadded query tree | commitdiff
2005-07-08 Enrico Tassifixed url tree | commitdiff
2005-07-06 Claudio Sacerdoti... Shell variables are all global! Fixed a bug that preven... tree | commitdiff
2005-07-05 Claudio Sacerdoti... tests/* ==> * tree | commitdiff
2005-07-05 Claudio Sacerdoti... Ported to separate compilation and the new getter imple... tree | commitdiff
2005-07-01 Enrico Tassimay fix the nigtly build tree | commitdiff
2005-07-01 Enrico Tassimore makefile work tree | commitdiff
2005-07-01 Claudio Sacerdoti... New argument: the cleaner. tree | commitdiff
2005-07-01 Enrico Tassinow maketests uses matitaclean (but not in the right... tree | commitdiff
2005-07-01 Enrico Tassiin case of performace improvement there is no performac... tree | commitdiff
2005-06-29 Enrico Tassicatches more errors tree | commitdiff
2005-06-28 Stefano Zacchirolibugfix: uses awk instead of cut for splitting query... tree | commitdiff
2005-06-27 Claudio Sacerdoti... Nicer output for the "make tests*" commands. tree | commitdiff
2005-06-27 Enrico Tassimore detailed but less verbose and annoying report tree | commitdiff
2005-06-27 Enrico Tassiminor fixes tree | commitdiff
2005-06-26 Enrico Tassithe web interface for the benchmarking system tree | commitdiff
2005-06-24 Enrico Tassifix tree | commitdiff
2005-06-24 Enrico Tassifix tree | commitdiff
2005-06-24 Enrico Tassisnapshot tree | commitdiff
2005-06-24 Enrico Tassishanpshot tree | commitdiff
2005-06-24 Enrico Tassinigth-bench snapshot tree | commitdiff
2005-06-24 Enrico Tassimatita.conf.xml.sample now has a @@OWNER@@ so that... tree | commitdiff
2005-06-24 Enrico Tassiadded a getter maps updater tree | commitdiff
2005-06-24 Enrico Tassifirst snapshot of the night-profiling tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.