| 2015-10-21 |
Ferruccio Guidi | minor update |
commit | commitdiff | tree | snapshot |
| 2015-10-14 |
Ferruccio Guidi | stats updated for ground_2 |
commit | commitdiff | tree | snapshot |
| 2015-10-14 |
Ferruccio Guidi | commit in ground_2 |
commit | commitdiff | tree | snapshot |
| 2015-10-14 |
Ferruccio Guidi | colength and identity relocation |
commit | commitdiff | tree | snapshot |
| 2015-10-11 |
Ferruccio Guidi | milestone in ground_2 |
commit | commitdiff | tree | snapshot |
| 2015-10-11 |
Ferruccio Guidi | ground_2: added missing file |
commit | commitdiff | tree | snapshot |
| 2015-10-11 |
Ferruccio Guidi | ground_2 milestone: multiple relocation with lists... |
commit | commitdiff | tree | snapshot |
| 2015-09-24 |
Ferruccio Guidi | first constructions with classes |
commit | commitdiff | tree | snapshot |
| 2015-09-23 |
Ferruccio Guidi | optional parameters added to the syntax of definitions, |
commit | commitdiff | tree | snapshot |
| 2015-09-20 |
Ferruccio Guidi | limits: we set up a different foundation |
commit | commitdiff | tree | snapshot |
| 2015-09-20 |
Ferruccio Guidi | old files (re)moved |
commit | commitdiff | tree | snapshot |
| 2015-09-12 |
Ferruccio Guidi | minor site update |
commit | commitdiff | tree | snapshot |
| 2015-09-08 |
Ferruccio Guidi | refactoring meta files for procedural reconstruction... |
commit | commitdiff | tree | snapshot |
| 2015-09-07 |
Ferruccio Guidi | - simplified Makefile.defs using the ?= assignment |
commit | commitdiff | tree | snapshot |
| 2015-09-06 |
Ferruccio Guidi | scripts for lambdadelta_1 updated with minor corrections |
commit | commitdiff | tree | snapshot |
| 2015-09-06 |
Ferruccio Guidi | - the `Implied attribute is now printed |
commit | commitdiff | tree | snapshot |
| 2015-09-06 |
Ferruccio Guidi | flavour and source information exported for the objects... |
commit | commitdiff | tree | snapshot |
| 2015-09-05 |
Ferruccio Guidi | last comment was incomplete by mistake. |
commit | commitdiff | tree | snapshot |
| 2015-09-05 |
Ferruccio Guidi | - New attribute `Implied put beside `Generated and... |
commit | commitdiff | tree | snapshot |
| 2015-09-04 |
Ferruccio Guidi | typo corrected in bibliography |
commit | commitdiff | tree | snapshot |
| 2015-09-02 |
Ferruccio Guidi | last commit completed :) |
commit | commitdiff | tree | snapshot |
| 2015-09-02 |
Ferruccio Guidi | updated bibliography |
commit | commitdiff | tree | snapshot |
| 2015-08-07 |
Ferruccio Guidi | new version of J3a submitted to JFR |
commit | commitdiff | tree | snapshot |
| 2015-07-14 |
Ferruccio Guidi | - subtraction (and related notions) removed |
commit | commitdiff | tree | snapshot |
| 2015-07-07 |
Ferruccio Guidi | compile-time feature PROFV to profile validation withou... |
commit | commitdiff | tree | snapshot |
| 2015-07-07 |
Ferruccio Guidi | grundlagen for coq with timing information |
commit | commitdiff | tree | snapshot |
| 2015-07-07 |
Ferruccio Guidi | = test2 for byte and opt |
commit | commitdiff | tree | snapshot |
| 2015-07-06 |
Ferruccio Guidi | - multi-file exportation for teyjus |
commit | commitdiff | tree | snapshot |
| 2015-07-05 |
Ferruccio Guidi | more flexibility in the exported data for Teyjus |
commit | commitdiff | tree | snapshot |
| 2015-07-04 |
Ferruccio Guidi | - conditional compilation continues ... |
commit | commitdiff | tree | snapshot |
| 2015-07-02 |
Ferruccio Guidi | initial support for bytecode compilation |
commit | commitdiff | tree | snapshot |
| 2015-07-01 |
Ferruccio Guidi | - simpler attribute system |
commit | commitdiff | tree | snapshot |
| 2015-06-29 |
Ferruccio Guidi | we are optimizing the code by conditional compilation. |
commit | commitdiff | tree | snapshot |
| 2015-06-28 |
Ferruccio Guidi | new semantics of the -g option completed |
commit | commitdiff | tree | snapshot |
| 2015-06-27 |
Ferruccio Guidi | - bug fix in the static analyzer allows better Pi/foral... |
commit | commitdiff | tree | snapshot |
| 2015-06-25 |
Ferruccio Guidi | advances on exportation to prolog |
commit | commitdiff | tree | snapshot |
| 2015-06-22 |
Ferruccio Guidi | command line options rearranged |
commit | commitdiff | tree | snapshot |
| 2015-06-19 |
Ferruccio Guidi | new options activated |
commit | commitdiff | tree | snapshot |
| 2015-06-16 |
Ferruccio Guidi | new syntax of abstractions propagated to complete_rg |
commit | commitdiff | tree | snapshot |
| 2015-06-10 |
Ferruccio Guidi | - siimplifified RTM (one register less) now counts... |
commit | commitdiff | tree | snapshot |
| 2015-06-08 |
Ferruccio Guidi | exportation to \lambda\delta representation in elpi |
commit | commitdiff | tree | snapshot |
| 2015-05-11 |
Ferruccio Guidi | some changes in lambdadelta butterflies |
commit | commitdiff | tree | snapshot |
| 2015-03-25 |
Ferruccio Guidi | - revision of ground_2 and basic_2 |
commit | commitdiff | tree | snapshot |
| 2015-03-07 |
Ferruccio Guidi | performance data for basic_1 on dev.helm |
commit | commitdiff | tree | snapshot |
| 2015-03-06 |
Ferruccio Guidi | with matita 0.99.2 we can validate lambdadelta_1 (as... |
commit | commitdiff | tree | snapshot |
| 2015-03-06 |
Ferruccio Guidi | legacy_1, ground_1, and basic_1 recommitted without... |
commit | commitdiff | tree | snapshot |
| 2015-03-06 |
Ferruccio Guidi | updated bibliography for text J1 |
commit | commitdiff | tree | snapshot |
| 2015-03-06 |
Ferruccio Guidi | - new naming sheme for documentation yields more stable... |
commit | commitdiff | tree | snapshot |
| 2015-03-05 |
Ferruccio Guidi | news update and some bugs fixed |
commit | commitdiff | tree | snapshot |
| 2015-03-05 |
Ferruccio Guidi | basic_1: COMMIT COMPLETED |
commit | commitdiff | tree | snapshot |
| 2015-03-05 |
Ferruccio Guidi | components: pc1, pc3, ty3, csubt, ex1 |
commit | commitdiff | tree | snapshot |
| 2015-03-05 |
Ferruccio Guidi | components: sc3, csubc |
commit | commitdiff | tree | snapshot |
| 2015-03-04 |
Ferruccio Guidi | components: nf2, sn3, ex2 |
commit | commitdiff | tree | snapshot |
| 2015-03-04 |
Ferruccio Guidi | components: arity, csuba |
commit | commitdiff | tree | snapshot |
| 2015-02-25 |
Ferruccio Guidi | component: pr3 |
commit | commitdiff | tree | snapshot |
| 2015-02-24 |
Ferruccio Guidi | components: wcpr0 pr1 pr2 |
commit | commitdiff | tree | snapshot |
| 2015-02-23 |
Ferruccio Guidi | component: pr0 |
commit | commitdiff | tree | snapshot |
| 2015-02-22 |
Ferruccio Guidi | components: A asucc aplus leq llt aprem ex0 |
commit | commitdiff | tree | snapshot |
| 2015-02-21 |
Ferruccio Guidi | - update for helena 0.8.2 and related files |
commit | commitdiff | tree | snapshot |
| 2015-02-21 |
Ferruccio Guidi | additional commit for version 0.8.2 |
commit | commitdiff | tree | snapshot |
| 2015-02-19 |
Ferruccio Guidi | components: G, next_plus, sty0, sty1 |
commit | commitdiff | tree | snapshot |
| 2015-02-18 |
Ferruccio Guidi | first article on lambdadelta version 3 |
commit | commitdiff | tree | snapshot |
| 2015-02-11 |
Ferruccio Guidi | components: subst1 csubst0 csubst1 fsubst0 |
commit | commitdiff | tree | snapshot |
| 2015-02-11 |
Ferruccio Guidi | components: subst csubv |
commit | commitdiff | tree | snapshot |
| 2015-02-10 |
Ferruccio Guidi | components: subst0 |
commit | commitdiff | tree | snapshot |
| 2015-02-09 |
Ferruccio Guidi | components: clen lift1 drop1 |
commit | commitdiff | tree | snapshot |
| 2015-02-08 |
Ferruccio Guidi | components: clear getl cimp |
commit | commitdiff | tree | snapshot |
| 2015-02-08 |
Ferruccio Guidi | components cnt drop |
commit | commitdiff | tree | snapshot |
| 2015-02-06 |
Ferruccio Guidi | some improvements in the anticipator |
commit | commitdiff | tree | snapshot |
| 2015-02-05 |
Ferruccio Guidi | depend update |
commit | commitdiff | tree | snapshot |
| 2015-02-04 |
Ferruccio Guidi | components C r flt app lift |
commit | commitdiff | tree | snapshot |
| 2015-02-04 |
Ferruccio Guidi | - matitac: now directories are allowed as command line... |
commit | commitdiff | tree | snapshot |
| 2015-02-04 |
Ferruccio Guidi | - some improvements in the generation of terms |
commit | commitdiff | tree | snapshot |
| 2015-02-03 |
Ferruccio Guidi | - we generate the terms in anticipated form (the are... |
commit | commitdiff | tree | snapshot |
| 2015-01-30 |
Ferruccio Guidi | porting of basic_1 for the ng_kernel: first step ... |
commit | commitdiff | tree | snapshot |
| 2015-01-30 |
Ferruccio Guidi | notation ast updated to comply with the toplevel let... |
commit | commitdiff | tree | snapshot |
| 2015-01-22 |
Ferruccio Guidi | refactoring of \lambda\delta version 1 in matita |
commit | commitdiff | tree | snapshot |
| 2015-01-22 |
Ferruccio Guidi | dependences update |
commit | commitdiff | tree | snapshot |
| 2015-01-22 |
Ferruccio Guidi | dependences update |
commit | commitdiff | tree | snapshot |
| 2015-01-22 |
Ferruccio Guidi | informational page on ground_1 |
commit | commitdiff | tree | snapshot |
| 2015-01-20 |
Ferruccio Guidi | basic_1: we separate theorems and lemmas as in basic_2 |
commit | commitdiff | tree | snapshot |
| 2015-01-19 |
Ferruccio Guidi | update in web page for basic_1 |
commit | commitdiff | tree | snapshot |
| 2015-01-18 |
Ferruccio Guidi | - we add an informational page on \lambda\delta version... |
commit | commitdiff | tree | snapshot |
| 2015-01-16 |
Ferruccio Guidi | lambdadelta_1: bugfix |
commit | commitdiff | tree | snapshot |
| 2015-01-16 |
Ferruccio Guidi | infrastructure to browse lambdadelta_1 remotely |
commit | commitdiff | tree | snapshot |
| 2015-01-15 |
Ferruccio Guidi | lambdadelta_1 updated with new part names |
commit | commitdiff | tree | snapshot |
| 2015-01-11 |
Ferruccio Guidi | we restored the scripts of \lambda\delta version 1 |
commit | commitdiff | tree | snapshot |
| 2015-01-07 |
Claudio Sacerdoti... | ... |
commit | commitdiff | tree | snapshot |
| 2015-01-04 |
Ferruccio Guidi | - xhtbl: minor improvement |
commit | commitdiff | tree | snapshot |
| 2014-12-31 |
Ferruccio Guidi | last commit for helena 0.8.2 |
commit | commitdiff | tree | snapshot |
| 2014-12-26 |
Ferruccio Guidi | the corrected "Grundlagen" is online |
commit | commitdiff | tree | snapshot |
| 2014-12-25 |
Ferruccio Guidi | lddl update with the disambiguated "grundlagen" |
commit | commitdiff | tree | snapshot |
| 2014-12-24 |
Ferruccio Guidi | - bugfix is refreshed state of AutCrg: now we return... |
commit | commitdiff | tree | snapshot |
| 2014-12-24 |
Andrea Asperti | removing some old files |
commit | commitdiff | tree | snapshot |
| 2014-12-24 |
Andrea Asperti | finite lambda calculus |
commit | commitdiff | tree | snapshot |
| 2014-12-23 |
Andrea Asperti | A compiling version |
commit | commitdiff | tree | snapshot |
| 2014-12-23 |
Ferruccio Guidi | - bug fix in the RTM |
commit | commitdiff | tree | snapshot |
| 2014-12-23 |
Claudio Sacerdoti... | check removed |
commit | commitdiff | tree | snapshot |
| 2014-12-23 |
Claudio Sacerdoti... | 0.5.9 released |
commit | commitdiff | tree | snapshot |
| 2014-12-16 |
Ferruccio Guidi | - we add the missing layer constraint on applicability... |
commit | commitdiff | tree | snapshot |
| next |
projects / helm.git / shortlog