]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/tests
Dama is now in the night benchmarks.
[helm.git] / helm / software / matita / tests /
2006-10-09 Claudio Sacerdoti... One auto modified in an apply since auto is no longer...
2006-10-09 Claudio Sacerdoti... auto => auto new and other minor changes to make it...
2006-10-09 Claudio Sacerdoti... auto => auto new everywhere + minor updates to make...
2006-10-03 Enrico Tassireduced timeout to 100s
2006-10-03 Enrico Tassicommented out are_convertible in is_identity
2006-10-03 Claudio Sacerdoti... Removed /home/tassi from the makefile!
2006-10-02 Enrico Tassi...
2006-10-02 Enrico Tassi...
2006-10-02 Enrico Tassiadded tests for paramod
2006-10-02 Enrico Tassi...
2006-10-02 Enrico Tassiadded missing *)
2006-09-29 Enrico Tassifixed (dasabled paramod)
2006-09-29 Enrico Tassiadded tests for auto
2006-09-29 Enrico Tassimaittaprover uses another format
2006-09-29 Enrico Tassi...
2006-09-27 Claudio Sacerdoti... New bug found in disambiguation of records.
2006-09-26 Claudio Sacerdoti... Two tests used to have the same baseuri. Very bad.
2006-09-26 Claudio Sacerdoti... discriminate => destruct
2006-09-25 Claudio Sacerdoti... injection_tac and discriminate_tac now replaced by...
2006-09-25 Claudio Sacerdoti... Several bugs fixed in discriminate.
2006-09-21 Enrico Tassi...
2006-09-20 Claudio Sacerdoti... Injection now clears all intermediate results introduced.
2006-09-14 Claudio Sacerdoti... 1. Stricter controls implemented in injection.
2006-09-14 Claudio Sacerdoti... 1. added a test for injection
2006-09-05 Enrico Tassifixed coercions. composite can't occur if to funclass
2006-09-05 Enrico Tassifixed includes
2006-09-04 Enrico TassiBIG FAT COMMIT REGARDING COERCIONS:
2006-08-21 Enrico Tassi...
2006-08-21 Enrico Tassi...
2006-07-27 maiorinoAutomation enabled for declarative proofs. Cool.
2006-07-27 maiorino"that is equivalent to" and "or equivalently" implement...
2006-07-27 maiorinoAll the declarative tactics now have a more or less...
2006-07-27 maiorinoDeclarative tactics for rewriting steps, elimination...
2006-07-26 Stefano Zacchiroliadded test for reordering of goals when using the 1...
2006-07-24 Enrico Tassimore work on matitaprover (no more XML and buris are...
2006-07-24 Enrico Tassimore and more tests
2006-07-22 Enrico Tassimatitaprover
2006-07-19 Claudio Sacerdoti... Submitted a test for inferencing of dependent types.
2006-07-18 Claudio Sacerdoti... baseuri for group.ma fixed
2006-07-18 Claudio Sacerdoti... Baseuri of applys.ma fixed.
2006-07-18 Claudio Sacerdoti... legacy/coq.ma included
2006-07-18 Claudio Sacerdoti... le_inv renamed to avoid conflicts with the automaticall...
2006-07-17 Enrico Tassi...
2006-07-17 Enrico Tassievvai!
2006-07-17 Enrico Tassi...
2006-07-14 Andrea AspertiAdded the computation of max_weight.
2006-07-11 maiorinoFirst experimental version of the declarative proof...
2006-07-10 Enrico Tassi- cheanges for the new coercion stuff (including the...
2006-07-06 Enrico Tassi...
2006-07-03 Enrico Tassi/....
2006-07-03 Enrico Tassi...
2006-06-30 Enrico Tassifix
2006-06-29 Enrico Tassi...
2006-06-28 Enrico Tassifix
2006-06-28 Enrico Tassifix
2006-06-28 Enrico Tassifix
2006-06-28 Enrico Tassifixed gzip usage
2006-06-28 Enrico Tassifix
2006-06-28 Enrico Tassinew mega spreadsheet available
2006-06-28 Enrico Tassifix
2006-06-28 Enrico Tassiadded gzip to log files
2006-06-19 Enrico Tassi...
2006-06-18 Enrico Tassifix
2006-06-16 Enrico Tassifixed
2006-06-16 Enrico Tassifixes
2006-06-16 Enrico Tassiecco le gatte da pelare
2006-06-16 Enrico Tassiadded log.120.orsay.txt and comparison
2006-06-15 Andrea Aspertisome examples of the new ApplyS tactic
2006-05-30 Enrico Tassifixed proof generation again
2006-05-30 Enrico Tassi...
2006-05-30 Enrico Tassiadded our poor results to CASC 2005
2006-05-29 Enrico Tassiadded some logs
2006-05-29 Enrico Tassifix
2006-05-29 Enrico Tassicommitted the base utils for TPTP processing
2006-05-26 Claudio Sacerdoti... Recently introduced bug in CicRefine.eat_prods fixed...
2006-04-05 Enrico Tassicreate directory paramodulation for tests for paramodul...
2006-04-05 Enrico Tassiadded another interesting problem for paramodulation
2006-03-28 Enrico Tassimore profiling and fixes for paramod
2006-03-21 Enrico Tassidone
2006-03-20 Andrea AspertiRenamed SK.ma into bool.ma
2006-03-20 Andrea AspertiEsempi di auto.
2006-03-17 Enrico Tassitests are now handled with a standard Makefile that...
2006-02-06 Andrea Aspertitermine bacato.
2006-02-06 Andrea AspertiBug?
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/