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

/seL4-l4v-10.1.1/HOL4/src/num/termination/
H A DTotalDefn.sig36 datatype phase type
H A DTotalDefn.sml658 datatype phase type
/seL4-l4v-10.1.1/HOL4/tools-poly/
H A Dbuild.sml9 datatype phase = Initial | Bare | Full type
16 val phase = ref Initial value
/seL4-l4v-10.1.1/l4v/tools/autocorres/tools/stats/
H A Dstats.py177 phase = m.group(1) variable
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dprocesses.h225 MainThreadRequest (enum _mainThreadPhase phase): mtp(phase), completed(false) {} argument

Completed in 66 milliseconds