Changeset 2854 for driver


Ignore:
Timestamp:
Mar 12, 2013, 5:53:56 PM (7 years ago)
Author:
sacerdot
Message:

Pretty printing of the LTL program.

Location:
driver
Files:
2 added
2 edited

Legend:

Unmodified
Added
Removed
  • driver/build

    r2834 r2854  
    1212ocamlc -I ../Deliverables/D2.2/8051/lib -c -g error.ml
    1313ocamlc -I ../Deliverables/D2.2/8051/lib -c -g *.ml
    14 ocamlc -custom -g -I ../Deliverables/D2.2/8051/lib extracted.cmo  ../Deliverables/D2.2/8051/lib/libcparser.a ../Deliverables/D2.2/8051/lib/cparser.cma clightFromC.cmo clightParser.cmo clightPrinter.cmo IntelHex.cmo ASMPrinter.cmo error.cmo cerco.cmo -o cerco
     14ocamlc -custom -g -I ../Deliverables/D2.2/8051/lib extracted.cmo  ../Deliverables/D2.2/8051/lib/libcparser.a ../Deliverables/D2.2/8051/lib/cparser.cma clightFromC.cmo clightParser.cmo clightPrinter.cmo backendPrinter.cmo IntelHex.cmo ASMPrinter.cmo error.cmo cerco.cmo -o cerco
  • driver/cerco.ml

    r2834 r2854  
    4242  let rec infinity = Extracted.Nat.S infinity in
    4343  (fun pass prog ->
     44    if pass = Extracted.Compiler.Ltl_pass then
     45     print_string (BackendPrinter.print_LTL_program (fst (Obj.magic prog)));
    4446    Extracted.Semantics.run_and_print pass prog infinity
    4547     (fun p -> print_endline ("\n" ^ string_of_pass p ^ ":"); Extracted.Types.It)
Note: See TracChangeset for help on using the changeset viewer.