Searched defs:cache (Results 1 - 25 of 26) sorted by relevance

12

/seL4-l4v-master/HOL4/src/simp/src/
H A DCache.sig37 type cache type
H A DCache.sml14 type cache = table Sref.t type
38 val cache = new_cache() value
268 val cache = new_cache() value
[all...]
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/
H A Dcache.c45 int BddCache_init(BddCache *cache, int size) argument
62 void BddCache_done(BddCache *cache) argument
70 BddCache_resize(BddCache *cache, int newsize) argument
89 BddCache_reset(BddCache *cache) argument
[all...]
/seL4-l4v-master/HOL4/src/bag/
H A DbagSimps.sig4 type cache = Cache.cache type
H A DbagLib.sig4 type cache = Cache.cache type
H A DbagSimps.sml6 type cache = Cache.cache; type
/seL4-l4v-master/HOL4/src/meson/src/
H A DmesonLib.sig16 val cache : bool ref value
H A DmesonLib.sml99 val cache = ref true;; (* Cache continuations *) value
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DSharing.sig37 val cache : ('a * 'a -> order) -> ('a -> 'b) -> 'a -> 'b value
H A DSharing.sml136 fun cache cmp f = function
138 val cache = ref (Map.new cmp) value
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DSharing.sig37 val cache : ('a * 'a -> order) -> ('a -> 'b) -> 'a -> 'b value
H A DSharing.sml136 fun cache cmp f = function
138 val cache = ref (Map.new cmp) value
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/calculator/
H A Dparser.y186 cache: label
/seL4-l4v-master/HOL4/src/AI/proof_search/
H A DpsTermGen.sml87 let val cache = ref (dempty (cpl_compare Int.compare Type.compare)) in value
92 let val cache = ref (dempty (cpl_compare Int.compare Type.compare)) in value
97 let val cache = ref (dempty (cpl_compare Int.compare Type.compare)) in value
138 val cache = ref (dnew Int.compare [(1,d)]) value
[all...]
/seL4-l4v-master/HOL4/examples/elliptic/
H A DsubtypeTools.sml90 type cache = (term,thm) Binarymap.dict ref; type
H A DUseful.sml792 val cache = ref (Binarymap.mkDict cmp) value
/seL4-l4v-master/HOL4/examples/l3-machine-code/common/
H A DutilsLib.sig52 val cache: int -> ('a * 'a -> order) -> ('a -> 'b) -> 'a -> 'b value
H A DutilsLib.sml20 fun cache size cmp f = function
/seL4-l4v-master/HOL4/examples/PSL/regexp/
H A DregexpTools.sml56 fun cache order f = function
58 val cache = ref (Binarymap.mkDict order) value
/seL4-l4v-master/HOL4/examples/machine-code/hoare-triple/
H A DhelperLib.sig29 val cache : (string -> 'a) -> string -> 'a value
H A DhelperLib.sml64 fun cache (f:string->'a) = let function
/seL4-l4v-master/HOL4/examples/l3-machine-code/x64/step/
H A Dx64_stepLib.sml1127 val cache = value
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/
H A DTYPEIDCODE.sml1334 val { cache, mkAddr, level=decLevel, ...} = cacheEntry value
[all...]
/seL4-l4v-master/HOL4/src/1/
H A DConseqConv.sml1914 val cache = mk_DEPTH_CONSEQ_CONV_CACHE () value
[all...]
/seL4-l4v-master/HOL4/src/real/
H A DRealArith.sml1290 val cache = Uref.new [] value

Completed in 360 milliseconds

12