Ignore:
Timestamp:
Dec 1, 2011, 2:50:27 PM (9 years ago)
Author:
tranquil
Message:

implemented constant propagation in LTL
cleaned up translations in optimizations, a new module for translations is available

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/RTLabs/RTLabsPrinter.ml

    r1572 r1580  
    258258  let f' lbl stmt (reach, s) =
    259259    (Label.Set.add lbl reach, f lbl stmt s) in
     260  let module U = GraphUtilities.Util(RTLabsGraph) in
    260261  let (reachable, str) =
    261     RTLabsUtilities.dfs_fold f' c entry (Label.Set.empty, "") in
     262    U.dfs_fold f' c entry (Label.Set.empty, "") in
    262263  let filter lbl _ = not (Label.Set.mem lbl reachable) in
    263264  let c_rest = Label.Map.filter filter c in
Note: See TracChangeset for help on using the changeset viewer.