]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/tests
no need to compile/install the standard library. if included it
[helm.git] / helm / software / matita / tests /
2009-10-11 Enrico Tassiauto with intro
2009-10-08 Enrico Tassi...
2009-09-23 Enrico Tassi...
2009-07-27 Claudio Sacerdoti... Since I guess the divergence bug is fixed, I activate...
2009-07-10 Enrico Tassimore work on coercions composition
2009-07-09 Enrico Tassiclaudio, please have a look at this
2009-07-08 Enrico Tassiremoved useless universes
2009-07-08 Enrico Tassiimport of a sample for cosimo
2009-06-29 Enrico Tassiremoved a maybe diverging test
2009-06-26 Andrea Aspertitest for deep subsumption added
2009-06-18 Enrico Tassicallbacks were taking in input a status bu were not...
2009-06-15 Enrico TassiEXPERIMENTAL COMMIT (part B, by CSC :-):
2009-06-15 Enrico TassiEXPERIMENTAL COMMIT (by CSC,actuall :-)
2009-06-15 Enrico Tassihuge commit regarding the grafite_status:
2009-06-11 denesActive goals are now demodulated after selecting a...
2009-06-10 Enrico Tassi1) added simplification of actives w.r.t. selected
2009-06-09 Enrico Tassisnapshot
2009-06-05 denesFirst tests for paramodulation (pretty printer, unifica...
2009-06-03 Claudio Sacerdoti... New test for NG notation.
2009-05-26 Claudio Sacerdoti... ...
2009-05-26 Claudio Sacerdoti... ...
2009-05-25 Enrico Tassinasty change in the lexer/parser:
2009-05-18 Enrico Tassiin the new kernel you can type Type[i] to mean Type_i...
2009-05-17 Claudio Sacerdoti... ...
2009-05-12 Claudio Sacerdoti... Do we really want to generate eliminators for nested...
2009-05-12 Claudio Sacerdoti... All weakly positive types but imbricated ones are now...
2009-05-11 Claudio Sacerdoti... Some experiments in generation of elimination principles.
2009-05-08 Claudio Sacerdoti... Stupid typing error fixed.
2009-05-08 Claudio Sacerdoti... Improved tests (for left parameters and mutual recursiv...
2009-05-05 Enrico Tassimore tests
2009-04-29 Claudio Sacerdoti... Refinement of inductive type implemented.
2009-04-29 Claudio Sacerdoti... Records are now interpreted in the NG (but I am sure...
2009-04-26 Claudio Sacerdoti... The backward compatible management of aliases for NG...
2009-04-25 Claudio Sacerdoti... Lookup_in_library implemented for new objects. Basicall...
2009-04-25 Claudio Sacerdoti... It is now possible to declare new aliases using the...
2009-04-25 Claudio Sacerdoti... The translation from old aliases to new references...
2009-04-24 Claudio Sacerdoti... - Grammar for all obj commands ported to NG (let recs...
2009-04-17 Claudio Sacerdoti... Some improvements.
2009-04-17 Claudio Sacerdoti... ...
2009-04-16 Claudio Sacerdoti... Bug: let-ins are always automatically folded!
2009-04-16 Claudio Sacerdoti... ...
2009-04-16 Claudio Sacerdoti... test/a.ma => tests/ng_tactics.ma, with nassert here...
2009-04-09 Enrico Tassi...
2009-04-01 Claudio Sacerdoti... New tactic "case1_tac" that make "intro" followed by...
2009-04-01 Claudio Sacerdoti... ...
2009-03-26 Enrico Tassinew apply almost there
2009-03-11 Enrico Tassimore examples
2009-03-10 Enrico Tassinotation ++
2009-03-09 Enrico Tassi...
2008-12-19 Enrico Tassi...
2008-12-16 Enrico Tassihints work better now
2008-12-15 Wilmer RicciottiSome changes to the pullback test, for debugging
2008-11-14 Enrico Tassitest 4 luo
2008-09-19 Enrico Tassifixed
2008-09-18 Enrico Tassifixed script
2008-08-23 Enrico Tassi...
2008-07-21 Ferruccio Guidiwe implemented the support for generating ma files...
2008-07-16 Ferruccio GuidiProcedural: some comments added in the generated script
2008-06-08 Claudio Sacerdoti... Hypotheses patterns for elim implemented. No more need...
2008-06-03 Enrico Tassixxx
2008-05-26 Enrico Tassinew, more rigid syntax, for auto_params affecting the...
2008-04-24 Enrico Tassiadded coinductive example
2008-04-15 Claudio Sacerdoti... added sample of guarded by in which coq is stronger
2008-04-03 Enrico Tassiadded ugly test showing many many bugs in the current...
2008-03-20 Enrico Tassichanged auto_tac params type and all derivate tactics...
2008-03-20 Enrico Tassinew semantics for 'by t'
2008-03-20 Enrico Tassiremoved pointless test
2008-03-20 Enrico TassiI believe that auto paramodulation does not try to
2008-03-20 Enrico Tassiadded library option to auto
2008-03-20 Enrico Tassiletins are no more unfolded, we do that by hand
2008-03-20 Enrico Tassiletin are no longer unfolded thus coercions not propaga...
2008-03-19 Claudio Sacerdoti... ...
2008-03-19 Claudio Sacerdoti... Files committed by Enrico (a mistake, I suppose) removed.
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE
2007-11-13 Ferruccio Guidipreviously hidden simplifications (in old destruct...
2007-11-07 Ferruccio Guidi- bug fix in destruct
2007-11-06 Ferruccio Guidinew implementation of the destruct tactic,
2007-10-15 Claudio Sacerdoti... Dead code clean-up.
2007-10-15 Claudio Sacerdoti... The behaviour of autobatch paramodulation has changed.
2007-10-15 Claudio Sacerdoti... natural number => Coq natural number
2007-10-15 Claudio Sacerdoti... natural number => Coq natural number
2007-10-15 Claudio Sacerdoti... natural number => Coq natural number
2007-10-15 Claudio Sacerdoti... Wrong test patched.
2007-10-15 Claudio Sacerdoti... natural number => Coq natural number
2007-10-15 Claudio Sacerdoti... discriminate.ma => destruct.ma
2007-10-15 Claudio Sacerdoti... Spurious code removed.
2007-10-15 Claudio Sacerdoti... natural number => Coq natural number
2007-10-15 Claudio Sacerdoti... Old wrong code to avoid old bug fixed.
2007-10-15 Claudio Sacerdoti... Stupid bug fixed.
2007-10-15 Claudio Sacerdoti... auto ==> autobatch
2007-10-15 Claudio Sacerdoti... Stupid bug fixed (I deleted "assumption a" by error).
2007-10-15 Claudio Sacerdoti... auto => autobatch
2007-10-15 Claudio Sacerdoti... auto => autobatch
2007-09-10 Claudio Sacerdoti... This test shows one of the few cases were Matita is...
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...
next