Searched refs:trace (Results 251 - 260 of 260) sorted by relevance

<<11

/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DFinalPolyML.sml1931 fun trace b = tracing := b function
/seL4-l4v-10.1.1/HOL4/src/pred_set/src/
H A Dpred_setScript.sml186 name = "SET_SPEC_CONV", trace = 2}]}
6312 trace = 2}
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DARMCompositionScript.sml28 trace = 2,
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A DARMCompositionScript.sml28 trace = 2,
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/
H A DARMCompositionScript.sml42 trace = 2,
/seL4-l4v-10.1.1/HOL4/src/n-bit/
H A DwordsScript.sml4834 fun save x = Feedback.trace ("Theory.save_thm_reporting", 0) save_thm x
/seL4-l4v-10.1.1/HOL4/src/quotient/src/
H A Dquotient.sml2178 in trace ("Vartype Format Complaint",0) mk_vartype (new_name nm)
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/
H A Ddefinitions.tex598 flag di trace \texttt{pp\_bigrecs}.
H A Dtactics.tex485 trace.\footnote{A possible extension to \HOL\ would be a `debugging
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dtexinfo.tex211 % file; cf. trace.sty in LaTeX.

Completed in 151 milliseconds

<<11