/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/prog/ |
H A D | test.sml | 16 val failed = !fails value 20 val l = List.map dec failed
|
/seL4-l4v-10.1.1/HOL4/src/1/ |
H A D | holmakebuild.sml | 13 ("*** Proof of \n " ^ Parse.term_to_string t ^ "\n*** failed (used CHEAT).\n")
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
H A D | mosml_Holmake.sml | 9 | e => die_with ("Holmake failed with exception: " ^
|
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/lib/Tools/ |
H A D | jedit | 130 function failed() function 253 pushd "$JEDIT_HOME" >/dev/null || failed 317 mkdir -p dist/classes || failed 341 isabelle_jdk jar cf "../../$1" * || failed 361 rm -rf dist || failed 362 mkdir -p dist || failed 395 "org/gjt/sp/jedit/icons/themes/classic/32x32/apps/isabelle.gif" || failed 397 "org/gjt/sp/jedit/icons/themes/tango/32x32/apps/isabelle.gif" || failed 398 isabelle_jdk jar cfe jedit.jar org.gjt.sp.jedit.jEdit org || failed 402 cp -p -R -f "${JEDIT_JARS[@]}" dist/jars/. || failed [all...] |
H A D | jedit_client | 39 function failed() function
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/lib/Tools/ |
H A D | jedit | 130 function failed() function 253 pushd "$JEDIT_HOME" >/dev/null || failed 317 mkdir -p dist/classes || failed 341 isabelle_jdk jar cf "../../$1" * || failed 361 rm -rf dist || failed 362 mkdir -p dist || failed 395 "org/gjt/sp/jedit/icons/themes/classic/32x32/apps/isabelle.gif" || failed 397 "org/gjt/sp/jedit/icons/themes/tango/32x32/apps/isabelle.gif" || failed 398 isabelle_jdk jar cfe jedit.jar org.gjt.sp.jedit.jEdit org || failed 402 cp -p -R -f "${JEDIT_JARS[@]}" dist/jars/. || failed [all...] |
H A D | jedit_client | 39 function failed() function
|
/seL4-l4v-10.1.1/HOL4/src/boss/theory_tests/ |
H A D | bylocnScript.sml | 15 if message = "suffices_by's tactic failed to prove goal on line "^ 19 else if message = "by's tactic failed to prove subgoal on line "^
|
H A D | github416Script.sml | 26 print "Test for github issue #416 failed - FAILURE\n";
|
/seL4-l4v-10.1.1/HOL4/src/opentheory/logging/ |
H A D | Curl.sml | 6 else raise Feedback.mk_HOL_ERR "Curl" "submitFile" "curl call failed"
|
/seL4-l4v-10.1.1/HOL4/src/pfl/ |
H A D | pflLib.sml | 51 handle e => raise ERR "is_some_ifn_thm" "tactic failed" 60 handle e => raise ERR "is_ifn_some_thm" "tactic failed" 65 handle e => raise ERR "ifn_dlem" "tactic failed" 76 handle e => raise ERR "ifn_mono_thm" "tactic failed" 88 handle e => raise ERR "ifn_norm_thm" "tactic failed" 96 handle e => raise ERR "ifn_determ_thm" "tactic failed" 100 handle e => raise wrap_exn "basic_lemmas" "proof failed" e;
|
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/context-free/ |
H A D | pegML.sml | 36 | failed 90 | failed => NONE 125 eval testG (nt("E",I)) (mk "1+2*3") [] done failed, 126 eval testG (nt("E",I)) (mk "(1+2)*3") [] done failed, 127 eval testG (nt("E",I)) (mk "(1+2)*(3*1)") [] done failed, 128 eval testG (nt("E",I)) (mk "2*3*1") [] done failed, 129 eval testG (nt("E",I)) (mk "2+3+1") [] done failed, 130 eval testG (nt("E",I)) (mk "2+3+1+2+1") [] done failed, 131 eval testG (nt("E",I)) (mk "(1+2)*(3+1)*(1+2+1)") [] done failed,
|
H A D | pegexecScript.sml | 22 | failed 84 | AP failed i r => Result NONE 153 ([`k` |-> `failed`], []), 216 |> Q.INST [`k` |-> `done`, `fk` |-> `failed`, `stk` |-> `[]`] 222 |> Q.INST [`k` |-> `done`, `fk` |-> `failed`, `stk` |-> `[]`] 231 ``peg_eval G (s,e) r ��� peg_exec G e s [] done failed = Result r``, 237 (peg_eval G (s,e) r ��� peg_exec G e s [] done failed = Result r)``, 252 if wfG G then destResult (peg_exec G G.start s [] done failed) 284 ``wfG G ==> ���r. peg_exec G G.start i [] done failed = Result r``, 296 coreloop G (pegexec$EV G.start i [] done failed) [all...] |
H A D | pegSampleScript.sml | 74 done failed``) 82 [] done failed``) 108 [] done failed``)
|
/seL4-l4v-10.1.1/isabelle/src/Pure/PIDE/ |
H A D | protocol.scala | 70 var failed = false 81 case Markup.FAILED | Markup.ERROR => failed = true 85 Status(touched, accepted, warned, failed, forks, runs) 102 private val failed: Boolean, 111 failed || that.failed, 115 def is_unprocessed: Boolean = accepted && !failed && (!touched || (forks != 0 && runs == 0)) 118 def is_failed: Boolean = failed 119 def is_finished: Boolean = !failed && touched && forks == 0 && runs == 0 165 unprocessed: Int, running: Int, warned: Int, failed [all...] |
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/PIDE/ |
H A D | protocol.scala | 70 var failed = false 81 case Markup.FAILED | Markup.ERROR => failed = true 85 Status(touched, accepted, warned, failed, forks, runs) 102 private val failed: Boolean, 111 failed || that.failed, 115 def is_unprocessed: Boolean = accepted && !failed && (!touched || (forks != 0 && runs == 0)) 118 def is_failed: Boolean = failed 119 def is_finished: Boolean = !failed && touched && forks == 0 && runs == 0 165 unprocessed: Int, running: Int, warned: Int, failed [all...] |
/seL4-l4v-10.1.1/HOL4/src/HolQbf/ |
H A D | selftest.sml | 43 die ("Read after write failed on term '" ^ Hol_pp.term_to_string t ^ 51 die ("Prove failed on term '" ^ Hol_pp.term_to_string t ^ 60 die ("Disprove failed on term '" ^ Hol_pp.term_to_string t ^ 77 die ("Decide failed on term '" ^ Hol_pp.term_to_string t ^
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/tests/cheatspotting/ |
H A D | selftest.sml | 12 die ("Holmake "^s^" failed")
|
/seL4-l4v-10.1.1/graph-refine/seL4-example/ |
H A D | configure_default.sh | 80 echo Solvers configured but self-test failed. 94 echo Self test failed!
|
/seL4-l4v-10.1.1/graph-refine/scripts/ |
H A D | setup-HOL4.sh | 12 echo .. failed!
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/ |
H A D | backgroundLib.sml | 107 val _ = print "\n\nAuto proof of following failed.\n\n" 117 failwith("auto_prove failed for " ^ proof_name)) end 124 failwith("auto_conv_prove failed for " ^ proof_name)) end 136 val _ = "\n\n" ^ name ^ " failed.\n\n"
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/ |
H A D | c_traps.c | 69 // if we get here we failed 76 "leaq %[failed], %%rax\n" 80 [failed]"m"(vmlaunch_failed), 106 // if we get here we failed 117 "leaq %[failed], %%rax\n" 121 [failed]"m"(vmlaunch_failed),
|
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
H A D | armLib.sig | 94 2 : print partial (failed) evaluations 95 3 : print progress and failed evaluations
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
H A D | testACL2encoding.ml | 24 val (passed,failed) = mappartition f t 28 int_to_string (!count),failed) :: (!results)) 503 val (passed,failed) = 506 val _ = if length failed > 1 then raise Empty else (); 532 val (passed,failed) = 535 val _ = if length failed > 1 then raise Empty else (); 538 val (passed,failed) = 541 val _ = if length failed > 1 then raise Empty else (); 544 val (passed,failed) = 547 val _ = if length failed > [all...] |
/seL4-l4v-10.1.1/HOL4/src/floating-point/native/ |
H A D | selftest.sml | 108 ; die "test_monops failed" 157 ; die "test_binops failed" 194 ; die "test_orderings failed"
|