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/LTL/LTLPrinter.ml

    r1572 r1580  
    7878      (print_statement stmt)
    7979      s in
    80   LTLUtilities.dfs_fold f c entry ""
     80  let module  U = GraphUtilities.Util(LTLGraph) in
     81  U.dfs_fold f c entry ""
    8182  (* Label.Map.fold f c "" *)
    8283
Note: See TracChangeset for help on using the changeset viewer.