| 2018-09-18 |
Ferruccio Guidi | update in static_2 and basic_2 |
tree | commitdiff |
| 2018-09-12 |
Ferruccio Guidi | update in ground_2, static_2, basic_2 |
tree | commitdiff |
| 2018-09-08 |
Ferruccio Guidi | update in static_2 and basic_2 |
tree | commitdiff |
| 2018-09-01 |
Ferruccio Guidi | update in basic_2 and ground_2 |
tree | commitdiff |
| 2018-08-18 |
Ferruccio Guidi | severe bug found in parallel zeta |
tree | commitdiff |
| 2018-08-07 |
Ferruccio Guidi | commit in ground_2, static_2, basic_2, apps_2 |
tree | commitdiff |
| 2018-08-01 |
Ferruccio Guidi | update in ground_2 and basic_2 |
tree | commitdiff |
| 2018-07-28 |
Ferruccio Guidi | update in ground_2 and basic_2 |
tree | commitdiff |
| 2018-07-27 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
| 2018-07-26 |
Ferruccio Guidi | update in basic_2 and ground_2 |
tree | commitdiff |
| 2018-07-02 |
Ferruccio Guidi | syntactic components detached from basic_2 become static_2 |
tree | commitdiff |
| 2018-06-12 |
Ferruccio Guidi | renaming in basic_2 |
tree | commitdiff |
| 2018-06-11 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
| 2018-05-14 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
| 2018-05-11 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
| 2018-04-16 |
Ferruccio Guidi | update in basic_2 and ground_2 |
tree | commitdiff |
| 2017-11-14 |
Ferruccio Guidi | - notation change for tdeq and related notions |
tree | commitdiff |
| 2016-05-08 |
Ferruccio Guidi | some renaming and reordering of variables |
tree | commitdiff |
| 2016-04-22 |
Ferruccio Guidi | - partial commit of rt_transition ... |
tree | commitdiff |
| 2015-03-25 |
Ferruccio Guidi | - revision of ground_2 and basic_2 |
tree | commitdiff |
| 2014-10-26 |
Ferruccio Guidi | - some renaming according to the written version of... |
tree | commitdiff |
| 2014-10-19 |
Ferruccio Guidi | - grafiteParser: we added the comand "defined" as a... |
tree | commitdiff |
| 2014-10-08 |
Ferruccio Guidi | - some consequences of preservation added |
tree | commitdiff |
| 2014-10-05 |
Ferruccio Guidi | catched typecheker failures in auto allow more applicat... |
tree | commitdiff |
| 2014-10-02 |
Ferruccio Guidi | - fpbg can be reflexive (example given) |
tree | commitdiff |
| 2014-09-15 |
Ferruccio Guidi | notational change of lift, drop, and gget |
tree | commitdiff |
| 2014-09-10 |
Ferruccio Guidi | commit completed! the new iterated static type assignme... |
tree | commitdiff |
| 2014-08-06 |
Ferruccio Guidi | - some renaming and minor updates |
tree | commitdiff |
| 2014-08-05 |
Ferruccio Guidi | - basic_2: reaxiomatized snv with improved cpds and... |
tree | commitdiff |
| 2014-07-18 |
Ferruccio Guidi | - irreflexivity of static type assignment iterated... |
tree | commitdiff |
| 2014-07-14 |
Ferruccio Guidi | some renaming and some typos corrected ... |
tree | commitdiff |
| 2014-06-28 |
Ferruccio Guidi | - ldrop is now drop as in basic_1 |
tree | commitdiff |
| 2014-06-15 |
Ferruccio Guidi | - we introduce stratified term equivalence to remove... |
tree | commitdiff |
| 2014-06-14 |
Ferruccio Guidi | reorganization of the "static" component: |
tree | commitdiff |
| 2014-06-10 |
Ferruccio Guidi | preservation of stratified vaildity through ordinary... |
tree | commitdiff |
| 2014-04-25 |
Ferruccio Guidi | - advances in the theory of cofrees |
tree | commitdiff |
| 2014-04-18 |
Ferruccio Guidi | - the relation for pointwise extensions now takes a... |
tree | commitdiff |
| 2014-04-15 |
Ferruccio Guidi | - lazy extended reduction parked |
tree | commitdiff |
| 2014-04-05 |
Ferruccio Guidi | commit completed: |
tree | commitdiff |
| 2014-01-20 |
Ferruccio Guidi | commit completed: now we support two versions of slicin... |
tree | commitdiff |
| 2014-01-17 |
Ferruccio Guidi | - commit of the "substitution" component |
tree | commitdiff |
| 2014-01-05 |
Ferruccio Guidi | - new definition of lazy equivalence for local environm... |
tree | commitdiff |
| 2013-12-14 |
Ferruccio Guidi | - "big tree" theorem is now proved up to some conjectur... |
tree | commitdiff |
| 2013-10-25 |
Ferruccio Guidi | - bug fix in the induction for the closure property |
tree | commitdiff |
| 2013-10-12 |
Ferruccio Guidi | some renaming ... |
tree | commitdiff |
| 2013-10-06 |
Ferruccio Guidi | - big-tree reduction is now based on extended reduction |
tree | commitdiff |
| 2013-10-05 |
Ferruccio Guidi | final na,e for big-tree rediction and computation |
tree | commitdiff |
| 2013-10-04 |
Ferruccio Guidi | lenv refinement for native validity removed from big... |
tree | commitdiff |
| 2013-10-04 |
Ferruccio Guidi | - degree assignment, static type assignment, iterated... |
tree | commitdiff |
| 2013-08-07 |
Ferruccio Guidi | passive support for global environments completed! |
tree | commitdiff |
| 2013-08-01 |
Ferruccio Guidi | partial commit: just the components before "static... |
tree | commitdiff |
| 2013-07-27 |
Ferruccio Guidi | - probe: critical bug fixed (all objects were deleted... |
tree | commitdiff |
| 2013-07-26 |
Ferruccio Guidi | lambdadelta |
tree | commitdiff |
| 2013-07-20 |
Ferruccio Guidi | - new extendedd beta-reductum involving native type... |
tree | commitdiff |
| 2013-06-20 |
Ferruccio Guidi | - bug fix il ldrop (interesting), fsup, fsups |
tree | commitdiff |
| 2013-06-01 |
Ferruccio Guidi | - basic_2: induction for preservation results now uses... |
tree | commitdiff |
| 2013-05-16 |
Ferruccio Guidi | - some renaming |
tree | commitdiff |
| 2013-05-13 |
Ferruccio Guidi | partial commit of the "dynamic" component |
tree | commitdiff |
| 2013-04-07 |
Ferruccio Guidi | - new component for restricted computation (delta,... |
tree | commitdiff |
| 2013-03-18 |
Ferruccio Guidi | - more understanding of the "big tree" reduction step |
tree | commitdiff |
| 2013-03-17 |
Ferruccio Guidi | notational change for lsubr: |
tree | commitdiff |
| 2013-03-17 |
Ferruccio Guidi | lsubs renamed as lsubr |
tree | commitdiff |
| 2013-03-17 |
Ferruccio Guidi | notational change for snv and lsubsv: inverted "!"... |
tree | commitdiff |
| 2013-03-16 |
Ferruccio Guidi | - lambdadelta: last recursive part of preservation... |
tree | commitdiff |
| 2013-03-14 |
Ferruccio Guidi | - main proof case closed in the 4th component of preser... |
tree | commitdiff |
| 2013-03-13 |
Ferruccio Guidi | - lambdadelta: third recursive part of preservation... |
tree | commitdiff |
| 2013-03-11 |
Ferruccio Guidi | more results on lenv refinement for stratified native... |
tree | commitdiff |
| 2013-03-10 |
Ferruccio Guidi | - improved Makefile esp. with the "trim" function |
tree | commitdiff |
| 2013-03-09 |
Ferruccio Guidi | - lenv refinement for stratified native validity redefined |
tree | commitdiff |
| 2013-03-08 |
Ferruccio Guidi | second recursive part of preservation finally proved! |
tree | commitdiff |
| 2013-03-08 |
Ferruccio Guidi | improved "big treee" computation allows to close a... |
tree | commitdiff |
| 2013-03-03 |
Ferruccio Guidi | - lambdadelta: we removed focalized reduction from... |
tree | commitdiff |
| 2013-02-28 |
Ferruccio Guidi | - lambdadelta: first recursive part of preservation... |
tree | commitdiff |
| 2013-02-22 |
Ferruccio Guidi | - "big tree" order implemented |
tree | commitdiff |
| 2013-02-18 |
Ferruccio Guidi | substitution lemma for stratified native validity! |
tree | commitdiff |
| 2013-02-15 |
Ferruccio Guidi | we rephrased sstas in terms of star |
tree | commitdiff |
| 2013-02-15 |
Ferruccio Guidi | we reformulate the extended computation to simplify... |
tree | commitdiff |
| 2013-02-13 |
Ferruccio Guidi | - first piece of the mutual induction for preservation... |
tree | commitdiff |
| 2013-02-11 |
Ferruccio Guidi | more service lemmas in nat and lambdadelta |
tree | commitdiff |
| 2013-02-07 |
Ferruccio Guidi | even more service lemmas ... |
tree | commitdiff |
| 2013-02-06 |
Ferruccio Guidi | - lambdadelta: more service lemmas ... |
tree | commitdiff |
| 2013-02-05 |
Ferruccio Guidi | some missing files ... |
tree | commitdiff |
| 2013-01-28 |
Ferruccio Guidi | - notation change for weight functions (following lambda) |
tree | commitdiff |
| 2012-12-25 |
Ferruccio Guidi | - lambda_delta: programmed renaming to lambdadelta |
tree | commitdiff |
|
projects / helm.git / history