source:
driver
@
3052
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
tests | 3052 | 7 years | … | ||
acc.ml | 3.4 KB | 3027 | 7 years | Another output used by the plug-in. | |
ASMPrinter.ml | 223 bytes | 2999 | 7 years | code_memory added to labelled_object_code to avoid recomputing it … | |
ASMPrinter.mli | 131 bytes | 2999 | 7 years | code_memory added to labelled_object_code to avoid recomputing it … | |
build | 894 bytes | 3005 | 7 years | Beginning of making it fully compatible with untrusted one. | |
clightFromC.ml | 31.8 KB | 2790 | 7 years | Some null handling in conversion from CIL. | |
clightParser.ml | 1.7 KB | 3013 | 7 years | Temporary parsing files removed. | |
clightParser.mli | 373 bytes | 2620 | 7 years | Sufficient hacking to run the extracted Clight semantics. | |
clightPrinter.ml | 22.2 KB | 3038 | 7 years | Bug fixed: the stack_cost* variables must be declared before the … | |
clightPrinter.mli | 825 bytes | 2787 | 7 years | Output stack costs in driver. | |
error.ml | 3.0 KB | 2960 | 7 years | New extraction, it diverges in RTL execution now. | |
IntelHex.ml | 9.7 KB | 2780 | 7 years | Bug fixed: in BitVector?.ma the functions bv_to_nat and nat_to_bv were … | |
IntelHex.mli | 267 bytes | 2856 | 7 years | Pretty printing of LTL almost finished. | |
options.ml | 5.4 KB | 3020 | 7 years | - Options not used removed from the help/interface. - More compliance … | |
options.mli | 2.1 KB | 3020 | 7 years | - Options not used removed from the help/interface. - More compliance … | |
optionsParsing.ml | 356 bytes | 3005 | 7 years | Beginning of making it fully compatible with untrusted one. | |
printer.ml | 10.1 KB | 3043 | 7 years | New major extraction that should have solved all remaining issues. As … | |
printer.mli | 87 bytes | 2993 | 7 years | 1. performance improved: the type inference was inferring … | |
rTLabsPrinter.ml | 9.9 KB | 3014 | 7 years | ERTL to ERTLptr pass suppressed (it introduced a bug in the later … | |
rTLabsPrinter.mli | 205 bytes | 3000 | 7 years | added RTLabs printer |
Note: See TracBrowser
for help on using the repository browser.