Searched defs:hash (Results 1 - 20 of 20) sorted by path

/seL4-l4v-10.1.1/HOL4/examples/muddy/
H A Dbdd.sig20 val hash : bdd -> int value
H A Dbdd.sml69 val hash = root value
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbddio.c568 int hash = key % lh_nodenum; local
582 int hash = lh_table[key % lh_nodenum].first; local
[all...]
H A Dkernel.c1015 register unsigned int hash; local
1067 register unsigned int hash; local
1258 register unsigned int hash; local
[all...]
H A Dkernel.h85 int hash; member in struct:s_BddNode
H A Dreorder.c938 register unsigned int hash; local
999 register unsigned int hash; local
1022 register unsigned int hash; local
1180 int f00, f01, f10, f11, hash; local
1243 int hash = n+vl1; local
1345 int hash = n+vl1; local
1389 int hash = NODEHASH(VARp(node), LOWp(node), HIGHp(node)); local
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DOS.sml54 val hash : file_id -> word value
111 val hash : iodesc -> word value
876 fun hash(INODE i) = function
929 fun hash (i: iodesc) : word = function
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dgc_share_phase.cpp414 unsigned char hash = 0; local
477 unsigned char hash = 0; local
[all...]
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DSolverTypes.h57 uint hash() const { return (uint)x; } function in class:Lit
/seL4-l4v-10.1.1/HOL4/src/integer/
H A DOmegaMLShadow.sml91 fun hash (v : Arbint.int Vector.vector) : Arbint.int = function
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibModel.sml249 val hash = mlibPortable.md5 mesg value
H A DmlibOmegaint.sig41 val hash : int -> Int.int value
H A DmlibOmegaint.sml11 val hash = Polyhash.hash value
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DPortable.sig145 val hash : int -> string -> int * int -> int value
H A DPortable.sml518 fun hash size = function
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DMLSYSPortable.sml25 val hash = MD5.final mstate value
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DLib.sig72 val hash : int -> string -> int * int -> int value
/seL4-l4v-10.1.1/HOL4/tools-poly/poly/redirects/
H A DmlibOmegaint.sml39 fun hash n = IntInf.toInt n function
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dbasis2002.sml560 val hash : file_id -> word value
/seL4-l4v-10.1.1/seL4/src/machine/
H A Dprofiler.c147 word_t hash = (pc >> 2) % MAX_UNIQUE_INSTRUCTIONS; local

Completed in 141 milliseconds