Changeset 2804 for driver


Ignore:
Timestamp:
Mar 7, 2013, 1:55:14 PM (8 years ago)
Author:
sacerdot
Message:

New executable exec_all. It contains a function to run and print all the
observables of a measurable program, given the program and its
pre_classified_system.

At the moment the executable runs the Clight program in input.

Location:
driver
Files:
1 added
1 edited

Legend:

Unmodified
Added
Removed

  • driver/build

    r2789 r2804  
    1414ocamlc -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 error.cmo exec.cmo -o exec
    1515ocamlc -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 error.cmo frontend.cmo -o frontend
     16ocamlc -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 error.cmo exec_all.cmo -o exec_all
    1617ocamlc -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
Note: See TracChangeset for help on using the changeset viewer.