Searched refs:test (Results 251 - 275 of 348) sorted by relevance
<<11121314
| /seL4-l4v-master/HOL4/examples/acl2/ml/ |
| H A D | sexpScript.sml | 1443 (itel ((test,val)::sl) val' = ite test val (itel sl val'))`;
|
| /seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/garbage-collector/ |
| H A D | lisp_consScript.sml | 30 test r8d,1
49 test r13d,1
|
| /seL4-l4v-master/HOL4/examples/machine-code/graph/ |
| H A D | derive_specsLib.sml | 762 val _ = open_current "test"
775 val _ = open_current "test"
|
| /seL4-l4v-master/HOL4/examples/bootstrap/ |
| H A D | automationLib.sml | 129 (���:test���,���test���),
|
| H A D | source_propertiesScript.sml | 171 ���(env,[If test xs y z],s1)���,
|
| /seL4-l4v-master/HOL4/tools/ |
| H A D | buildutils.sml | 956 (print "Performing self-test...\n";
959 print "Self-test was successful\n"
|
| /seL4-l4v-master/HOL4/examples/machine-code/lisp/ |
| H A D | lisp_opsScript.sml | 249 val s = "test " ^ (x86_reg i) ^ ", 3"
313 val s = "test " ^ (x86_reg i) ^ ", 1"
1188 (* test eq *)
1265 (* test symbol *)
1367 (* test for zero *)
|
| /seL4-l4v-master/HOL4/src/parse/ |
| H A D | parse_term.sml | 1694 Useful functions to test with:
1740 val test = p q
1742 if test <> res then let
|
| /seL4-l4v-master/HOL4/examples/dev/ |
| H A D | compile.sig | 66 (* Predicate to test whether a term occurs in another term *)
|
| H A D | vsynth.sml | 615 (* Print test bench stimulus in Verilog *)
|
| /seL4-l4v-master/HOL4/examples/dev/sw/ |
| H A D | ANF.sml | 237 (* Predicate to test whether a term occurs in another term *)
|
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/ |
| H A D | ANF.sml | 237 (* Predicate to test whether a term occurs in another term *)
|
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/ |
| H A D | ANF.sml | 237 (* Predicate to test whether a term occurs in another term *)
|
| /seL4-l4v-master/HOL4/src/Boolify/test/ |
| H A D | datatypes.sml | 29 (* Very small examples to test basic functionality of datatype package. *)
|
| /seL4-l4v-master/HOL4/src/HolQbf/ |
| H A D | QbfCertificate.sml | 254 if v is the test in an ITE, replace the ITE by its consequent
|
| /seL4-l4v-master/HOL4/src/integer/ |
| H A D | OmegaSymbolic.sml | 4 (* This file implements the horrid part of the Omega test, when you have to
|
| H A D | IntDP_Munge.sml | 227 else if is_neg tm then (* must test for is_neg before is_imp *)
|
| /seL4-l4v-master/HOL4/src/quotient/examples/lambda/ |
| H A D | variableScript.sml | 166 (* We would like to be able to test if a variable is a variant of *)
|
| /seL4-l4v-master/HOL4/src/quotient/examples/sigma/ |
| H A D | variableScript.sml | 173 (* We would like to be able to test if a variable is a variant of *)
|
| /seL4-l4v-master/HOL4/src/sort/ |
| H A D | permLib.sml | 736 val test = mk_icomb (listSyntax.all_distinct_tm, mk_num_list
|
| /seL4-l4v-master/HOL4/Manual/Quick/ |
| H A D | quick.tex | 103 \holnoref{intLib}{ARITH_TAC} & uses Omega test \\
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/common/ |
| H A D | core_decompilerLib.sml | 260 val name = "test"
|
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | Date.sml | 253 far as I can test it. *)
|
| /seL4-l4v-master/HOL4/examples/acl2/examples/M1/ |
| H A D | sexpScript.sml | 1443 (itel ((test,val)::sl) val' = ite test val (itel sl val'))`;
|
| /seL4-l4v-master/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/ |
| H A D | sexpScript.sml | 1443 (itel ((test,val)::sl) val' = ite test val (itel sl val'))`;
|
Completed in 284 milliseconds
<<11121314