Searched defs:run (Results 1 - 13 of 13) sorted by relevance

/seL4-l4v-10.1.1/HOL4/tools-poly/poly/
H A DMosml.sml7 fun run cmd args inp = function
/seL4-l4v-10.1.1/l4v/misc/regression/
H A Dcpuusage.py85 def run(self): member in class:Poller
H A Dmemusage.py84 def run(self): member in class:Poller
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dm1-story.lisp117 (defun run (sched s) function
[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/step/
H A Driscv_stepLib.sml207 fun run tm = function
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/
H A DRegexp_Match.sml525 fun run n [] = Vector.sub(vfinal,n) function
H A DRegexp_Type.sml1219 let val (run,rst) = grabRun f (f h) (h::t) [] value
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DHolmake_tools.sml69 fun run s = function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/x64/step/
H A Dx64_stepLib.sml1111 val run = utilsLib.ALL_HYP_CONV_RULE utilsLib.WGROUND_CONV o value
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DBase.sml856 fun run f initialCount = function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/mips/step/
H A Dmips_stepLib.sml1153 val run = eval be value
/seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/holfoot/
H A DholfootLib.sml194 fun run f context t = function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/step/
H A Darm_stepLib.sml4232 val run = eval enc tms value

Completed in 98 milliseconds