source: driver @ 3018

Name Size Rev Age Author Last Change
../
tests 2998   8 years sacerdot Test on conditional execution. Fails atm.
acc.ml 3.0 KB 3015   8 years sacerdot Comment removed
ASMPrinter.ml 223 bytes 2999   8 years sacerdot code_memory added to labelled_object_code to avoid recomputing it …
ASMPrinter.mli 131 bytes 2999   8 years sacerdot code_memory added to labelled_object_code to avoid recomputing it …
build 894 bytes 3005   8 years sacerdot Beginning of making it fully compatible with untrusted one.
clightFromC.ml 31.8 KB 2790   8 years campbell Some null handling in conversion from CIL.
clightParser.ml 1.7 KB 3013   8 years sacerdot Temporary parsing files removed.
clightParser.mli 373 bytes 2620   8 years campbell Sufficient hacking to run the extracted Clight semantics.
clightPrinter.ml 22.2 KB 2792   8 years campbell Make instrumented output a little easier to read.
clightPrinter.mli 825 bytes 2787   8 years campbell Output stack costs in driver.
error.ml 3.0 KB 2960   8 years sacerdot New extraction, it diverges in RTL execution now.
IntelHex.ml 9.7 KB 2780   8 years sacerdot Bug fixed: in BitVector?.ma the functions bv_to_nat and nat_to_bv were …
IntelHex.mli 267 bytes 2856   8 years sacerdot Pretty printing of LTL almost finished.
options.ml 5.3 KB 3005   8 years sacerdot Beginning of making it fully compatible with untrusted one.
options.mli 2.1 KB 3005   8 years sacerdot Beginning of making it fully compatible with untrusted one.
optionsParsing.ml 356 bytes 3005   8 years sacerdot Beginning of making it fully compatible with untrusted one.
printer.ml 10.1 KB 3014   8 years tranquil ERTL to ERTLptr pass suppressed (it introduced a bug in the later …
printer.mli 87 bytes 2993   8 years sacerdot 1. performance improved: the type inference was inferring …
rTLabsPrinter.ml 9.9 KB 3014   8 years tranquil ERTL to ERTLptr pass suppressed (it introduced a bug in the later …
rTLabsPrinter.mli 205 bytes 3000   8 years tranquil added RTLabs printer
Note: See TracBrowser for help on using the repository browser.