Searched refs:Error (Results 76 - 100 of 226) sorted by relevance

12345678910

/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/
H A Dserver_commands.scala89 else throw new Server.Error("Session build failed: return code " + results.rc, results_json)
111 catch { case exn: Server.Error => error(exn.message) }
139 else throw new Server.Error("Session shutdown failed: return code " + result.rc, result_json)
/seL4-l4v-master/seL4/src/arch/x86/32/
H A Dtraps.S11 #define Error 9 define
19 # Hardware pushes onto the stack SS, ESP, EFLAGS, CS, NextIP and Error,
463 movl (4 * Error)(%esp), %eax # EAX contains Error Code
529 pushl $-1 # save Error (-1 means we entered via syscall)
/seL4-l4v-master/HOL4/polyml/basis/
H A DWindows.sml302 val err = Error.fromWord(SysWord.fromInt nonZero)
601 val err = Error.fromWord(Error.getLastError())
649 val err = Error.fromWord(Error.getLastError())
665 val err = Error.fromWord(Error.getLastError())
875 val err = Error.fromWord(Error.getLastError())
908 val err = Error
[all...]
/seL4-l4v-master/HOL4/examples/ARM/v7/eval/
H A Darm_evalScript.sml69 of Error e => ValueState (c, e) s
89 of Error e => (e, NONE)
/seL4-l4v-master/seL4/include/arch/x86/arch/64/mode/fastpath/
H A Dfastpath.h51 : [value] "r"(&thread->tcbArch.tcbContext.registers[Error + 1]),
188 // skip Error
/seL4-l4v-master/isabelle/src/Pure/Isar/
H A Dparse.scala102 if (result.successful && !rest.atEnd) Error("bad input", rest)
/seL4-l4v-master/l4v/isabelle/src/Pure/Isar/
H A Dparse.scala102 if (result.successful && !rest.atEnd) Error("bad input", rest)
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DProof.sml139 handle Error err => raise Bug ("Proof.pp: shouldn't fail:\n" ^ err);
194 handle Error err =>
214 handle Error err =>
280 handle Error err =>
345 handle Error err =>
H A DFormula.sml38 | destBoolean _ = raise Error "destBoolean";
126 | destAtom _ = raise Error "Formula.destAtom";
133 | destNeg _ = raise Error "Formula.destNeg";
217 | destForall _ = raise Error "destForall";
236 | destExists _ = raise Error "destExists";
460 | destNeq _ = raise Error "Formula.destNeq";
H A DFormula.sig171 val sym : formula -> formula (* raises Error if given a refl *)
H A DKeyMap.sig49 val get : 'a map -> key -> 'a (* raises Error *)
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DProof.sml139 handle Error err => raise Bug ("Proof.pp: shouldn't fail:\n" ^ err);
194 handle Error err =>
214 handle Error err =>
280 handle Error err =>
345 handle Error err =>
H A DFormula.sml38 | destBoolean _ = raise Error "destBoolean";
126 | destAtom _ = raise Error "Formula.destAtom";
133 | destNeg _ = raise Error "Formula.destNeg";
217 | destForall _ = raise Error "destForall";
236 | destExists _ = raise Error "destExists";
460 | destNeq _ = raise Error "Formula.destNeq";
H A DFormula.sig171 val sym : formula -> formula (* raises Error if given a refl *)
H A DKeyMap.sig49 val get : 'a map -> key -> 'a (* raises Error *)
/seL4-l4v-master/HOL4/src/metis/
H A DmlibThm.sml60 | _ => raise Error "dest_axiom";
376 case clause th of [lit] => lit | _ => raise Error "dest_unit: not a unit";
401 handle Error _ => raise Bug "FRESH_VARSL: shouldn't fail";
406 case clause th of [] => raise Error "UNIT_SQUASH: contradiction"
459 val () = assert (x <> y) (Error "psym: refl")
530 handle Error _ => raise Bug "DEPTH1: shouldn't fail"
546 handle Error _ => raise Bug "DEPTH: shouldn't fail"
H A DmlibClauseset.sml91 val () = assert (x <> y) (Error "psym: refl")
227 fun taut c = assert (not (mlibCanon.tautologous (literals c))) (Error "taut");
386 handle Error _ => raise Bug "deduce: shouldn't fail"
412 (Error "rewr_reducibles: order violation")
522 handle Error _ => raise Bug "purge_reducibles: shouldn't fail";
587 handle Error _ => raise Bug "mlibClauseset.initialize: shouldn't fail";
H A DmlibUnits.sml31 val () = assert (x <> y) (Error "psym: refl")
/seL4-l4v-master/HOL4/examples/ARM_security_properties/
H A Dinference_rulesScript.sml387 \/ (? e. (comp s1 = Error e) /\ (comp s2 = Error e)))`;
408 \/ (? e. (comp c s1 = Error e) /\ (comp c s2 = Error e)))`;
681 if access_violation t then ValueState (ARB:'a#'b) t else (f2 >>= (\y. constT (x,y))) t | Error e => Error e)``,
885 \/ (? e. (comp s1 = Error e) /\ (comp s2 = Error e)))`;
1061 (forT (l + 1) h f s1 = Error e) ���
1062 (forT (l + 1) h f s2 = Error
[all...]
/seL4-l4v-master/seL4/manual/parts/
H A Dapi.tex105 \section{Error Codes}
154 \subsection{Range Error}
169 \subsection{Alignment Error}
/seL4-l4v-master/HOL4/tools/Holmake/
H A DGetOpt.sig21 * * Error messages are now more informative, but no longer POSIX
/seL4-l4v-master/HOL4/tools/mlyacc/src/
H A Dhdr.sml53 (pr name; pr ", line "; pr (Int.toString l); pr ": Error: ";
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/
H A DLEXSIG.sml42 (* Error handling *)
/seL4-l4v-master/HOL4/src/parse/
H A DPreterm.sml31 Error e => raise mkExn e
287 Error e => Error e
332 Error e => Error e
339 Error e => Error e
655 Error (AppFail(Rator',Rand',message), locn Rand)
683 Error(ConstrainFail(real_term, real_type, message), Locn)
/seL4-l4v-master/l4v/tools/c-parser/standalone-parser/
H A DGetOpt.sig24 * * Error messages are now more informative, but no longer POSIX

Completed in 207 milliseconds

12345678910