matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 14 Aug 2018 18:31:06 +0000 (20:31 +0200)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 14 Aug 2018 18:34:54 +0000 (20:34 +0200)
commit	50a9ed8c6207145fccf59e6a5dbbff935cd2c6d7
tree	2c0867c482119643adef26b34d89853af3854be3	tree \| snapshot
parent	d71e53021b0c17e1a00c2d623e7139c6d18069d5	commit \| diff

severe bug found in parallel zeta

the transition was not parallel, now it is.

+ partial commit: component "rt_transition" corrected and minor bugs ficed
+ some additions in static_2 to support the correction

21 files changed:

matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm_tdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_req.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpr_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_rdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_tdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_computation/fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/fsle_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rdeq_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/req_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/web/static_2_src.tbl		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom