source: src/ERTL/ERTLToLTLI.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @1138   10 years mulligan merged ertl_st_opaccs_a and ertl_st_opaccs_b into each other
(edit) @1136   10 years mulligan fixed ertl pass
(edit) @1131   10 years mulligan changes to syntax of ertl: removed ertl_st_addr_l and ertl_st_addr_h …
(edit) @1128   10 years mulligan fixed ERTLtoLTLI so it type checks again
(edit) @1108   10 years mulligan changes to get ertltoltli to compile
(edit) @1084   10 years mulligan more added on ertl pass: not sure how much should be axiomatised wrt …
(edit) @1083   10 years mulligan ertl --> ltl statement generation nearly complete. required some …
(add) @1082   10 years mulligan work from today on ertl -> ltl pass
Note: See TracRevisionLog for help on using the revision log.