Searched defs:base (Results 26 - 50 of 114) sorted by relevance

12345

/seL4-l4v-master/HOL4/src/finite_maps/
H A DflookupLib.sml119 val base = get_b rest value
244 val (base, ups) = finite_mapSyntax.strip_fupdate fm value
[all...]
/seL4-l4v-master/HOL4/tools/trailing-wspace/
H A Dtrailingwspace.sml102 val {base, ext} = OS.Path.splitBaseExt fname value
/seL4-l4v-master/HOL4/developers/
H A Dcomparelogs.sml132 val base = hd args value
/seL4-l4v-master/HOL4/help/src-sml/
H A DHOLPage.sml33 val {base,ext} = splitBaseExt file value
H A Dmakebase.sml33 val {base,ext} = splitBaseExt file value
/seL4-l4v-master/HOL4/polyml/basis/
H A DInt.sml138 val (base, maxShort, shortChars) = baseOf radix value
210 val (base, _, _) = baseOf radix value
H A DPrimIO.sml548 val (base, di, len) = ArraySlice.base slice value
H A DVector.sml293 fun base(Slice{vector, start, length}) = (vector, start, length) function
H A DLargeWord.sml46 val base: LargeInt.int = value
H A DStringSignatures.sml113 val base : substring -> (string * int * int) value
/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/x86/
H A Dx86_encodeLib.sml51 val base = SOME ((snd o hd o filter (fn (x,y) => x = 1)) ks) handle e => NONE value
[all...]
/seL4-l4v-master/HOL4/src/AI/sml_inspection/
H A DsmlOpen.sml36 val base = fst (split_string "Script." script) value
/seL4-l4v-master/seL4/include/arch/x86/arch/64/mode/
H A Dmachine.h248 static inline void x86_write_fs_base_impl(word_t base) argument
255 word_t base = 0; local
294 static inline void x86_write_gs_base_impl(word_t base) argument
306 static inline void x86_write_gs_base_impl(word_t base) argument
313 word_t base = 0; local
320 x86_write_gs_base_impl(word_t base) argument
[all...]
/seL4-l4v-master/HOL4/tools/unicode-grep/
H A Dugrep.sml182 val {base,ext} = OS.Path.splitBaseExt fname value
208 val {base,ext} = OS.Path.splitBaseExt fname value
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dmachoexport.cpp144 void MachoExport::ScanConstant(PolyObject *base, byte *addr, ScanRelocationKind code) argument
H A Dpecoffexport.cpp154 void PECOFFExport::ScanConstant(PolyObject *base, byte *addr, ScanRelocationKind code) argument
H A Dobjsize.cpp276 PolyObject *ProcessVisitAddresses::ScanObjectAddress(PolyObject *base) argument
H A Dio_internal.h91 virtual size_t readStream(TaskData *taskData, byte *base, size_t length) { argument
106 virtual size_t writeStream(TaskData *taskData, byte *base, size_t length) { argument
H A Dquick_gc.cpp116 virtual PolyObject *ScanObjectAddress(PolyObject *base) { return base; } argument
117 virtual void ScanAddressesInObject(PolyObject *base, POLYUNSIGNED lengthWord) argument
409 PolyObject *QuickGCScanner::ScanObjectAddress(PolyObject *base) argument
/seL4-l4v-master/HOL4/src/list/src/
H A DlistSimps.sml365 val base = reduceLib.num_compset() value
/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DArrayVector.sml178 val base: slice -> vector * FixedInt.int * FixedInt.int value
202 val base = fn s => let val (a, i, j) = base s in (a, FixedInt.toInt i, FixedInt.toInt j) end value
224 val base = fn s => let val (a, i, j) = base s in (a, FixedInt.toInt i, FixedInt.toInt j) end value
253 val base: slice -> array * FixedInt.int * FixedInt.int value
281 val base = fn s => let val (a, i, j) = base s in (a, FixedInt.toInt i, FixedInt.toInt j) end value
306 val base = fn s => let val (a, i, j) = base value
[all...]
/seL4-l4v-master/HOL4/src/simp/src/
H A DCond_rewr.sml306 val base = value
H A DcongLib.sml307 fun base thl (asms, gl) = let function
/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/x86_64/
H A Dx64_encodeLib.sml51 val base = SOME ((snd o hd o filter (fn (x,y) => x = 1)) ks) handle e => NONE value
[all...]
/seL4-l4v-master/HOL4/examples/formal-languages/regular/
H A DRegexp_Numerics.sml397 val base = And(EVEN dir, num_interval dir w (2*lo, 2*hi)) value

Completed in 168 milliseconds

12345