projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2013-10-03 Wilmer RicciottiAdds transformation of generic monotape machines into... commit | commitdiff | tree | snapshot
2013-10-02 Andrea Aspertia vector of finsets is a finset (in progress) commit | commitdiff | tree | snapshot
2013-09-07 Ferruccio Guidiprevious commit continued :) commit | commitdiff | tree | snapshot
2013-09-07 Ferruccio Guidisupport for nat-labeled reflexive and transitive closur... commit | commitdiff | tree | snapshot
2013-08-09 Ferruccio Guidi- test.ma on the disambiguation bug moved to ONAG ... commit | commitdiff | tree | snapshot
2013-08-09 Ferruccio Guidi- the example is now minimal so the bug is understood. commit | commitdiff | tree | snapshot
2013-08-09 Ferruccio Guidi- the example is smaller and really self-contained ... commit | commitdiff | tree | snapshot
2013-08-09 Ferruccio Guidiriduced example showing disambiguation bug ... commit | commitdiff | tree | snapshot
2013-08-09 Ferruccio Guidi- matitadep: new option -t to list the unreferenced... commit | commitdiff | tree | snapshot
2013-08-09 Ferruccio Guidi- we added nat-labeled reflexive and transitive closure... commit | commitdiff | tree | snapshot
2013-08-07 Ferruccio Guidimilestone in basic_2 commit | commitdiff | tree | snapshot
2013-08-07 Ferruccio Guidipassive support for global environments completed! commit | commitdiff | tree | snapshot
2013-08-07 Ferruccio Guidipartial commit: "conversion" and "equivalence" componen... commit | commitdiff | tree | snapshot
2013-08-06 Ferruccio Guidipartial commit: "computation" component ... commit | commitdiff | tree | snapshot
2013-08-03 Ferruccio Guidipartial commit: "reduction" component commit | commitdiff | tree | snapshot
2013-08-01 Ferruccio Guidipartial commit: "unfold" component commit | commitdiff | tree | snapshot
2013-08-01 Ferruccio Guidipartial commit: "static" component .... commit | commitdiff | tree | snapshot
2013-08-01 Ferruccio Guidipartial commit: just the components before "static... commit | commitdiff | tree | snapshot
2013-07-27 Ferruccio Guidi- the milestone was not reported on the web page! commit | commitdiff | tree | snapshot
2013-07-27 Ferruccio Guidimilesone in basic_2! commit | commitdiff | tree | snapshot
2013-07-27 Ferruccio Guidi- probe: critical bug fixed (all objects were deleted... commit | commitdiff | tree | snapshot
2013-07-26 Ferruccio Guidilambdadelta commit | commitdiff | tree | snapshot
2013-07-20 Ferruccio Guidimilestone in basic_2 commit | commitdiff | tree | snapshot
2013-07-20 Ferruccio Guidi- new extendedd beta-reductum involving native type... commit | commitdiff | tree | snapshot
2013-07-13 Ferruccio Guidipartial commit of the components before "conversion" commit | commitdiff | tree | snapshot
2013-06-20 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2013-06-20 Ferruccio Guidi- bug fix il ldrop (interesting), fsup, fsups commit | commitdiff | tree | snapshot
2013-06-19 Ferruccio Guidi- partial commit :( commit | commitdiff | tree | snapshot
2013-06-08 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2013-06-08 Ferruccio Guidimore results on extended reduction commit | commitdiff | tree | snapshot
2013-06-05 Ferruccio Guidisome work on extended reduction ... commit | commitdiff | tree | snapshot
2013-06-03 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2013-06-03 Ferruccio Guidiredundant dependence removed commit | commitdiff | tree | snapshot
2013-06-03 Ferruccio Guidi- a comment removed commit | commitdiff | tree | snapshot
2013-06-03 Ferruccio Guidi- induction on supclosure replaces induction on weight... commit | commitdiff | tree | snapshot
2013-06-01 Ferruccio Guidiupdate in basic_2 and apps_2 commit | commitdiff | tree | snapshot
2013-06-01 Ferruccio Guidi- basic_2: induction for preservation results now uses... commit | commitdiff | tree | snapshot
2013-05-31 Andrea Aspertiiteration.ma commit | commitdiff | tree | snapshot
2013-05-31 Andrea Aspertibounded quantifiers and pidgeon_hole commit | commitdiff | tree | snapshot
2013-05-31 Andrea Aspertigap.ma commit | commitdiff | tree | snapshot
2013-05-31 matitawebNuovi files commit | commitdiff | tree | snapshot
2013-05-30 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-05-30 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-05-29 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-05-28 Andrea AspertiError to debug commit | commitdiff | tree | snapshot
2013-05-17 Andrea AspertiImproved version commit | commitdiff | tree | snapshot
2013-05-17 Andrea Aspertimore functions commit | commitdiff | tree | snapshot
2013-05-16 Ferruccio Guidipartial update in basic_2 commit | commitdiff | tree | snapshot
2013-05-16 Ferruccio Guidi- some renaming commit | commitdiff | tree | snapshot
2013-05-13 Ferruccio Guidipartial commit of the "dynamic" component commit | commitdiff | tree | snapshot
2013-05-10 Ferruccio Guidipartial update in basic_2 ... commit | commitdiff | tree | snapshot
2013-05-10 Ferruccio Guidi- partial commit: we issue the "conversion" and "equiva... commit | commitdiff | tree | snapshot
2013-05-09 Ferruccio Guidipartial commit in basic_2 commit | commitdiff | tree | snapshot
2013-05-09 Ferruccio Guidipartial commit: finaly we issue the "computation" compo... commit | commitdiff | tree | snapshot
2013-05-07 Ferruccio Guidi- partial commit: refactoring in the components before... commit | commitdiff | tree | snapshot
2013-05-05 Ferruccio Guidipartial update in basic_2 commit | commitdiff | tree | snapshot
2013-05-05 Ferruccio Guidi- partial commit (just the components before computation) commit | commitdiff | tree | snapshot
2013-05-03 Andrea Aspertireverse complexity commit | commitdiff | tree | snapshot
2013-04-30 Claudio Sacerdoti... Bumped to 0.99.2. commit | commitdiff | tree | snapshot
2013-04-30 Claudio Sacerdoti... Missing include. commit | commitdiff | tree | snapshot
2013-04-30 Andrea Aspertichapter9 commit | commitdiff | tree | snapshot
2013-04-30 Andrea Aspertitutorial commit | commitdiff | tree | snapshot
2013-04-30 Claudio Sacerdoti... Old version dropped. commit | commitdiff | tree | snapshot
2013-04-30 Andrea AspertiNew notation for congruence commit | commitdiff | tree | snapshot
2013-04-30 Andrea AspertiThis line, and those below, will be ignored-- commit | commitdiff | tree | snapshot
2013-04-30 matitawebcommit by user ricciott commit | commitdiff | tree | snapshot
2013-04-29 Andrea AspertiA few integrations (closed an axiom in finset). commit | commitdiff | tree | snapshot
2013-04-27 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-04-27 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-04-27 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-04-27 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-04-26 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-04-25 Wilmer RicciottiAn attempt at ostensiby named syntax. commit | commitdiff | tree | snapshot
2013-04-21 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2013-04-21 Ferruccio Guidione file was missing commit | commitdiff | tree | snapshot
2013-04-21 Ferruccio Guidi- we commit the "reduction" component commit | commitdiff | tree | snapshot
2013-04-20 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2013-04-20 Ferruccio Guidirefactoring should be completed now commit | commitdiff | tree | snapshot
2013-04-20 Ferruccio Guidirefactoring completed :) commit | commitdiff | tree | snapshot
2013-04-20 Ferruccio Guidi- we are committing just the components before "reducib... commit | commitdiff | tree | snapshot
2013-04-19 matitawebcommit by user lroversi commit | commitdiff | tree | snapshot
2013-04-17 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-04-17 Wilmer RicciottiFixes a bug which caused Meta_not_found exceptions... commit | commitdiff | tree | snapshot
2013-04-16 Ferruccio Guidimilestone update in basic_2! commit | commitdiff | tree | snapshot
2013-04-16 Ferruccio Guidi- we commit just the components before "reducibility" commit | commitdiff | tree | snapshot
2013-04-15 Ferruccio Guidiuncommited file found :) commit | commitdiff | tree | snapshot
2013-04-10 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-04-10 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-04-10 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-04-10 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-04-09 Wilmer RicciottiFixes a bug that caused an assertion failure when no... commit | commitdiff | tree | snapshot
2013-04-08 Claudio Sacerdoti... Patch by Paolo Tranquilli. It fixes the following probl... commit | commitdiff | tree | snapshot
2013-04-08 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-04-07 Ferruccio Guidiupdate in basic_2 and apps_2 commit | commitdiff | tree | snapshot
2013-04-07 Ferruccio Guidi- new component for restricted computation (delta,... commit | commitdiff | tree | snapshot
2013-04-05 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2013-04-05 Ferruccio Guidi- parallel substitution reaxiomatized commit | commitdiff | tree | snapshot
2013-03-20 Ferruccio Guidi- probe: recursive removal of empty directories commit | commitdiff | tree | snapshot
2013-03-18 Ferruccio Guidimissing or rootless dependences now don't break the... commit | commitdiff | tree | snapshot
2013-03-18 Ferruccio Guidisome additions commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.