Searched defs:bx (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/HOL4/src/monad/more_monads/
H A Dselftest.sml43 val bx = bound "x" value
[all...]
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/cmilner/
H A Dmilner.c177 bdd C, by, bx = bddfalse; local
/seL4-l4v-master/HOL4/src/1/
H A Dselftest.sml429 val bx = bound "x" value
[all...]
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Drealconv.cpp2210 ULong *bx, *bxe, q, *sx, *sxe; variable
[all...]
/seL4-l4v-master/HOL4/examples/ARM/v7/
H A Darm_stepLib.sml822 val (bx,state') = get_valuestate "ARM_ALIGN_BX" (restr_eval tm) value

Completed in 418 milliseconds