| 2021-11-30 |
Ferruccio Guidi | Merge branch 'master' of ssh://matita.cs.unibo.it:... |
tree | commitdiff |
| 2021-10-29 |
Ferruccio Guidi | update in ground static_2 basic_2 apps_2 |
tree | commitdiff |
| 2020-04-18 |
Ferruccio Guidi | milestone update in basic_2, update in ground and static_2 |
tree | commitdiff |
| 2020-01-15 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
| 2020-01-14 |
Ferruccio Guidi | update in basic_2 and apps_2 |
tree | commitdiff |
| 2020-01-08 |
Ferruccio Guidi | update in ground_2, static_2, basic_2, apps_2, alpha_1 |
tree | commitdiff |
| 2019-10-01 |
Ferruccio Guidi | Merge remote-tracking branch 'origin/matita-lablgtk3' |
tree | commitdiff |
| 2019-09-30 |
Ferruccio Guidi | update in ground_2 and basic_2 |
tree | commitdiff |
| 2019-09-29 |
Ferruccio Guidi | Merge branch 'matita-lablgtk3' of ssh://matita.cs.unibo... |
tree | commitdiff |
| 2019-09-27 |
Claudio Sacerdoti... | Merge branch 'declarative' into matita-lablgtk3 |
tree | commitdiff |
| 2019-09-18 |
Ferruccio Guidi | update in static_2 and basic_2 |
tree | commitdiff |
| 2019-08-31 |
Ferruccio Guidi | update in static_2 and basic_2 |
tree | commitdiff |
| 2019-08-23 |
Ferruccio Guidi | update in ground_2 static_2 basic_2 |
tree | commitdiff |
| 2019-07-26 |
Ferruccio Guidi | still more additions and corrections for the article |
tree | commitdiff |
| 2019-07-20 |
Ferruccio Guidi | more additions and corrections for the article |
tree | commitdiff |
| 2019-06-15 |
Ferruccio Guidi | some restyling ... |
tree | commitdiff |
| 2019-04-16 |
Ferruccio Guidi | milestone in basic_2 with additions in static_2 |
tree | commitdiff |
| 2019-04-05 |
Ferruccio Guidi | update in ground_2 static_2 basic_2 |
tree | commitdiff |
| 2019-03-25 |
Ferruccio Guidi | milestone in basic_2 |
tree | commitdiff |
| 2019-03-20 |
Ferruccio Guidi | update in ground_2 static_2 basic_2 |
tree | commitdiff |
| 2019-03-04 |
Ferruccio Guidi | first steps towards decidability of the validity predicate |
tree | commitdiff |
| 2018-11-06 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
| 2018-11-05 |
Ferruccio Guidi | update in basic_2, static_2, web site |
tree | commitdiff |
| 2018-09-29 |
Ferruccio Guidi | update in basic_2 and apps_2 |
tree | commitdiff |
| 2018-09-27 |
Ferruccio Guidi | update in basic_2 and static_2 |
tree | commitdiff |
| 2018-09-08 |
Ferruccio Guidi | update in static_2 and basic_2 |
tree | commitdiff |
| 2018-08-07 |
Ferruccio Guidi | commit in ground_2, static_2, basic_2, apps_2 |
tree | commitdiff |
| 2018-07-27 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
| 2018-07-02 |
Ferruccio Guidi | syntactic components detached from basic_2 become static_2 |
tree | commitdiff |
| 2018-06-25 |
Ferruccio Guidi | renaming in basic_2 |
tree | commitdiff |
| 2018-06-09 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
| 2018-05-25 |
Ferruccio Guidi | partial update update in basic_2 |
tree | commitdiff |
| 2018-05-23 |
Ferruccio Guidi | update in ground_2 and basic_2 (partial commit) |
tree | commitdiff |
| 2018-05-11 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
| 2018-05-11 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
| 2018-04-27 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
| 2018-04-16 |
Ferruccio Guidi | update in basic_2 and ground_2 |
tree | commitdiff |
| 2018-03-21 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
| 2018-03-19 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
| 2018-03-16 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
| 2018-03-10 |
Ferruccio Guidi | bugfix update in basic_2 |
tree | commitdiff |
| 2018-03-09 |
Ferruccio Guidi | update in basic_2 + web page |
tree | commitdiff |
| 2018-01-08 |
Ferruccio Guidi | work in progress with voids and lveq (was: the most... |
tree | commitdiff |
| 2017-12-01 |
Ferruccio Guidi | work in progress on a new definition of voids ... |
tree | commitdiff |
| 2017-11-27 |
Ferruccio Guidi | - free variables innclusion (fle) encapsulates some... |
tree | commitdiff |
| 2017-11-24 |
Ferruccio Guidi | - lpx and lpxs restored to prove equivalene between... |
tree | commitdiff |
| 2017-11-17 |
Ferruccio Guidi | - ext2_tc added |
tree | commitdiff |
| 2017-11-14 |
Ferruccio Guidi | - notation change for tdeq and related notions |
tree | commitdiff |
| 2017-11-13 |
Ferruccio Guidi | - lsubsx (replacement of lcosx) completed |
tree | commitdiff |
| 2017-10-23 |
Ferruccio Guidi | - exclusion binder in local environments: |
tree | commitdiff |
| 2017-05-03 |
Ferruccio Guidi | more notation for s-steps |
tree | commitdiff |
| 2017-05-03 |
Ferruccio Guidi | notation for clear |
tree | commitdiff |
| 2017-05-03 |
Ferruccio Guidi | notational change for lexs |
tree | commitdiff |
| 2017-04-14 |
Ferruccio Guidi | - lfpxs based on tc_lfxs |
tree | commitdiff |
| 2017-04-05 |
Ferruccio Guidi | - first prroperties on lfsx proved |
tree | commitdiff |
| 2017-04-03 |
Ferruccio Guidi | - lfsx started ... |
tree | commitdiff |
| 2017-03-14 |
Ferruccio Guidi | - fpbq |
tree | commitdiff |
| 2017-03-13 |
Ferruccio Guidi | - tdeq must imply tsts |
tree | commitdiff |
| 2017-03-06 |
Ferruccio Guidi | - advances on lfxs for lfpxs |
tree | commitdiff |
| 2017-03-05 |
Ferruccio Guidi | advances on cpxs and cnx (cnxa removed) ,,, |
tree | commitdiff |
| 2017-02-20 |
Ferruccio Guidi | csx on the way ... |
tree | commitdiff |
| 2017-02-16 |
Ferruccio Guidi | - cprs and cnx on the way |
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 |
| 2016-10-03 |
Ferruccio Guidi | - basic_2 : restricted refinement for free variables... |
tree | commitdiff |
| 2016-07-26 |
Ferruccio Guidi | bug fix in the context reduction rule for cast (cpm) |
tree | commitdiff |
| 2016-07-01 |
Ferruccio Guidi | first definition of cpm: |
tree | commitdiff |
| 2016-05-24 |
Ferruccio Guidi | more files missing :(( |
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-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-01 |
Ferruccio Guidi | - new component "s_transition" for the restored fqu... |
tree | commitdiff |
| 2016-03-23 |
Ferruccio Guidi | more files to commit .... :( |
tree | commitdiff |
| 2016-02-10 |
Ferruccio Guidi | first commit for lreq ... |
tree | commitdiff |
| 2016-02-10 |
Ferruccio Guidi | - ground_2: update ... |
tree | commitdiff |
| 2016-01-31 |
Ferruccio Guidi | renaming ... |
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-11 |
Ferruccio Guidi | ground_2 milestone: multiple relocation with lists... |
tree | commitdiff |
| 2014-10-26 |
Ferruccio Guidi | - some renaming according to the written version of... |
tree | commitdiff |
| 2014-10-08 |
Ferruccio Guidi | - some consequences of preservation added |
tree | commitdiff |
| 2014-10-04 |
Ferruccio Guidi | - nnAuto: we catch TypeCheckerFailure generated at... |
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-08-31 |
Ferruccio Guidi | - new stand-alone definition of lstas (sta and old... |
tree | commitdiff |
| 2014-08-05 |
Ferruccio Guidi | - basic_2: reaxiomatized snv with improved cpds and... |
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-14 |
Ferruccio Guidi | reorganization of the "static" component: |
tree | commitdiff |
| 2014-06-07 |
Ferruccio Guidi | - advances on free variables allow to reduce lleq_lpx_t... |
tree | commitdiff |
| 2014-06-01 |
Ferruccio Guidi | - advances on hereditarily free variables: now "frees... |
tree | commitdiff |
| 2014-04-25 |
Ferruccio Guidi | - advances in the theory of cofrees |
tree | commitdiff |
| 2014-04-21 |
Ferruccio Guidi | - we introduce recursive free variables of a term in... |
tree | commitdiff |
| 2014-04-20 |
Ferruccio Guidi | - name changes in the rediction rules |
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-13 |
Ferruccio Guidi | we restored the strong normalization of extended comput... |
tree | commitdiff |
| next |
projects / helm.git / history