/seL4-l4v-master/l4v/isabelle/src/Tools/VSCode/src/ |
H A D | vscode_rendering.scala | 47 Markup.ERROR -> Protocol.DiagnosticSeverity.Error)
|
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/ |
H A D | ACF.sml | 66 (* Error reporting function *)
|
/seL4-l4v-master/HOL4/src/1/ |
H A D | PmatchHeuristics.sml | 290 (print ("Error, can't use "^(int_to_string i)^"\n");0)
|
H A D | Tactic.sml | 21 | 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 D | Tactical.sml | 21 | empty th _ = raise ERR "empty" "Bind Error" 682 | sing f _ = raise ERR "sing" "Bind Error"
|
/seL4-l4v-master/HOL4/src/pattern_matches/ |
H A D | parsePMATCH.sml | 258 | Error e => raise mkExn e
|
/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | metis.sml | 545 handle Error s => die (PROGRAM^" failed:\n" ^ s)
|
H A D | Normalize.sml | 442 | destXor _ = raise Error "destXor"; 664 | toLiteral _ = raise Error "Normalize.toLiteral"; 1297 handle Error err =>
|
H A D | selftest.sml | 1100 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 D | lisp_alt_semanticsScript.sml | 83 RR_ap (Error,args,a,fns,io,ok) (anything,fns,
|
/seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/extract/ |
H A D | lisp_extractLib.sml | 53 | 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 D | metis.sml | 545 handle Error s => die (PROGRAM^" failed:\n" ^ s)
|
H A D | Normalize.sml | 442 | destXor _ = raise Error "destXor"; 664 | toLiteral _ = raise Error "Normalize.toLiteral"; 1297 handle Error err =>
|
H A D | selftest.sml | 1100 raise Error ("failed to parse problem " ^ name) 1113 (TextIO.print ("Error in problem " ^ name ^ "\n\n");
|
/seL4-l4v-master/HOL4/src/probability/ |
H A D | hurdUtils.sig | 10 (* Error handling *)
|
/seL4-l4v-master/isabelle/src/Pure/Tools/ |
H A D | build.scala | 60 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 D | build.scala | 60 case exn: java.lang.Error => ignore_error(Exn.message(exn)) 61 case _: XML.Error => ignore_error("")
|
/seL4-l4v-master/HOL4/tools/mllex/ |
H A D | mllex.sml | 421 exception Error exception 427 raise Error) 432 raise Error)
|
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | OS.sml | 173 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 D | subtypeTools.sml | 12 val Error = ERR ""; value
|
/seL4-l4v-master/HOL4/examples/ARM/v7/ |
H A D | armSyntax.sml | 41 val error_tm = mk_monad_const "Error"
|
/seL4-l4v-master/HOL4/examples/ARM_security_properties/model/ |
H A D | armSyntax.sml | 41 val error_tm = mk_monad_const "Error"
|
/seL4-l4v-master/HOL4/examples/ARM_security_properties/ |
H A D | user_lemma_primitive_operationsScript.sml | 632 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 D | Parse.sml | 441 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 D | milawa_execScript.sml | 15 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
|