Searched defs:compile (Results 1 - 14 of 14) sorted by relevance

/seL4-l4v-master/HOL4/polyml/
H A Dpolyc.in37 compile() function
/seL4-l4v-master/HOL4/examples/machine-code/compiler/
H A DcompilerLib.sig20 val compile : string -> term -> thm * thm * thm value
H A DcompilerLib.sml115 fun compile target tm = let function
H A DcodegenLib.sml453 fun compile (FUN_VAL tm) = function
[all...]
/seL4-l4v-master/HOL4/examples/dev/sw2/
H A Dcompiler.sml62 let fun compile (env,[]) = PASS(rev env) function
152 let fun compile (env,[]) = PASS(rev env) function
/seL4-l4v-master/HOL4/tools/Holmake/mosml/
H A DBuildCommand.sml50 fun compile debug args = let function
/seL4-l4v-master/HOL4/tools/
H A Dconfigure.sml285 fun compile opts s = function
[all...]
/seL4-l4v-master/HOL4/Manual/Tools/
H A Dpolyscripter.sml323 fun compile exnhandle input = function
[all...]
/seL4-l4v-master/HOL4/examples/acl2/tests/inputs/
H A Dm1-story.lisp596 (defun compile (formals stmt-list) function
[all...]
/seL4-l4v-master/HOL4/examples/dev/
H A Dcompile.sig6 signature compile = signature
H A Dcompile.sml6 structure compile :> compile = structure
/seL4-l4v-master/HOL4/examples/machine-code/x64_compiler/
H A Dx64_codegenLib.sml321 fun compile (FUN_VAL tm) = function
[all...]
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml824 fun compile [] match2 = match2 function
/seL4-l4v-master/HOL4/src/pattern_matches/
H A DpatternMatchesLib.sml2424 fun compile (thm, cols, lbl) = let function

Completed in 243 milliseconds