Searched refs:Error (Results 151 - 175 of 226) sorted by relevance

12345678910

/seL4-l4v-master/l4v/isabelle/src/Tools/VSCode/src/
H A Dvscode_rendering.scala47 Markup.ERROR -> Protocol.DiagnosticSeverity.Error)
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/
H A DACF.sml66 (* Error reporting function *)
/seL4-l4v-master/HOL4/src/1/
H A DPmatchHeuristics.sml290 (print ("Error, can't use "^(int_to_string i)^"\n");0)
H A DTactic.sml21 | empty th _ = raise ERR "empty" "Bind Error"
23 | sing f _ = raise ERR "sing" "Bind Error"
25 | pairths f _ = raise ERR "pairths" "Bind Error"
H A DTactical.sml21 | empty th _ = raise ERR "empty" "Bind Error"
682 | sing f _ = raise ERR "sing" "Bind Error"
/seL4-l4v-master/HOL4/src/pattern_matches/
H A DparsePMATCH.sml258 | Error e => raise mkExn e
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A Dmetis.sml545 handle Error s => die (PROGRAM^" failed:\n" ^ s)
H A DNormalize.sml442 | destXor _ = raise Error "destXor";
664 | toLiteral _ = raise Error "Normalize.toLiteral";
1297 handle Error err =>
H A Dselftest.sml1100 raise Error ("failed to parse problem " ^ name)
1113 (TextIO.print ("Error in problem " ^ name ^ "\n\n");
/seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/bytecode/
H A Dlisp_alt_semanticsScript.sml83 RR_ap (Error,args,a,fns,io,ok) (anything,fns,
/seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/extract/
H A Dlisp_extractLib.sml53 | mDefine | Print | Error | Funcall | Fun of string;
92 if p ~~ ``Error`` then Error else
285 | R_ap Error = R_ap_Error
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A Dmetis.sml545 handle Error s => die (PROGRAM^" failed:\n" ^ s)
H A DNormalize.sml442 | destXor _ = raise Error "destXor";
664 | toLiteral _ = raise Error "Normalize.toLiteral";
1297 handle Error err =>
H A Dselftest.sml1100 raise Error ("failed to parse problem " ^ name)
1113 (TextIO.print ("Error in problem " ^ name ^ "\n\n");
/seL4-l4v-master/HOL4/src/probability/
H A DhurdUtils.sig10 (* Error handling *)
/seL4-l4v-master/isabelle/src/Pure/Tools/
H A Dbuild.scala60 case exn: java.lang.Error => ignore_error(Exn.message(exn))
61 case _: XML.Error => ignore_error("")
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/
H A Dbuild.scala60 case exn: java.lang.Error => ignore_error(Exn.message(exn))
61 case _: XML.Error => ignore_error("")
/seL4-l4v-master/HOL4/tools/mllex/
H A Dmllex.sml421 exception Error exception
427 raise Error)
432 raise Error)
/seL4-l4v-master/HOL4/polyml/basis/
H A DOS.sml173 Note: unlike Posix.Error.errorName and Posix.Error.sysError
176 be the same as the Posix.Error functions. Those are
/seL4-l4v-master/HOL4/examples/elliptic/
H A DsubtypeTools.sml12 val Error = ERR ""; value
/seL4-l4v-master/HOL4/examples/ARM/v7/
H A DarmSyntax.sml41 val error_tm = mk_monad_const "Error"
/seL4-l4v-master/HOL4/examples/ARM_security_properties/model/
H A DarmSyntax.sml41 val error_tm = mk_monad_const "Error"
/seL4-l4v-master/HOL4/examples/ARM_security_properties/
H A Duser_lemma_primitive_operationsScript.sml632 g `(nw = 15w) ==> (access_violation s) ==> (((LookUpRName <|proc := 0|> (nw,16w) >>= (��rname. read__reg <|proc := 0|> rname)) s) = Error "LookUpRName: n = 15w") `;
665 (* Error in Lookup *)
709 g `(nw = 15w) ==> (access_violation s) ==> (((LookUpRName <|proc := 0|> (nw,16w) >>= (��rname. write__reg <|proc := 0|> rname value)) s) = Error "LookUpRName: n = 15w") `;
765 (* Error in Lookup *)
/seL4-l4v-master/HOL4/src/parse/
H A DParse.sml441 errormonad.Error e => raise Preterm.mkExn e
476 errormonad.Error e => raise Preterm.mkExn e
/seL4-l4v-master/HOL4/examples/theorem-prover/milawa-prover/
H A Dmilawa_execScript.sml15 that MR_ev is deterministic, functions that are simply just Error
80 fc IN FDOM fns /\ ~(?xs. exp = App Error xs) /\
89 fc IN FDOM fns /\ (fns ' fc = (params,App Error [Const x])) /\
561 (func2f Error = mFun "ERROR") /\
839 if name = "ERROR" then Error else

Completed in 418 milliseconds

12345678910