Searched defs:bin (Results 1 - 3 of 3) sorted by last modified time

/seL4-l4v-master/HOL4/src/n-bit/interactive_tests/
H A Dtest_wordppScript.sml33 val bin = ["0b0w", "0b1w", "0b101010w", "0b10000000000000000w"]; value
/seL4-l4v-master/HOL4/tools/
H A Dconfigure.sml293 val bin = fullPath [holdir, "bin/Holmake"] value
411 val bin = fullPath [holdir, "bin/build"] value
[all...]
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm8/model/
H A Darm8AssemblerLib.sml329 fun bin s = function

Completed in 53 milliseconds