]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/tests
better test for church numerals
[helm.git] / helm / software / matita / tests /
2007-09-08 Enrico Tassibetter test for church numerals
2007-09-08 Enrico TassiFull specification of find. Added notation for If_Then_...
2007-09-07 Enrico Tassi1. fix_arity fixed: the code is totally wrong and this...
2007-09-07 Enrico TassiThis cast now works!
2007-09-07 Enrico Tassifixed propagation under Fix/Lambda/Case of coercions...
2007-09-06 Enrico Tassi...
2007-09-05 Claudio Sacerdoti... added fix case
2007-09-04 Claudio Sacerdoti... A test for propagation of coercions (that open new...
2007-08-31 Claudio Sacerdoti... alpha conversion to avoid case-insensitivity of MySql...
2007-08-31 Claudio Sacerdoti... baseuri changed
2007-08-30 Enrico Tassitests for coercions under lambdas
2007-07-26 Enrico Tassiauto -> autobatch
2007-07-26 Enrico Tassimore stuff about coercions
2007-07-25 Enrico Tassiadded another example in which our coercions are powerful
2007-07-25 Enrico Tassiused ;try assumption instead of .try assumption
2007-07-24 Enrico Tassiadded test about dependent coercions
2007-07-23 Ferruccio Guidiauto vs autobatch fixed
2007-07-18 Enrico Tassifixed coercion graph print, moved coercion graph and...
2007-07-10 Enrico Tassi...
2007-07-09 Enrico Tassiadded few more fun to this test
2007-07-09 Enrico Tassiauto->autobatch
2007-06-04 Enrico Tassinew more flexible compose, see matita/tests/compose...
2007-05-25 Enrico Tassiauto --> autobatch
2007-05-25 Enrico Tassiauto --> autobatch
2007-05-20 Ferruccio GuidiapplyTransformation: added debugging information
2007-04-23 Claudio Sacerdoti... Deprecated "goal" removed.
2007-04-20 Claudio Sacerdoti... A new test on some non punctuation tacticals.
2007-04-17 Enrico Tassi...
2007-04-10 Enrico Tassiset -> type
2007-04-10 Enrico Tassi...
2007-04-03 Enrico Tassinew case implementation
2007-04-02 Enrico Tassiadded some tests for cases
2007-03-10 Ferruccio Guidiadded a test for rewrite under Pi
2007-02-26 Ferruccio Guididecompose: delta-expansion of the type to eliminate...
2007-02-21 Ferruccio Guididecompose now works without premises
2007-02-08 Claudio Sacerdoti... * 'default "equality"' command changed to consider...
2007-02-06 Ferruccio Guidi- Procedural: moved in a directory on its own
2007-01-31 Claudio Sacerdoti... New test for mutual recursive definitions.
2006-12-31 Ferruccio Guidisome tests patched
2006-12-30 Ferruccio Guidi dependence to legacy/coq.ma fixed
2006-12-18 Claudio Sacerdoti... An idea to implement manifest record fields:
2006-12-01 Ferruccio Guidisome uris fixed
2006-11-30 Claudio Sacerdoti... New syntax and semantics for the rewriting steps that...
2006-11-27 Claudio Sacerdoti... auto new => auto new library in those tests that use...
2006-11-25 Enrico Tassiadded a test for the pullback stuff and the possibility...
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
next