Searched refs:targets (Results 26 - 28 of 28) sorted by relevance

12

/seL4-l4v-master/HOL4/examples/fun-op-sem/for/
H A Dfor_nd_compileScript.sml9 targets a simple assembly-like language. We prove that the compiler
/seL4-l4v-master/seL4/manual/parts/
H A Dobjects.tex130 % making these prose descriptions of the system calls legitimate targets for
/seL4-l4v-master/HOL4/Manual/Guide/
H A Dguide.tex1531 following targets.
1586 targets.

Completed in 47 milliseconds

12