source: src/RTL/RTLTailcall.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @1282   9 years sacerdot Cosmetic change: names of joint statements/instructions shortened and …
(edit) @1275   9 years sacerdot RTL ported to joint syntax, but: 1. bug discovered: opaccs should …
(edit) @1270   9 years sacerdot Making RTL syntax an instance of Joint.
(edit) @1240   9 years sacerdot Ported to common definitions.
(edit) @1081   9 years mulligan completed rtl-ertl pass
(edit) @1080   9 years mulligan more added
(add) @784   10 years mulligan Added missing tailcall simplification file.
Note: See TracRevisionLog for help on using the revision log.