Searched defs:found (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Dbinary_search.c19 unsigned found = 0; local
/seL4-l4v-10.1.1/HOL4/src/1/
H A Dmatch_goal.sml8 exception found exception
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DForeignMemory.sml202 val (found, newList) = findFree(space, !freeList) value
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dfdd.c840 int found=0; local
858 int found=0; local
/seL4-l4v-10.1.1/HOL4/examples/ARM_security_properties/
H A DARM_proverLib.sml133 val found = find_mode_update (List.nth(d1,1)) value
/seL4-l4v-10.1.1/HOL4/src/pattern_matches/
H A DpatternMatchesSyntax.sml180 val found = List.exists (fn l1 => List.exists (fn l2 => (l1 = l2)) lbls) lbls_found value
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DpolytypicLib.sml3182 let val (found,notfound) = mappartition (fn t => (get_type t matches,t)) terms value

Completed in 111 milliseconds