Searched defs:current (Results 1 - 22 of 22) sorted by relevance

/seL4-l4v-master/HOL4/src/parse/
H A Dqbuf.sig8 val current : 'a qbuf -> 'a base_tokens.base_token locn.located value
H A Dqbuf.sml87 fun current r = case !r of (_, (x,_), _, _) => x function
/seL4-l4v-master/HOL4/src/postkernel/
H A DTheoryGraph.sig17 val current : unit -> t value
H A DTheoryGraph.sml98 fun current () = function
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/fdd/
H A Dstatespace.cxx64 bdd current = fdd_ithvar(0,i); local
/seL4-l4v-master/HOL4/examples/acl2/lisp/
H A Duntranslate-file.lisp
H A Da2ml.lisp
/seL4-l4v-master/l4v/tools/autocorres/experiments/alloc-proof/
H A Dalloc_lite.c87 struct mem_node *current = prev->next; local
156 struct mem_node *current = prev->next; local
[all...]
/seL4-l4v-master/l4v/tools/autocorres/tests/examples/
H A Dalloc.c69 struct mem_node *current = prev->next; local
129 struct mem_node *current = prev->next; local
[all...]
/seL4-l4v-master/HOL4/tools/Holmake/
H A Dparse_glob.sml10 fun current(s,i) = SOME(String.sub(s,i)) handle Subscript => NONE function
H A DHoldep_tokens.sml21 fun current (CR {current = c, ...}) = c function
/seL4-l4v-master/seL4/src/kernel/
H A Dsporadic.c52 word_t current = sc->scRefillHead; local
67 word_t current = sc->scRefillHead; local
102 word_t current = sc->scRefillHead; local
[all...]
/seL4-l4v-master/seL4/src/machine/
H A Dcapdl.c113 word_t current = sc->scRefillHead; local
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dgc_mark_phase.cpp154 struct { PolyObject *base; PolyWord *current; } largeObjectCache[LARGECACHE_SIZE]; member in struct:MTGCProcessMarkPointers::__anon1
H A Dwinbasicio.cpp1107 uint64_t current = stream->getPos(taskData); local
H A Dinterpret.cpp2094 int current = getrounding(); local
H A Dprocesses.cpp719 uintptr_t current = taskData->currentStackSpace(); // Current size in words local
[all...]
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/zc2hs/
H A Dzc2hs.cpp505 Proof* current = &P; local
/seL4-l4v-master/HOL4/Manual/Tools/
H A Dpolyscripter.sml33 fun current (LB {currentOpt, ...}) = !currentOpt function
/seL4-l4v-master/HOL4/src/experimental-kernel/
H A DTerm.sml511 fun current (FVI r) = #current r function
[all...]
/seL4-l4v-master/HOL4/examples/machine-code/decompiler/
H A DdecompilerLib.sml49 val current = !user_defined_modifier value
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A DpolytypicLib.sml2792 let val current = strip_conj (concl main) value

Completed in 167 milliseconds