Searched defs:borrow (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/dev/booth/
H A DboothScript.sml52 and borrow = F value
68 and borrow = BIT 1 mul value
/seL4-l4v-10.1.1/HOL4/examples/ARM/arm6-verification/
H A DcoreScript.sml814 and borrow = BORROW ic is mul value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Drealconv.cpp1139 ULLong borrow, y; variable
1141 ULong borrow, y; variable
2212 ULLong borrow, carry, y, ys; variable
2214 ULong borrow, carry, y, ys; variable
[all...]

Completed in 99 milliseconds