source: driver/exec_all.ml

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @2813   7 years sacerdot RTLabs now printed too
(edit) @2805   7 years sacerdot Now also prints the trace for the labelled Clight.
(add) @2804   7 years sacerdot New executable exec_all. It contains a function to run and print all …
Note: See TracRevisionLog for help on using the revision log.