2017-03-05 |
Ferruccio Guidi | advances on cpxs and cnx (cnxa removed) ,,, |
tree | commitdiff |
2017-03-02 |
Ferruccio Guidi | - advances on csx |
tree | commitdiff |
2017-02-20 |
Ferruccio Guidi | csx on the way ... |
tree | commitdiff |
2017-02-19 |
Ferruccio Guidi | - advances on cnx |
tree | commitdiff |
2017-02-19 |
Ferruccio Guidi | - one annotation added |
tree | commitdiff |
2017-02-19 |
Ferruccio Guidi | support for generic reducibility ... |
tree | commitdiff |
2017-02-16 |
Ferruccio Guidi | - cprs and cnx on the way |
tree | commitdiff |
2017-02-01 |
Ferruccio Guidi | - advances in rt_transition |
tree | commitdiff |
2017-01-30 |
Ferruccio Guidi | - comparative table of the core objects started ... |
tree | commitdiff |
2017-01-26 |
Ferruccio Guidi | - some commutations between the rt-steps and the s... |
tree | commitdiff |
2017-01-24 |
Ferruccio Guidi | - updated equivalence on referred entries: it nust... |
tree | commitdiff |
2017-01-22 |
Ferruccio Guidi | - degree-based equivalene for terms |
tree | commitdiff |
2017-01-21 |
Ferruccio Guidi | - improved fqu allows to prove fqu_cpx_trans and its... |
tree | commitdiff |
2017-01-19 |
Ferruccio Guidi | - preservation of arity assignment |
tree | commitdiff |
2017-01-18 |
Ferruccio Guidi | - improved lfpr_lfpr |
tree | commitdiff |
2017-01-17 |
Ferruccio Guidi | lfpx_frees and confluence of lfpr! |
tree | commitdiff |
2017-01-17 |
Ferruccio Guidi | previous lemma proved ... |
tree | commitdiff |
2017-01-17 |
Ferruccio Guidi | improved lsubf allowes to prove lsubf_frees_trans. |
tree | commitdiff |
2017-01-16 |
Ferruccio Guidi | advances towards confluence of reduction in local envir... |
tree | commitdiff |
2016-10-03 |
Ferruccio Guidi | - basic_2 : restricted refinement for free variables... |
tree | commitdiff |
2016-09-29 |
Ferruccio Guidi | more on lfpx_frees.ma ... |
tree | commitdiff |
2016-09-26 |
Ferruccio Guidi | - reconstruction of lfpx_frees.ma begins ... |
tree | commitdiff |
2016-09-23 |
Ferruccio Guidi | improved lexs_conf, now holds under weaker hypotheses ... |
tree | commitdiff |
2016-09-22 |
Ferruccio Guidi | basic_2: stronger supclosure allows better inversion... |
tree | commitdiff |
2016-09-19 |
Ferruccio Guidi | some improvements towards the confluence of lfpr ... |
tree | commitdiff |
2016-09-15 |
Ferruccio Guidi | one file was missing :( |
tree | commitdiff |
2016-09-15 |
Ferruccio Guidi | diamond property of reduction! |
tree | commitdiff |
2016-09-14 |
Ferruccio Guidi | first results on lfpr as a base for the diamond propert... |
tree | commitdiff |
2016-09-13 |
Ferruccio Guidi | more results on cpm ... |
tree | commitdiff |
2016-07-26 |
Ferruccio Guidi | bug fix in the context reduction rule for cast (cpm) |
tree | commitdiff |
2016-07-25 |
Ferruccio Guidi | we count rt parallel steps in a different way: |
tree | commitdiff |
2016-07-04 |
Ferruccio Guidi | basic properties of cpr ... |
tree | commitdiff |
2016-07-01 |
Ferruccio Guidi | first definition of cpm: |
tree | commitdiff |
2016-06-27 |
Ferruccio Guidi | lfpx_drops completed! |
tree | commitdiff |
2016-06-20 |
Ferruccio Guidi | updating the dropable-related definitions with coafter ... |
tree | commitdiff |
2016-06-09 |
Ferruccio Guidi | frees_drops completed! |
tree | commitdiff |
2016-06-06 |
Ferruccio Guidi | work in progress on frees_drops |
tree | commitdiff |
2016-05-31 |
Ferruccio Guidi | frees_drops, initial versrion |
tree | commitdiff |
2016-05-25 |
Ferruccio Guidi | initial support for lfpx_drops ... |
tree | commitdiff |
2016-05-24 |
Ferruccio Guidi | more files missing :(( |
tree | commitdiff |
2016-05-24 |
Ferruccio Guidi | une file was missing :( |
tree | commitdiff |
2016-05-24 |
Ferruccio Guidi | bug fixing ... |
tree | commitdiff |
2016-05-24 |
Ferruccio Guidi | initial support for lfpx (replaces lpx and the parked... |
tree | commitdiff |
2016-05-22 |
Ferruccio Guidi | - notational change for cpg and cpx |
tree | commitdiff |
2016-05-21 |
Ferruccio Guidi | - first results on cpx (dericed from those on cpg) |
tree | commitdiff |
2016-05-19 |
Ferruccio Guidi | bug fix in cpg allows to prove lsubr_cpg_trans |
tree | commitdiff |
2016-05-18 |
Ferruccio Guidi | - ground_2: support for lifts_div4 |
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 |
2016-04-16 |
Ferruccio Guidi | refactoring to park the notions: |
tree | commitdiff |
2016-04-16 |
Ferruccio Guidi | - former llpx_sn an lleq reactivated as lfxs and lfeq |
tree | commitdiff |
2016-04-12 |
Ferruccio Guidi | - first working commit of the static component .. |
tree | commitdiff |
2016-04-11 |
Ferruccio Guidi | - advances on drops |
tree | commitdiff |
2016-04-08 |
Ferruccio Guidi | - commit of the "s_computation" component ... |
tree | commitdiff |
2016-04-01 |
Ferruccio Guidi | - new component "s_transition" for the restored fqu... |
tree | commitdiff |
2016-03-28 |
Ferruccio Guidi | minor additions ... |
tree | commitdiff |
2016-03-27 |
Ferruccio Guidi | - minor corrections |
tree | commitdiff |
2016-03-25 |
Ferruccio Guidi | another file was missing :( |
tree | commitdiff |
2016-03-23 |
Ferruccio Guidi | more files to commit .... :( |
tree | commitdiff |
2016-03-23 |
Ferruccio Guidi | - ng_kernel: we print the offending term when guarded_b... |
tree | commitdiff |
2016-03-18 |
Ferruccio Guidi | advances in the theory of drops, lexs, and frees ... |
tree | commitdiff |
2016-03-13 |
Ferruccio Guidi | - new syntax for let rec/corec with flavor specifier... |
tree | commitdiff |
2016-03-10 |
Ferruccio Guidi | - ground_2: some additions |
tree | commitdiff |
2016-03-10 |
Ferruccio Guidi | partial commit in the relocation component to move... |
tree | commitdiff |
2016-02-10 |
Ferruccio Guidi | first commit for lreq ... |
tree | commitdiff |
2016-02-10 |
Ferruccio Guidi | - ground_2: update ... |
tree | commitdiff |
2016-02-10 |
Ferruccio Guidi | pre commit for lexs ... |
tree | commitdiff |
2016-02-09 |
Ferruccio Guidi | general slicing reactivated ... |
tree | commitdiff |
2016-02-07 |
Ferruccio Guidi | - ground_2: support for relocation updated |
tree | commitdiff |
2016-01-31 |
Ferruccio Guidi | renaming ... |
tree | commitdiff |
2015-10-25 |
Ferruccio Guidi | theory of relocation updated ..... |
tree | commitdiff |
2015-10-25 |
Ferruccio Guidi | theory of generic slicing almost completed .... |
tree | commitdiff |
2015-10-21 |
Ferruccio Guidi | parked material ... |
tree | commitdiff |
2015-10-21 |
Ferruccio Guidi | theory of multiple relocation completed |
tree | commitdiff |
2015-10-21 |
Ferruccio Guidi | minor update |
tree | commitdiff |
2015-10-11 |
Ferruccio Guidi | ground_2: added missing file |
tree | commitdiff |
2015-10-11 |
Ferruccio Guidi | ground_2 milestone: multiple relocation with lists... |
tree | commitdiff |
2015-03-25 |
Ferruccio Guidi | - revision of ground_2 and basic_2 |
tree | commitdiff |
2015-03-05 |
Ferruccio Guidi | basic_1: COMMIT COMPLETED |
tree | commitdiff |
2015-01-18 |
Ferruccio Guidi | - we add an informational page on \lambda\delta version... |
tree | commitdiff |
2014-10-28 |
Ferruccio Guidi | \lambda\delta version 2A released on Web site |
tree | commitdiff |
2014-10-27 |
Ferruccio Guidi | - the trace is explicit in all auto tactics with depth > 1 |
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-15 |
Ferruccio Guidi | more automation for cpcs ... |
tree | commitdiff |
2014-10-13 |
Ferruccio Guidi | - lambdadelta: minor corrections |
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-04 |
Ferruccio Guidi | the commit was incomplete (as is often the case :( ) |
tree | commitdiff |
2014-10-04 |
Ferruccio Guidi | - nnAuto: we catch TypeCheckerFailure generated at... |
tree | commitdiff |
2014-10-02 |
Ferruccio Guidi | previous commit was not complete :( |
tree | commitdiff |
2014-10-02 |
Ferruccio Guidi | - fpbg can be reflexive (example given) |
tree | commitdiff |
2014-09-30 |
Ferruccio Guidi | notation update for pointwise union |
tree | commitdiff |
2014-09-15 |
Ferruccio Guidi | notational change of lift, drop, and gget |
tree | commitdiff |
2014-09-14 |
Ferruccio Guidi | slight refactoring in the proof of strong normalization |
tree | commitdiff |
2014-09-12 |
Ferruccio Guidi | one more typo ... |
tree | commitdiff |
2014-09-12 |
Ferruccio Guidi | bug fix in ththe notation for lists: |
tree | commitdiff |
2014-09-10 |
Ferruccio Guidi | added an example on lstas showing a difference with... |
tree | commitdiff |
2014-09-10 |
Ferruccio Guidi | commit completed! the new iterated static type assignme... |
tree | commitdiff |
2014-09-03 |
Ferruccio Guidi | - the PARTIAL COMMIT continues, we issue the "reduction... |
tree | commitdiff |
next |