Searched refs:ok (Results 101 - 125 of 140) sorted by relevance

123456

/seL4-l4v-master/HOL4/src/parse/
H A Dterm_grammar.sml501 fun specials_from_elm [] = ok
505 val mmap = (fn f => fn args => mmap f args >> ok)
512 | PREFIX (BINDER b) => ok
518 | INFIX RESQUAN_OP => ok
521 | INFIX VSCONS => ok
H A Dparse_term.sml595 B >- (fn b => if b then C >> mwhile B C else ok)
597 fun mif B C = B >- (fn b => if b then C else ok)
1398 else ok
1401 | _ => ok)
1724 | x => ok
/seL4-l4v-master/HOL4/src/portableML/mosml/
H A DArbnumcore.sml498 val ok = testresult(new_result, orig_result)
501 if ok then print " agree\n"
/seL4-l4v-master/isabelle/src/Pure/General/
H A Dfile.scala348 if (Platform.is_windows) Isabelle_System.bash("test -x " + bash_path(path)).check.ok
/seL4-l4v-master/isabelle/src/Pure/Tools/
H A Ddump.scala320 if (status.ok) {
/seL4-l4v-master/l4v/isabelle/src/Pure/General/
H A Dfile.scala348 if (Platform.is_windows) Isabelle_System.bash("test -x " + bash_path(path)).check.ok
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/
H A Ddump.scala320 if (status.ok) {
/seL4-l4v-master/HOL4/examples/HolCheck/examples/
H A Damba_ahb.sml165 (* FIXME: actually this does not properly detect burst termination, since slave says rdy+ok after every transfer *)
H A Damba_ahbScript.sml304 (* do not start transfer if not master, or not ok+rdy *)
355 (* disable all but ok response*)
/seL4-l4v-master/HOL4/examples/l3-machine-code/m0/step/
H A Dm0_stepLib.sml2032 val ok = ref ([] : string list)
2037 SOME thm => (ok := s :: (!ok); SOME (s, thm))
2042 ; ok := []
2045 (!ok)
/seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/implementation/
H A Dlisp_bytecode_stepScript.sml39 BC_CODE (bc.code,bc.code_end),amnt,bc.ok) * zPC p * ~zS *
306 |> Q.SPEC `zLISP (a1,a2,sl,sl1,e,ex,cs,ok,rbp,ddd)
475 THEN1 (* ok false *)
1179 |> Q.INST [`io`|->`IO_STREAMS input bc.io_out`,`ok`|->`bc.ok`]
/seL4-l4v-master/HOL4/examples/separationLogic/src/holfoot/
H A DholfootLib.sml2858 fun print_timer false ok = ()
2859 | print_timer true (ok,skipped) =
2865 else if ok then print_with_style [FG Green] "OK\n"
3016 val (thm, ok) = holfoot_verify_spec_internal verbose print_err (file,
3020 val _ = if ok then () else (holfoot_set_remaining_goal thm; ())
3022 (thm, ok)
/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/x86_64/
H A Dx64_Lib.sml292 | SOME th => (print ", ok.\n"; ())
/seL4-l4v-master/HOL4/src/pattern_matches/
H A DpatternMatchesSyntax.sml28 val ok = not (mem vn avoidL) value
30 if ok then vn else next_name ()
/seL4-l4v-master/HOL4/examples/ARM/v4/
H A DassemblerML.sml396 val ok = (address = value
399 if ok then
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A Dselftest.sml1123 TextIO.print "ok\n\n"
1139 val () = TextIO.print "ok\n"
/seL4-l4v-master/HOL4/examples/machine-code/compiler/
H A Dreg_allocLib.sml575 val ok = (iterated_register_coalescing graph moves freq is_colourable n; true)
578 in if not ok then print ("\n\nFailed at "^int_to_string i^".\n\n") else
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A Dselftest.sml1123 TextIO.print "ok\n\n"
1139 val () = TextIO.print "ok\n"
/seL4-l4v-master/HOL4/examples/fun-op-sem/small-step/
H A DforSmallScript.sml861 (* e2 ok *)
871 (* clock ok *)
/seL4-l4v-master/isabelle/src/Pure/Admin/
H A Dbuild_release.scala836 if (platform_families.contains(Platform.Family.windows) && !Isabelle_System.bash("7z i").ok)
H A Dbuild_status.scala458 if (!result.ok)
/seL4-l4v-master/isabelle/src/Pure/PIDE/
H A Dsession.scala77 case Terminated(result) => if (result.ok) "finished" else "failed"
/seL4-l4v-master/l4v/isabelle/src/Pure/PIDE/
H A Dsession.scala77 case Terminated(result) => if (result.ok) "finished" else "failed"
/seL4-l4v-master/l4v/isabelle/src/Pure/Admin/
H A Dbuild_status.scala458 if (!result.ok)
H A Dbuild_release.scala836 if (platform_families.contains(Platform.Family.windows) && !Isabelle_System.bash("7z i").ok)

Completed in 224 milliseconds

123456