source: driver/printer.ml

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @3043   7 years sacerdot New major extraction that should have solved all remaining issues. As …
(edit) @3014   7 years tranquil ERTL to ERTLptr pass suppressed (it introduced a bug in the later …
(edit) @3002   7 years tranquil fixed previous commit
(edit) @3000   7 years tranquil added RTLabs printer
(edit) @2999   7 years sacerdot code_memory added to labelled_object_code to avoid recomputing it …
(edit) @2993   7 years sacerdot 1. performance improved: the type inference was inferring …
(edit) @2982   7 years sacerdot Pretty priting of LIN implemented.
(copy) @2901   7 years sacerdot 1. backendPrinter renamed to printer 2. Clight printing branched into …
copied from driver/backendPrinter.ml:
(edit) @2875   7 years sacerdot Pretty printing of object code integrated too. A couple of axioms make …
Note: See TracRevisionLog for help on using the revision log.