Searched refs:Error (Results 101 - 125 of 226) sorted by relevance

12345678910

/seL4-l4v-master/seL4/manual/
H A DMakefile270 Error = '^! ' macro
298 ${Q}$(LaTeX) $< >.log || if egrep -q $(Error) $*.log ; then cat .log; rm $@; false ; fi
/seL4-l4v-master/HOL4/polyml/basis/
H A DUnix.sml98 then raise OS.SysErr(OS.errorMsg Error.acces, SOME Error.acces)
/seL4-l4v-master/HOL4/src/AI/proof_search/
H A DpsMinimize.sml166 | _ => (debug "Error: minimize"; raise ERR "minimize" stac)
210 | _ => (debug "Error: prettification or minimization failed"; p)
/seL4-l4v-master/HOL4/examples/ARM_security_properties/
H A Dswitching_lemma_helperScript.sml949 (f s = Error e) ���
950 ((f >>= g) s = Error e)``,
1006 /\ ~(f s = Error e)
1016 (f s = Error e) ==>
1017 ((f >>= g) s = Error e)
1041 (?e .((f >>= H) s1 = Error e)
1043 ((f >>= H) s2 = Error e)))
H A Dswitching_lemmaScript.sml519 ���e. (comp s1 = Error e) ��� (comp s2 = Error e)``,
1043 (?e. (f2 s1 =Error e) /\ (f2 s2 = Error e)))
1086 (?e. (f2 s1 = Error e) /\ (f2 s2 = Error e) ))
1133 (?e. (f2 s1 = Error e) /\ (f2 s2 = Error e) ))``,
1174 (? e. (f s1=Error e) /\ (f s2 = Error
[all...]
/seL4-l4v-master/HOL4/src/metis/
H A DmlibTermorder.sml141 if inconsistent_eqn eqn then raise Error "good_eqn: inconsistent"
283 else raise Error "add_leq: direct contradiction")
298 | Greater => raise Error "add_leq: violates order (weight)"
H A DmlibSubsume.sml53 val () = assert (x <> y) (Error "psym: refl")
H A DmlibSolver.sml72 (assert (is_contradiction th) (Error "contradiction_solver: thm not |- F");
109 handle Error _ => raise Bug "advance: shouldn't fail";
/seL4-l4v-master/HOL4/src/TeX/
H A Dholindex.sml129 | _ => (report_error ("Error while parsing '"^filename^
131 | _ => (report_error ("Error line: "^l); ds)
213 ("Error while formating "^(command2string command)^" '"^id^"'!");
/seL4-l4v-master/HOL4/examples/ARM/v7/
H A Darm_seq_monadScript.sml97 val _ = Hol_datatype `error_option = ValueState of 'a => 'b | Error of string`;
105 (errorT : string -> 'a M) e = K (Error e)`;
109 \y. case s y of Error e => Error e
/seL4-l4v-master/HOL4/examples/ARM_security_properties/model/
H A Darm_seq_monadScript.sml97 val _ = Hol_datatype `error_option = ValueState of 'a => 'b | Error of string`;
105 (errorT : string -> 'a M) e = K (Error e)`;
110 \y. case s y of Error e => Error e
/seL4-l4v-master/isabelle/src/Pure/General/
H A Dcompletion.scala77 case _: XML.Error => ignore_error(""); Nil
188 catch { case _: XML.Error => None }
/seL4-l4v-master/isabelle/src/Pure/Thy/
H A Dbibtex.scala119 val Error = """^(.*)---line (\d+) of file root.bib$""".r
132 case (Error(msg, Value.Int(l)), _) =>
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DMap.sig39 val get : ('key,'a) map -> 'key -> 'a (* raises Error *)
H A DUseful.sig13 exception Error of string exception
H A DTptp.sml573 | _ => raise Error "Tptp.destLiteral";
857 | _ => raise Error "destCnfFormulaBody";
864 | _ => raise Error "destFofFormulaBody";
1755 | _ => raise Error "Tptp.destLineComment";
1896 raise Error "TPTP problem has both cnf and fof conjecture formulas"
2081 | _ => raise Error "EOF inside a block comment";
2115 handle Parse.NoParse => raise Error "parse error")
2116 handle Error err =>
2117 raise Error ("error in TPTP file \"" ^ filename ^ "\" " ^
2560 handle Error er
[all...]
/seL4-l4v-master/l4v/isabelle/src/Pure/General/
H A Dcompletion.scala77 case _: XML.Error => ignore_error(""); Nil
188 catch { case _: XML.Error => None }
/seL4-l4v-master/l4v/isabelle/src/Pure/Thy/
H A Dbibtex.scala119 val Error = """^(.*)---line (\d+) of file root.bib$""".r
132 case (Error(msg, Value.Int(l)), _) =>
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DMap.sig39 val get : ('key,'a) map -> 'key -> 'a (* raises Error *)
H A DUseful.sig13 exception Error of string exception
/seL4-l4v-master/HOL4/tools/Holmake/
H A DHM_GraphBuildJ1.sml119 "] Error (ignored)");
/seL4-l4v-master/seL4/src/arch/x86/64/
H A Dtraps.S61 /* The user context under SMP is always set to Error + 1 for the current
71 * FaultIP, and RSP) and are ready to push Error.
105 /* skip FaultIP, RSP, Error, NextIP, RFLAGS */ \
487 /* skip RFLAGS, Error, NextIP, RSP, FaultIP */
549 /* skip RFLAGS, NextIP, Error, RSP, FaultIP */
595 pushq $-1 # set Error -1 to mean entry via syscall
638 push $-1 # set Error -1 to mean entry via syscall
/seL4-l4v-master/isabelle/src/Pure/PIDE/
H A Dprotocol.scala39 case _: XML.Error => None
53 case _: XML.Error => None
/seL4-l4v-master/l4v/isabelle/src/Pure/PIDE/
H A Dprotocol.scala39 case _: XML.Error => None
53 case _: XML.Error => None
/seL4-l4v-master/HOL4/src/parse/
H A DTermParse.sml60 | Error (s,locn) => raise mk_HOL_ERRloc "Absyn" "Absyn" locn s
238 Error e => raise Preterm.mkExn e

Completed in 304 milliseconds

12345678910