source: src/ERTL @ 1151

Name Size Rev Age Author Last Change
../
uses.ma 535 bytes 1127   10 years mulligan interference graphs axiomatised, more added to ertl
spill.ma 240 bytes 1128   10 years mulligan fixed ERTLtoLTLI so it type checks again
ERTL.ma 2.8 KB 1138   10 years mulligan merged ertl_st_opaccs_a and ertl_st_opaccs_b into each other
ERTLToLTLI.ma 15.9 KB 1138   10 years mulligan merged ertl_st_opaccs_a and ertl_st_opaccs_b into each other
build.ma 1.3 KB 1144   10 years mulligan added build.ma file. matita bug found
ERTLToLTL.ma 3.7 KB 1144   10 years mulligan added build.ma file. matita bug found
liveness.ma 11.3 KB 1144   10 years mulligan added build.ma file. matita bug found
semantics.ma 14.4 KB 1151   10 years sacerdot Only new_/del_frame and framesize left.
Note: See TracBrowser for help on using the repository browser.