projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2013-03-10 Andrea Aspertichapters 2 e 3 commit | commitdiff | tree | snapshot
2013-03-10 Ferruccio Guidiwe removed a useless assertion that was forcing matita... commit | commitdiff | tree | snapshot
2013-03-09 Ferruccio Guidi- update in basic_2 commit | commitdiff | tree | snapshot
2013-03-09 Ferruccio Guidibasic_2_src.tbl was not updated :( commit | commitdiff | tree | snapshot
2013-03-09 Ferruccio Guidi- lenv refinement for stratified native validity redefined commit | commitdiff | tree | snapshot
2013-03-08 Ferruccio Guidisecond recursive part of preservation finally proved! commit | commitdiff | tree | snapshot
2013-03-08 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2013-03-08 Ferruccio Guidiimproved "big treee" computation allows to close a... commit | commitdiff | tree | snapshot
2013-03-04 Claudio Sacerdoti... Bug fixed: let-rec defined propositions are no longer... commit | commitdiff | tree | snapshot
2013-03-03 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2013-03-03 Ferruccio Guidi- lambdadelta: we removed focalized reduction from... commit | commitdiff | tree | snapshot
2013-02-28 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2013-02-28 Ferruccio Guidi- lambdadelta: first recursive part of preservation... commit | commitdiff | tree | snapshot
2013-02-28 Andrea Aspertichapter2 revisited commit | commitdiff | tree | snapshot
2013-02-27 Claudio Sacerdoti... Quick patch: the maxmeta is now pushed/popped when... commit | commitdiff | tree | snapshot
2013-02-27 Claudio Sacerdoti... Quick patch: the maxmeta is now pushed/popped when... commit | commitdiff | tree | snapshot
2013-02-27 Claudio Sacerdoti... Bug fixed: composite coercions were not extracted. commit | commitdiff | tree | snapshot
2013-02-27 Claudio Sacerdoti... Bug fixed that reveals a new one: in case of inductive... commit | commitdiff | tree | snapshot
2013-02-27 Claudio Sacerdoti... Ferruccio's removal of objects commented out because... commit | commitdiff | tree | snapshot
2013-02-27 Andrea AspertiChapter 1 revisited commit | commitdiff | tree | snapshot
2013-02-25 Ferruccio Guidiwhen we serialize the contents of a .ma, we remove... commit | commitdiff | tree | snapshot
2013-02-24 Ferruccio Guidi- xhtbl: now double quotes can appear in string literals commit | commitdiff | tree | snapshot
2013-02-24 Ferruccio Guidi- nUri : added Sets of uris for use in "probe" commit | commitdiff | tree | snapshot
2013-02-22 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2013-02-22 Ferruccio Guidi- "big tree" order implemented commit | commitdiff | tree | snapshot
2013-02-18 Ferruccio Guiditrace added in a failing invocation of auto :-( commit | commitdiff | tree | snapshot
2013-02-18 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2013-02-18 Ferruccio Guidisubstitution lemma for stratified native validity! commit | commitdiff | tree | snapshot
2013-02-15 Ferruccio Guidiupdate in basic_2 summary commit | commitdiff | tree | snapshot
2013-02-15 Ferruccio Guidiwe rephrased sstas in terms of star commit | commitdiff | tree | snapshot
2013-02-15 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2013-02-15 Ferruccio Guidiwe reformulate the extended computation to simplify... commit | commitdiff | tree | snapshot
2013-02-13 Ferruccio Guidistatistics update in basic_2 commit | commitdiff | tree | snapshot
2013-02-13 Ferruccio Guidi- first piece of the mutual induction for preservation... commit | commitdiff | tree | snapshot
2013-02-11 Ferruccio Guidian update in basic_2 commit | commitdiff | tree | snapshot
2013-02-11 Ferruccio Guidimore service lemmas in nat and lambdadelta commit | commitdiff | tree | snapshot
2013-02-07 Ferruccio Guidione table was nissing ... commit | commitdiff | tree | snapshot
2013-02-07 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2013-02-07 Ferruccio Guidieven more service lemmas ... commit | commitdiff | tree | snapshot
2013-02-07 Andrea AspertiA few integrations commit | commitdiff | tree | snapshot
2013-02-07 Andrea Aspertirestructuring commit | commitdiff | tree | snapshot
2013-02-07 Andrea Asperti(no commit message) commit | commitdiff | tree | snapshot
2013-02-07 Andrea Aspertirestructuring commit | commitdiff | tree | snapshot
2013-02-06 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2013-02-06 Ferruccio Guidi- lambdadelta: more service lemmas ... commit | commitdiff | tree | snapshot
2013-02-05 Ferruccio Guidisome missing files ... commit | commitdiff | tree | snapshot
2013-02-05 Claudio Sacerdoti... Bug fixed: .ml/.mli files were opened/closed even when... commit | commitdiff | tree | snapshot
2013-02-04 Claudio Sacerdoti... Bug fixed: "open X" were not printed in .mli because... commit | commitdiff | tree | snapshot
2013-02-04 Claudio Sacerdoti... Flushing needed before closing the channel. commit | commitdiff | tree | snapshot
2013-02-04 Claudio Sacerdoti... Improved exception handling. commit | commitdiff | tree | snapshot
2013-02-04 Claudio Sacerdoti... Bug fixed in pretty printing of mutual inductive types. commit | commitdiff | tree | snapshot
2013-02-04 Claudio Sacerdoti... Bug fixed: the indty can be typed with a Prod, not... commit | commitdiff | tree | snapshot
2013-02-04 Claudio Sacerdoti... New option -extract_ocaml to extract to ocaml files. commit | commitdiff | tree | snapshot
2013-02-04 Claudio Sacerdoti... Pretty printing of ocaml files slightly improved. commit | commitdiff | tree | snapshot
2013-02-04 Claudio Sacerdoti... Last known bug unrelated to names fixed: a fixpoint... commit | commitdiff | tree | snapshot
2013-02-04 Wilmer Ricciottistate mte2 renamed to mte_acc commit | commitdiff | tree | snapshot
2013-02-04 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2013-02-04 Wilmer Ricciotticonverting certain basic machines to composed machines commit | commitdiff | tree | snapshot
2013-02-04 Wilmer Ricciottidefs.ma was never really used commit | commitdiff | tree | snapshot
2013-02-02 Claudio Sacerdoti... Makefile to extract to ocaml code. commit | commitdiff | tree | snapshot
2013-02-02 Claudio Sacerdoti... Oops, part of last commit (ocaml extraction implementation) commit | commitdiff | tree | snapshot
2013-02-02 Claudio Sacerdoti... Ooops, this completes the previous commit (ocaml extrac... commit | commitdiff | tree | snapshot
2013-02-02 Claudio Sacerdoti... Implementation of Ocaml extraction (largely ported... commit | commitdiff | tree | snapshot
2013-02-02 Claudio Sacerdoti... Identity change, improves readability. commit | commitdiff | tree | snapshot
2013-02-01 Ferruccio Guidi- Now the nodes count does not include the generated... commit | commitdiff | tree | snapshot
2013-02-01 Ferruccio Guidilambda finaly moved in lib commit | commitdiff | tree | snapshot
2013-02-01 Wilmer Ricciottimatch now only uses the new move operation commit | commitdiff | tree | snapshot
2013-02-01 Ferruccio Guidi- ng_refiner: commit | commitdiff | tree | snapshot
2013-01-29 Wilmer RicciottiSpeed-up in match.ma. commit | commitdiff | tree | snapshot
2013-01-29 Wilmer RicciottiProved old axiom. commit | commitdiff | tree | snapshot
2013-01-29 Wilmer RicciottiYippeee! Completes proof of soundness of the universal... commit | commitdiff | tree | snapshot
2013-01-28 Andrea Aspertiunistep!!! commit | commitdiff | tree | snapshot
2013-01-28 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2013-01-28 Ferruccio Guidi- notation change for weight functions (following lambda) commit | commitdiff | tree | snapshot
2013-01-28 Andrea Aspertifunzioni ausiliarie commit | commitdiff | tree | snapshot
2013-01-28 Wilmer Ricciotticfg_in_table_to_tuple commit | commitdiff | tree | snapshot
2013-01-28 Wilmer Ricciottisem_copy_strict commit | commitdiff | tree | snapshot
2013-01-27 Wilmer Ricciottimany axioms and daemons removed commit | commitdiff | tree | snapshot
2013-01-27 Andrea Aspertiquasi finito commit | commitdiff | tree | snapshot
2013-01-27 Wilmer Ricciottiwell-foundedness done commit | commitdiff | tree | snapshot
2013-01-27 Andrea Aspertisem_exec_move completed commit | commitdiff | tree | snapshot
2013-01-27 Andrea Aspertialmost there commit | commitdiff | tree | snapshot
2013-01-26 Andrea AspertiA lot of changes commit | commitdiff | tree | snapshot
2013-01-25 Andrea AspertiSplitted unistep_aux commit | commitdiff | tree | snapshot
2013-01-25 Wilmer Ricciottistarted unistep commit | commitdiff | tree | snapshot
2013-01-25 Wilmer Ricciottiprogress in termination commit | commitdiff | tree | snapshot
2013-01-25 Ferruccio Guidi- paths and left residuals: forth case of the equivalen... commit | commitdiff | tree | snapshot
2013-01-24 Wilmer Ricciottifinished semantics for termination of match machine commit | commitdiff | tree | snapshot
2013-01-24 Wilmer Ricciottiprogress commit | commitdiff | tree | snapshot
2013-01-24 Wilmer Ricciottiprogress commit | commitdiff | tree | snapshot
2013-01-23 Ferruccio Guidi- paths and left residuals: third case of the equivalen... commit | commitdiff | tree | snapshot
2013-01-23 Wilmer Ricciottiprogress commit | commitdiff | tree | snapshot
2013-01-22 Andrea Aspertitermination! commit | commitdiff | tree | snapshot
2013-01-22 Andrea AspertiUniversal machine commit | commitdiff | tree | snapshot
2013-01-22 Wilmer RicciottiRemoved all axioms in unistep_aux commit | commitdiff | tree | snapshot
2013-01-21 Wilmer Ricciottiremoved daemons commit | commitdiff | tree | snapshot
2013-01-21 Andrea Aspertiuniversal commit | commitdiff | tree | snapshot
2013-01-21 Wilmer Ricciottitape_move_obj completed (modulo daemons) commit | commitdiff | tree | snapshot
2013-01-21 Wilmer Ricciotticfg_to_obj completed (modulo daemons) commit | commitdiff | tree | snapshot
2013-01-21 Wilmer Ricciottiprogress commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.