Ignore:
Timestamp:
Oct 21, 2011, 2:02:41 PM (8 years ago)
Author:
tranquil
Message:
  • added infrastructure to add same-language transformations along the compilation chain from command line options
  • started work on cost expression semplification
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051-indexed-labels-branch/src/dev_test.ml

    r818 r1433  
    1717    let p = Languages.add_runtime p in
    1818    let p = Languages.labelize p in
    19     let ps = Languages.compile false Languages.Clight target p in
     19    let ps = Languages.compile false [] Languages.Clight target p in
    2020    let f f' p = match Languages.language_of_ast p with
    2121      | l when l = target -> f' p
Note: See TracChangeset for help on using the changeset viewer.