| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | jiraver332.c | 29 int test2 = (larg << 32); /* [A+ = 3, B- = 6, C+ = -] */ local
|
| H A D | globals_fn.c | 38 int test2(void) function
|
| H A D | jiraver881.c | 31 void test2(void) { function
|
| H A D | parse_complit.c | 82 struct bar test = {f,{1,2},{101}}, test2 = {{1}, {2}, {3}}; local
83 struct bar b_array[10] = { test, test2, 1, 2 };
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/decompiler/ |
| H A D | riscv_decomp_demoScript.sml | 25 val (text2_cert, test2_def) = riscv_decompile_code "test2"
38 EVAL ``test2 11w``
|
| /seL4-l4v-10.1.1/HOL4/examples/temporal_deep/src/model_check/ |
| H A D | selftest.sml | 32 val test2 = model_check___ltl_equivalent ltl1 ltl2; value
34 if (isSome test2) then
35 die ("Got " ^ term_to_string (concl (valOf test2)))
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/decompiler/ |
| H A D | m0_decomp_demoScript.sml | 31 val (test2_cert, test2_def) = m0_decompile_code "test2" q
40 EVAL ``test2 (12w, 0, dmem, \a. if a && 3w = 0w then 4w else 0w)``)
|
| H A D | m0_core_decompLib.sml | 236 val (test2_cert, test2_def) = m0_core_decompLib.m0_core_decompile_code "test2"
|
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/tests/phony_tgt/ |
| H A D | phonytgtScript.sml | 22 val _ = OS.FileSys.chDir "test2"
32 val _ = save_thm("test2", TRUTH)
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/decompiler/ |
| H A D | arm8_decomp_demoScript.sml | 11 val (test2_cert, test2_def) = arm8_decompile_code_no_status "test2"
|
| /seL4-l4v-10.1.1/HOL4/src/datatype/mutrec/examples/ |
| H A D | test.sml | 38 {name ="test2", arg_info=[existing(==`:'b`==)]}]},
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/mips/decompiler/ |
| H A D | mips_decomp_demoScript.sml | 15 val (test2_cert, test2_def) = mips_decompile_code "test2"
51 EVAL ``test2 0w``
|
| /seL4-l4v-10.1.1/HOL4/src/boss/ |
| H A D | selftest.sml | 91 val test2 = value
99 (first_match_tac test2 g1)
104 (first_match_tac test2 g2)
|
| /seL4-l4v-10.1.1/HOL4/src/1/ |
| H A D | AC_Sort.sml | 145 val test2 = time intmul ``2 * a * -x * a * 6 * b``
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/model/ |
| H A D | m0AssemblerLib.sml | 348 fun test2 () = function
391 case test2 () of
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
| H A D | testTypesScript.sml | 72 val _ = DataType `:('a,'b)test2` `test2 = Curry of 'a => 'b`;
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/examples/ |
| H A D | testEncode.sml | 22 val _ = Hol_datatype `test2 = Curry of 'a => 'b`;
229 val types = [``:('a,'b) test1``,``:('a,'b) test2``,``:('a,'b,'c) test2b``,``:('a,'b,'c) test2c``,``:('a,'b) test3``,``:labels``,``:noalpha``,``:('a,'b,'c) threecons``,
|
| /seL4-l4v-10.1.1/HOL4/src/new-datatype/ |
| H A D | Witness.sml | 183 fun test2 thm = let
|
| H A D | NDatatype.sml | 442 test2 `X = C (X+(X#X))`
|
| /seL4-l4v-10.1.1/HOL4/src/sort/ |
| H A D | permLib.sml | 414 fun test2 n = let
421 val t2_200 = test2 200;
|