#
source:
extracted
@
2620

Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|

../ | |||||

abstractStatus.ml | 4.1 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

abstractStatus.mli | 1.3 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

arithmetic.ml | 27.1 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

arithmetic.mli | 8.2 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

aSM.ml | 199.9 KB | 2620 | 7 years | Sufficient hacking to run the extracted Clight semantics. | |

aSM.mli | 50.0 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

aSMCosts.ml | 17.6 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

aSMCosts.mli | 2.0 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

aSMCostsSplit.ml | 3.7 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

aSMCostsSplit.mli | 1.4 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

aST.ml | 57.1 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

aST.mli | 20.1 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

bitVector.ml | 2.7 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

bitVector.mli | 1.2 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

bitVectorTrie.ml | 10.5 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

bitVectorTrie.mli | 3.6 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

bitVectorZ.ml | 2.6 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

bitVectorZ.mli | 718 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

bool.ml | 2.5 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

bool.mli | 924 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

build | 129 bytes | 2620 | 7 years | Sufficient hacking to run the extracted Clight semantics. | |

byteValues.ml | 31.4 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

byteValues.mli | 10.1 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

casts.ml | 899 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

casts.mli | 753 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

cexec.ml | 47.5 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

cexec.mli | 3.6 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

cexecInd.ml | 555 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

cexecInd.mli | 555 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

cexecSound.ml | 882 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

cexecSound.mli | 882 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

char.ml | 83 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

char.mli | 57 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

classifyOp.ml | 40.1 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

classifyOp.mli | 18.0 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

cminor_syntax.ml | 41.6 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

cminor_syntax.mli | 19.3 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

compiler.ml | 3.7 KB | 2620 | 7 years | Sufficient hacking to run the extracted Clight semantics. | |

compiler.mli | 2.3 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

coqlib.ml | 363 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

coqlib.mli | 238 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

core_notation.ml | 15 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

core_notation.mli | 15 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

costLabel.ml | 785 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

costLabel.mli | 643 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

csem.ml | 50.2 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

csem.mli | 13.6 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

csyntax.ml | 56.7 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

csyntax.mli | 22.4 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

deqsets.ml | 4.0 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

deqsets.mli | 1.8 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

div_and_mod.ml | 3.4 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

div_and_mod.mli | 1.5 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

division.ml | 7.2 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

division.mli | 1.6 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

errors.ml | 8.7 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

errors.mli | 3.8 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

events.ml | 11.1 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

events.mli | 5.0 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

extra_bool.ml | 463 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

extra_bool.mli | 271 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

extralib.ml | 1.6 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

extralib.mli | 637 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

extranat.ml | 5.1 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

extranat.mli | 2.3 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

fetch.ml | 83.5 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

fetch.mli | 1.9 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

floats.ml | 1.8 KB | 2620 | 7 years | Sufficient hacking to run the extracted Clight semantics. | |

floats.mli | 961 bytes | 2620 | 7 years | Sufficient hacking to run the extracted Clight semantics. | |

foldStuff.ml | 1.6 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

foldStuff.mli | 741 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

fresh.ml | 2.1 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

fresh.mli | 1.2 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

frontend_misc.ml | 4.5 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

frontend_misc.mli | 2.2 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

frontEndMem.ml | 3.0 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

frontEndMem.mli | 1.3 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

frontEndOps.ml | 56.9 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

frontEndOps.mli | 23.4 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

frontEndVal.ml | 4.4 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

frontEndVal.mli | 1.2 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

genMem.ml | 9.9 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

genMem.mli | 4.2 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

globalenvs.ml | 21.9 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

globalenvs.mli | 8.9 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

graphs.ml | 1.2 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

graphs.mli | 883 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

hide.ml | 81 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

hide.mli | 81 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

hints_declaration.ml | 162 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

hints_declaration.mli | 162 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

identifiers.ml | 15.8 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

identifiers.mli | 7.2 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

initialisation.ml | 5.6 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

initialisation.mli | 1.8 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

integers.ml | 9.7 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

integers.mli | 2.9 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

interpret.ml | 242.2 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

interpret.mli | 2.4 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

iO.ml | 6.9 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

iO.mli | 2.7 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

iOMonad.ml | 8.4 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

iOMonad.mli | 3.6 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

jmeq.ml | 3.9 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

jmeq.mli | 1.7 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

label.ml | 26.0 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

label.mli | 2.7 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

labelledObjects.ml | 2.0 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

labelledObjects.mli | 1.1 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

list.ml | 9.0 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

list.mli | 3.8 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

listb.ml | 1.1 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

listb.mli | 478 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

lists.ml | 2.4 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

lists.mli | 964 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

logic.ml | 6.3 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

logic.mli | 2.6 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

memoryInjections.ml | 5.6 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

memoryInjections.mli | 2.9 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

memProperties.ml | 1.3 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

memProperties.mli | 1023 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

monad.ml | 20.2 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

monad.mli | 9.5 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

nat.ml | 3.2 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

nat.mli | 1.2 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

option.ml | 1.0 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

option.mli | 367 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

order.ml | 2.6 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

order.mli | 968 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

pointers.ml | 11.6 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

pointers.mli | 4.7 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

positive.ml | 12.1 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

positive.mli | 3.8 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

positiveMap.ml | 12.7 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

positiveMap.mli | 4.0 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

preamble.ml | 64 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

preIdentifiers.ml | 2.7 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

preIdentifiers.mli | 1.4 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

PROBLEMS | 1.0 KB | 2602 | 7 years | Dead code commented out. | |

proper.ml | 97 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

proper.mli | 97 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

pts.ml | 35 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

pts.mli | 35 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

registers.ml | 745 bytes | 2602 | 7 years | Dead code commented out. | |

registers.mli | 600 bytes | 2602 | 7 years | Dead code commented out. | |

relations.ml | 324 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

relations.mli | 286 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

rTLabs_syntax.ml | 30.3 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

rTLabs_syntax.mli | 18.1 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

russell.ml | 104 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

russell.mli | 104 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

setoids.ml | 2.4 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

setoids.mli | 1.2 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

sets.ml | 81 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

sets.mli | 81 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

simplifyCasts.ml | 28.4 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

simplifyCasts.mli | 4.0 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

smallstep.ml | 16.8 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

smallstep.mli | 7.9 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

smallstepExec.ml | 18.8 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

smallstepExec.mli | 9.6 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

star.ml | 97 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

star.mli | 97 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

status.ml | 251.8 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

status.mli | 17.0 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

statusProofs.ml | 606 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

statusProofs.mli | 606 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

string.ml | 223 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

string.mli | 224 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

structuredTraces.ml | 61.5 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

structuredTraces.mli | 28.3 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

switchRemoval.ml | 23.3 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

switchRemoval.mli | 7.5 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

toCminor.ml | 91.9 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

toCminor.mli | 15.3 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

toRTLabs.ml | 54.5 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

toRTLabs.mli | 22.1 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

typeComparison.ml | 7.9 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

typeComparison.mli | 1.1 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

types.ml | 14.0 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

types.mli | 5.9 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

util.ml | 19.5 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

util.mli | 5.5 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

utilBranch.ml | 422 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

utilBranch.mli | 337 bytes | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

values.ml | 14.0 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

values.mli | 3.4 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

vector.ml | 14.9 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

vector.mli | 5.0 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

z.ml | 7.6 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … | |

z.mli | 2.0 KB | 2601 | 7 years | Extraction to ocaml is now working, with a couple of bugs left. One … |

**Note:**See TracBrowser for help on using the repository browser.