Searched defs:ERROR (Results 1 - 14 of 14) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbddtest.cxx36 #define ERROR(msg) fail(msg, __FILE__, __LINE__) macro
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DGrammarDeltas.sml7 val ERROR = mk_HOL_ERR "GrammarDeltas" value
H A DTermParse.sml16 val ERROR = mk_HOL_ERR "Parse"; value
H A DParse_support.sml11 val ERROR = mk_HOL_ERR "Parse_support"; value
H A DParse.sml15 val ERROR = mk_HOL_ERR "Parse"; value
[all...]
H A Dparse_term.sml1207 fun ERROR s1 s2 = Urk (s1^": "^s2) function
H A Dterm_grammar.sml6 val ERROR = mk_HOL_ERR "term_grammar" value
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DExn.sig9 exception ERROR of string exception
H A DExn.sml19 exception ERROR of string; exception
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DRegion.sml36 val ERROR : ResultRegion value
H A DGdiBase.sml272 val ERROR = W (0) value
/seL4-l4v-10.1.1/HOL4/src/rational/
H A DratReduce.sml32 fun ERROR f msg c t = function
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/examples/
H A Damba_ahb.sml119 val ERROR = (ahb_AP "hresp_0") C_AND (C_NOT(ahb_AP "hresp_1")) value
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/round-trip/gold/
H A Daxioms.lisp[all...]

Completed in 203 milliseconds