Searched refs:check (Results 26 - 50 of 382) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/
H A Dother_isabelle.scala53 other_isabelle("components -a", redirect = true, echo = echo).check
56 Path.explode(other_isabelle("getenv -b ISABELLE_HOME_USER").check.out)
H A Dbuild_jdk.scala42 val file_descr = Isabelle_System.bash("file -b " + File.bash_path(path)).check.out
99 "-C " + File.bash_path(tmp_dir) + " -xzf " + File.bash_path(archive)).check
197 " -czf " + File.bash_path(target_dir + jdk_path.ext("tar.gz")) + " " + jdk_name).check
H A Dbuild_history.scala38 val platform_32 = other_isabelle("getenv -b ISABELLE_PLATFORM32").check.out
39 val platform_64 = other_isabelle("getenv -b ISABELLE_PLATFORM64").check.out
40 val platform_family = other_isabelle("getenv -b ISABELLE_PLATFORM_FAMILY").check.out
43 try { Path.explode(other_isabelle("getenv -b ML_HOME").check.out).dir }
195 Path.explode(other_isabelle("getenv -b ML_IDENTIFIER").check.out)
206 "bin/isabelle jedit -b", redirect = true, echo = verbose).check
530 strict = strict).check
/seL4-l4v-10.1.1/isabelle/src/Pure/System/
H A Dprocess_result.scala31 def check: Process_Result = check_rc(_ == 0)
/seL4-l4v-10.1.1/isabelle/src/Tools/VSCode/src/
H A Dbuild_vscode.scala40 cwd = extension_dir.file, echo = true).check
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/System/
H A Dprocess_result.scala31 def check: Process_Result = check_rc(_ == 0)
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/VSCode/src/
H A Dbuild_vscode.scala40 cwd = extension_dir.file, echo = true).check
/seL4-l4v-10.1.1/graph-refine/
H A Dgraph-refine.py17 import check namespace
57 p = check.build_problem (pair)
77 result = check.check_proof_report (p, proof)
79 result = check.check_proof (p, proof)
85 printout ('Solver timeout/failure in proof check.')
147 return check.build_problem (pair)
315 save = check.save_proofs_to_file (fname, 'a')
316 check.save_checked_proofs[0] = save
H A Dstats.py5 from check import ProofNode
8 import check namespace
36 p = check.build_problem (pair)
38 check.init_point_hyps (p), 'problem')
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DPreterm_dtype.sml22 To check this has been done everywhere, uncomment this constructor. *)
/seL4-l4v-10.1.1/HOL4/src/1/
H A DThm_cont.sml391 (* check ex l : Fail with ex if l is empty, otherwise return l. *)
394 fun check ex [] = raise ex function
395 | check ex l = l
413 val res = check (ERR "IMP_RES_THEN" "No resolvents") l
414 val tacs = check (ERR "IMP_RES_THEN" "No tactics")
429 val imps = check (ERR "RES_THEN" "No implication") ths
431 val res = check (ERR "RES_THEN" "No resolvents") l
432 val tacs = check (ERR "RES_THEN" "No tactics") (Lib.mapfilter ttac res)
/seL4-l4v-10.1.1/HOL4/src/pred_set/src/
H A DPSet_ind.sml34 local val check = assert (fn tm => value
61 val _ = check ant
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/
H A Dgraph_to_graph.py18 from graph_refine.check import *
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DPortableMosml.sml140 fun check i = String.substring (s,i,sizeP) = p function
142 fun checkn i = check i orelse (i > 0 andalso checkn (i - 1))
H A DUnits.sml58 fun check (uTh as (lit',_)) = function
63 first check (LiteralNet.match net lit)
/seL4-l4v-10.1.1/HOL4/polyml/
H A DMakefile.am137 check-local: all
141 tests: check
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DPortableMosml.sml140 fun check i = String.substring (s,i,sizeP) = p function
142 fun checkn i = check i orelse (i > 0 andalso checkn (i - 1))
H A DUnits.sml58 fun check (uTh as (lit',_)) = function
63 first check (LiteralNet.match net lit)
/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/
H A Dbuild_jdk.scala42 val file_descr = Isabelle_System.bash("file -b " + File.bash_path(path)).check.out
99 "-C " + File.bash_path(tmp_dir) + " -xzf " + File.bash_path(archive)).check
197 " -czf " + File.bash_path(target_dir + jdk_path.ext("tar.gz")) + " " + jdk_name).check
H A Dbuild_history.scala38 val platform_32 = other_isabelle("getenv -b ISABELLE_PLATFORM32").check.out
39 val platform_64 = other_isabelle("getenv -b ISABELLE_PLATFORM64").check.out
40 val platform_family = other_isabelle("getenv -b ISABELLE_PLATFORM_FAMILY").check.out
43 try { Path.explode(other_isabelle("getenv -b ML_HOME").check.out).dir }
195 Path.explode(other_isabelle("getenv -b ML_IDENTIFIER").check.out)
206 "bin/isabelle jedit -b", redirect = true, echo = verbose).check
530 strict = strict).check
/seL4-l4v-10.1.1/l4v/tools/haskell-translator/
H A Dbraces.py63 check = BracedString(self.s, self.l, self.r)
64 if check.bits == self.bits:
68 check.bits)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/
H A DMakefile.in408 check-DEJAGNU: site.exp
482 check-am: all-am
483 $(MAKE) $(AM_MAKEFLAGS) check-DEJAGNU
484 check: check-am
584 .MAKE: check-am install-am install-strip
586 .PHONY: all all-am check check-DEJAGNU check-am clean clean-generic \
/seL4-l4v-10.1.1/HOL4/src/num/arith/src/
H A Dselftest.sml167 fun check (Exn.Res th) = rhs (concl th) ~~ T function
168 | check _ = false
169 val _ = require_msg check (term_to_string o rhs o concl)
/seL4-l4v-10.1.1/isabelle/src/Pure/Tools/
H A Dspell_checker.scala204 /* check known words */
210 def check(word: String): Boolean =
219 Spell_Checker.marked_words(base, text, info => !check(info.info))
233 if (check(word)) Nil
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Tools/
H A Dspell_checker.scala204 /* check known words */
210 def check(word: String): Boolean =
219 Spell_Checker.marked_words(base, text, info => !check(info.info))
233 if (check(word)) Nil

Completed in 243 milliseconds

1234567891011>>