Changeset 2875 for driver/cerco.ml


Ignore:
Timestamp:
Mar 15, 2013, 1:32:50 AM (8 years ago)
Author:
sacerdot
Message:

Pretty printing of object code integrated too.
A couple of axioms make execution via the preclassified_system
raise assert false.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • driver/cerco.ml

    r2874 r2875  
    2929 | Extracted.Compiler.Ltl_pass                   -> "Ltl_pass"
    3030 | Extracted.Compiler.Lin_pass                   -> "Lin_pass"
     31 | Extracted.Compiler.Assembly_pass              -> "Assembly_pass"
     32 | Extracted.Compiler.Object_code_pass           -> "Object_code_pass"
    3133;;
    3234
Note: See TracChangeset for help on using the changeset viewer.