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

/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/
H A Dcore_decompilerLib.sig6 val configure: {pc_tm: Term.term, value
H A Dcore_decompilerLib.sml32 fun configure function
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Tutorial/
H A Dintro.tex[all...]
/seL4-l4v-10.1.1/HOL4/Manual/Tutorial/
H A Dintro.tex[all...]
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/eval/
H A Darm_evalLib.sml424 fun configure s = function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/prog/
H A Darm_progLib.sml775 fun configure config options = function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/prog/
H A Dm0_progLib.sml585 fun configure be options = function

Completed in 85 milliseconds