/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/ |
H A D | other_isabelle.scala | 53 other_isabelle("components -a", redirect = true, echo = echo).check 56 Path.explode(other_isabelle("getenv -b ISABELLE_HOME_USER").check.out)
|
H A D | build_jdk.scala | 42 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 D | build_history.scala | 38 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 D | process_result.scala | 31 def check: Process_Result = check_rc(_ == 0)
|
/seL4-l4v-10.1.1/isabelle/src/Tools/VSCode/src/ |
H A D | build_vscode.scala | 40 cwd = extension_dir.file, echo = true).check
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/System/ |
H A D | process_result.scala | 31 def check: Process_Result = check_rc(_ == 0)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/VSCode/src/ |
H A D | build_vscode.scala | 40 cwd = extension_dir.file, echo = true).check
|
/seL4-l4v-10.1.1/graph-refine/ |
H A D | graph-refine.py | 17 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 D | stats.py | 5 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 D | Preterm_dtype.sml | 22 To check this has been done everywhere, uncomment this constructor. *)
|
/seL4-l4v-10.1.1/HOL4/src/1/ |
H A D | Thm_cont.sml | 391 (* 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 D | PSet_ind.sml | 34 local val check = assert (fn tm => value 61 val _ = check ant
|
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/ |
H A D | graph_to_graph.py | 18 from graph_refine.check import *
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
H A D | PortableMosml.sml | 140 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 D | Units.sml | 58 fun check (uTh as (lit',_)) = function 63 first check (LiteralNet.match net lit)
|
/seL4-l4v-10.1.1/HOL4/polyml/ |
H A D | Makefile.am | 137 check-local: all 141 tests: check
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
H A D | PortableMosml.sml | 140 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 D | Units.sml | 58 fun check (uTh as (lit',_)) = function 63 first check (LiteralNet.match net lit)
|
/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/ |
H A D | build_jdk.scala | 42 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 D | build_history.scala | 38 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 D | braces.py | 63 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 D | Makefile.in | 408 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 D | selftest.sml | 167 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 D | spell_checker.scala | 204 /* 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 D | spell_checker.scala | 204 /* 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
|