Searched refs:test3 (Results 1 - 10 of 10) sorted by relevance
| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | jiraver332.c | 30 int test3 = (i << larg); /* [A- = 5, B+ = -, C- = 1] */ local
|
| H A D | globals_fn.c | 43 int test3(int (*arrayptr)[10], int i) function
|
| H A D | jiraver881.c | 36 void test3(void) { function
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/decompiler/ |
| H A D | arm8_decomp_demoScript.sml | 17 val (test3_cert, test3_def) = arm8_decompLib.arm8_decompile_code "test3"
|
| /seL4-l4v-10.1.1/HOL4/src/datatype/mutrec/examples/ |
| H A D | test.sml | 40 constructors=[{name ="test3", arg_info=[]}]}]
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/mips/decompiler/ |
| H A D | mips_decomp_demoScript.sml | 20 val (test3_cert, test3_def) = mips_decompile_code "test3"
55 EVAL ``test3 (0w, int_to_fp64 roundTiesToEven (-4), 0w)``
|
| /seL4-l4v-10.1.1/HOL4/src/boss/ |
| H A D | selftest.sml | 106 val (test3:matcher list * mg_tactic) = value
122 (match_tac test3 g3)
|
| /seL4-l4v-10.1.1/HOL4/src/1/ |
| H A D | AC_Sort.sml | 146 val test3 = time intmul ``x:int * y`` (* UNCHANGED *)
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
| H A D | testTypesScript.sml | 75 val _ = DataType `:('a,'b) test3` `test3 = Sum1 of 'a | Sum2 of 'b`;
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/examples/ |
| H A D | testEncode.sml | 25 val _ = Hol_datatype `test3 = Sum1 of 'a | Sum2 of '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``,
|
Completed in 55 milliseconds