Searched defs:start (Results 1 - 25 of 68) sorted by path

123

/seL4-l4v-master/HOL4/Manual/Guide/
H A Dguide.tex
/seL4-l4v-master/HOL4/examples/ARM/v4/
H A Darm_evalLib.sml519 val start = Arbnum.zero; value
[all...]
/seL4-l4v-master/HOL4/examples/ARM/v4/mlton/
H A DevalML.sml260 val start = Arbnum.zero; value
/seL4-l4v-master/HOL4/examples/ARM/v7/
H A DarmLib.sml226 val start = fromHexString s value
/seL4-l4v-master/HOL4/examples/acl2/examples/
H A DtestEncode.sml238 val start = Time.now() value
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A DtranslateScript.sml262 let val start = Time.now(); value
271 let val start = Time.now(); value
/seL4-l4v-master/HOL4/examples/l3-machine-code/common/
H A DImport.sig133 val start : string -> unit value
H A DImport.sml24 fun start thy = function
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/calculator/
H A Dslist.h160 ite(const ite &start) { next=start.next;} argument
161 ite(voidSListElem *start) { next=start; } argument
163 ite &operator=(const ite &start) { next=start.next; return *this; } argument
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/
H A Dkernel.c392 int start = bddvarnum; local
H A Dreorder.c83 int start; /* Start of this sub-table (entry in "bddnodes") */ member in struct:_levelData
[all...]
/seL4-l4v-master/HOL4/polyml/basis/
H A DTopLevelPolyML.sml1617 val (start, _) = inputN(inStream, 2) value
H A DPosix.sml350 val start : flock -> Position.int value
414 val start : int value
1385 val start : flock -> Position.int = #3 value
1467 and start = SysWord.toInt(getConst 81) value
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dgc_copy_phase.cpp116 uintptr_t start = dst->start[truncated_n]; local
[all...]
H A Delfexport.cpp674 char *start = (char*)memTable[i].mtOriginalAddr; local
/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/
H A DDialog.sml229 val start = !ptr value
323 val start = !ptr value
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DProof.C109 void Proof::beginChain(ClauseId start) argument
/seL4-l4v-master/HOL4/src/finite_maps/
H A Dalist_treeLib.sml251 val start = Portable.timestamp () value
/seL4-l4v-master/HOL4/src/integer/
H A DCooperShell.sml423 val start = (v, Arbint.min(Binarymap.find(final_map, v)) value
/seL4-l4v-master/HOL4/src/portableML/poly/concurrent/
H A DTask_Queue.sml137 val start = Time.now (); value
/seL4-l4v-master/HOL4/src/proofman/
H A DgoalStack.sml369 fun start() = function
/seL4-l4v-master/HOL4/tools-poly/poly/
H A DHelp.sml176 let val start = max(0, min(lines - amount + 1, first)) value
/seL4-l4v-master/HOL4/tools/mlyacc/src/
H A Dyacc.sml461 val start = value
748 val start = value
[all...]
/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DSpline.java63 Point start,end; field in class:Spline
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DSpline.java63 Point start,end; field in class:Spline

Completed in 184 milliseconds

123