source: driver/cerco.ml

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(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) @2964   7 years sacerdot Debugging code removed.
(edit) @2960   7 years sacerdot New extraction, it diverges in RTL execution now.
(edit) @2934   7 years sacerdot Patch to obtain more easily comparable traces.
(edit) @2901   7 years sacerdot 1. backendPrinter renamed to printer 2. Clight printing branched into …
(edit) @2900   7 years sacerdot Flushing to understand where it is slow.
(edit) @2875   7 years sacerdot Pretty printing of object code integrated too. A couple of axioms make …
(edit) @2874   7 years sacerdot Syntax fixed: ./cerco [-exec] filename annotationoption
(edit) @2864   7 years sacerdot I must have drunk yesterday: all RTL passes are printed correctly; the …
(edit) @2860   7 years sacerdot RTL printing, core dumps ATM
(edit) @2854   7 years sacerdot Pretty printing of the LTL program.
(edit) @2834   7 years sacerdot Execution integrated in the compiler, as it was in the prototype. …
(edit) @2791   7 years campbell Remove dead code in driver.
(copy) @2789   7 years campbell Some changes to the driver to aid debugging.
copied from driver/compiler.ml:
(edit) @2788   7 years campbell Report compiler error
Note: See TracRevisionLog for help on using the revision log.