| /seL4-l4v-10.1.1/HOL4/src/portableML/monads/ |
| H A D | stmonad.sml | 8 val (s1, res) = f s0 value
34 val (s1,a) = sf1 s0 value
|
| /seL4-l4v-10.1.1/l4v/tools/autocorres/tests/proof-tests/ |
| H A D | nested_struct.c | 37 struct s1 { struct
|
| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | struct_locals.c | 11 struct s1 { int fld1; char c; }; struct
|
| H A D | parse_addr.c | 32 struct s s1, s2; variable in typeref:struct:s
|
| /seL4-l4v-10.1.1/HOL4/src/TeX/ |
| H A D | selftest.sml | 12 val s1 = pp_to_string 5 pp_term_as_tex v1 value
17 val s1 = pp_to_string 5 pp_term_as_tex T value
37 val s1 = pp_to_string 5 pp_term_as_tex t1 value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/hoare-triple/ |
| H A D | temporalSyntax.sml | 13 val s1 = syntax_fns 3 HolKernel.dest_monop HolKernel.mk_monop value
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | bddtest.cxx | 52 bdd s1 = bdd_support(even); local
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
| H A D | va_struct1.c | 32 struct small_tag s1; local
59 struct small_tag s1; local
|
| H A D | va_struct2.c | 32 struct small_tag s1; local
61 struct small_tag s1; local
[all...] |
| H A D | va_struct3.c | 32 struct small_tag s1; local
63 struct small_tag s1; local
[all...] |
| H A D | cls_struct_va1.c | 31 struct small_tag s1 = * (struct small_tag *) args[1]; local
57 struct small_tag s1; local
|
| H A D | va_1.c | 32 struct small_tag s1; local
92 struct small_tag s1; local
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
| H A D | preARMSyntax.sml | 66 val s1 = mk_list (List.map to_exp slist, Type `:EXP`); value
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/ |
| H A D | preARMSyntax.sml | 66 val s1 = mk_list (List.map to_exp slist, Type `:EXP`); value
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/ |
| H A D | preARMSyntax.sml | 66 val s1 = mk_list (List.map to_exp slist, Type `:EXP`); value
|
| /seL4-l4v-10.1.1/HOL4/src/marker/ |
| H A D | markerSyntax.sml | 32 let val (s1,rhs1) = dest_abbrev a1 value
|
| /seL4-l4v-10.1.1/HOL4/src/monad/more_monads/ |
| H A D | state_transformerSyntax.sml | 13 val s1 = syntax 2 HolKernel.dest_monop HolKernel.mk_monop value
|
| /seL4-l4v-10.1.1/seL4/src/ |
| H A D | util.c | 83 strncmp(const char* s1, const char* s2, int n) argument
|
| /seL4-l4v-10.1.1/HOL4/src/patricia/ |
| H A D | sptreeSyntax.sml | 34 val s1 = HolKernel.syntax_fns1 "sptree" value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/HolCheck/ |
| H A D | decompTools.sml | 180 let val s1 = mk_state S01 TS1 value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/ |
| H A D | armAssemblerLib.sml | 56 val (s1, _) = L3.splitl (fn c => c <> #";", s) value
60 val s1 = stripSpaces s1 value
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/model/ |
| H A D | arm8AssemblerLib.sml | 81 val (s1, _) = L3.splitl (fn c => c <> #";", s) value
85 val s1 = stripSpaces s1 value
|
| /seL4-l4v-10.1.1/HOL4/examples/pgcl/src/ |
| H A D | posrealTools.sml | 192 val (s1,t1) = dest_inv inv (rand a1) value
|
| /seL4-l4v-10.1.1/HOL4/help/src-sml/ |
| H A D | Database.sml | 108 val s1 = readString is value
|
| /seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | types.h | 50 seL4_Word s1; member in struct:seL4_UserContext_
|