source: driver @ 2998

Name Size Rev Age Author Last Change
../
tests 2998   7 years sacerdot Test on conditional execution. Fails atm.
ASMPrinter.ml 271 bytes 2778   7 years sacerdot Code to pretty-print the IntelHex? output. At the moment the glue code …
ASMPrinter.mli 122 bytes 2778   7 years sacerdot Code to pretty-print the IntelHex? output. At the moment the glue code …
build 728 bytes 2901   7 years sacerdot 1. backendPrinter renamed to printer 2. Clight printing branched into …
cerco.ml 3.4 KB 2993   7 years sacerdot 1. performance improved: the type inference was inferring …
clightFromC.ml 31.8 KB 2790   7 years campbell Some null handling in conversion from CIL.
clightParser.ml 1.8 KB 2620   7 years campbell Sufficient hacking to run the extracted Clight semantics.
clightParser.mli 373 bytes 2620   7 years campbell Sufficient hacking to run the extracted Clight semantics.
clightPrinter.ml 22.2 KB 2792   7 years campbell Make instrumented output a little easier to read.
clightPrinter.mli 825 bytes 2787   7 years campbell Output stack costs in driver.
error.ml 3.0 KB 2960   7 years sacerdot New extraction, it diverges in RTL execution now.
IntelHex.ml 9.7 KB 2780   7 years sacerdot Bug fixed: in BitVector?.ma the functions bv_to_nat and nat_to_bv were …
IntelHex.mli 267 bytes 2856   7 years sacerdot Pretty printing of LTL almost finished.
printer.ml 11.1 KB 2993   7 years sacerdot 1. performance improved: the type inference was inferring …
printer.mli 87 bytes 2993   7 years sacerdot 1. performance improved: the type inference was inferring …
Note: See TracBrowser for help on using the repository browser.