| /seL4-l4v-master/HOL4/src/portableML/monads/ |
| H A D | stmonad.sml | 35 val (s2,b) = sf2 s1 value
|
| /seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
| H A D | struct_locals.c | 14 struct s2 {int myfld; char *cptr;}; struct
|
| H A D | parse_addr.c | 28 struct s s1, s2; variable in typeref:struct:
|
| /seL4-l4v-master/l4v/tools/autocorres/tests/proof-tests/ |
| H A D | nested_struct.c | 38 struct s2 { struct
|
| /seL4-l4v-master/HOL4/src/TeX/ |
| H A D | selftest.sml | 13 val s2 = pp_to_string 5 (raw_pp_term_as_tex(fn"v2"=>SOME("v1",2)|_=>NONE)) v2 value
18 val s2 = pp_to_string 5 (raw_pp_term_as_tex(fn"F"=>SOME("T",1)|_=>NONE)) F value
38 val s2 = pp_to_string 5 (raw_pp_term_as_tex(fn"TOK2"=>SOME("TOK1",3)|_=>NONE)) t2 value
|
| /seL4-l4v-master/HOL4/examples/machine-code/hoare-triple/ |
| H A D | temporalSyntax.sml | 14 val s2 = syntax_fns 4 HolKernel.dest_binop HolKernel.mk_binop value
|
| /seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | bddtest.cxx | 53 bdd s2 = bdd_support(odd); local
|
| /seL4-l4v-master/HOL4/src/monad/more_monads/ |
| H A D | state_transformerSyntax.sml | 14 val s2 = syntax 3 HolKernel.dest_binop HolKernel.mk_binop value
|
| /seL4-l4v-master/seL4/src/ |
| H A D | util.c | 75 int PURE strncmp(const char *s1, const char *s2, int n) argument
|
| /seL4-l4v-master/HOL4/examples/HolCheck/ |
| H A D | decompTools.sml | 181 val s2 = mk_state S02 TS2 value
[all...] |
| /seL4-l4v-master/HOL4/help/src-sml/ |
| H A D | Database.sml | 109 val s2 = readString is value
|
| /seL4-l4v-master/HOL4/examples/pgcl/src/ |
| H A D | posrealTools.sml | 193 val (s2,t2) = dest_inv inv (rand (rator b1)) value
|
| /seL4-l4v-master/HOL4/src/AI/sml_inspection/ |
| H A D | smlExecute.sml | 72 val s2 = smlLexer.partial_sml_lexer s1 value
|
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/ |
| H A D | ACF.sml | 19 val s2 = #1 (dest_var t2) value
|
| H A D | annotatedIR.sml | [all...] |
| /seL4-l4v-master/HOL4/examples/dev/sw2/ |
| H A D | funcCall.sml | 134 val s2 = S.difference(s1, S.addList(S.empty tvarOrder, strip_pair dst)) value
|
| /seL4-l4v-master/HOL4/src/finite_maps/ |
| H A D | sptreeSyntax.sml | 50 val s2 = HolKernel.syntax_fns2 "sptree" value
[all...] |
| /seL4-l4v-master/HOL4/examples/l3-machine-code/x64/model/ |
| H A D | x64AssemblerLib.sml | 77 val s2 = sub 2 value
|
| /seL4-l4v-master/HOL4/examples/miller/ho_prover/ |
| H A D | unifyTools.sml | 191 val s2 = ((bvs1, b1), (bvs2, b2)) value
|
| /seL4-l4v-master/HOL4/src/opentheory/ |
| H A D | OpenTheoryMap.sml | 53 val s2 = List.foldl f "" l2 value
|
| /seL4-l4v-master/seL4/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | types.h | 36 seL4_Word s2; member in struct:seL4_UserContext_
|
| /seL4-l4v-master/HOL4/src/marker/ |
| H A D | markerSyntax.sml | 34 val (s2,rhs2) = dest_abbrev a2 value
|
| /seL4-l4v-master/HOL4/examples/dev/sw/ |
| H A D | annotatedIR.sml | [all...] |
| H A D | IR.sml | [all...] |
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/ |
| H A D | annotatedIR.sml | [all...] |