source: src/ERTL/ERTLToLTLI.ma

Revision Log Mode:


Legend:

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