/seL4-l4v-master/HOL4/examples/l3-machine-code/common/ |
H A D | spec_databaseLib.sig | |
H A D | spec_databaseLib.sml | 106 val opt = !current_opt value 120 val opt = !current_opt value [all...] |
/seL4-l4v-master/HOL4/examples/CCS/ |
H A D | ObsCongrLib.sml | 61 val (opt, t1, t2) = args_equiv w value 79 val (opt, t1, t2) = args_equiv w value
|
H A D | WeakEQLib.sml | 60 val (opt, t1, t2) = args_equiv w value 78 val (opt, t1, t2) = args_equiv w value
|
H A D | ObsCongrConv.sml | 119 val (opt, t1, t2) = args_equiv w value
|
H A D | StrongEQLib.sml | 56 val (opt, t1, t2) = args_equiv w value 76 val (opt, t1, t2) = args_equiv w value 188 val (opt, t1, t2) = args_equiv w value
|
H A D | WeakLawsConv.sml | 51 val (opt, t1, t2) = args_equiv w value 221 val (opt, t1, t2) = args_equiv w value
|
/seL4-l4v-master/HOL4/tools/Holmake/ |
H A D | GetOpt.sml | 105 val (opt, arg) = breakAtEq subs value
|
/seL4-l4v-master/l4v/tools/c-parser/standalone-parser/ |
H A D | GetOpt.sml | 112 val (opt, arg) = breakeq subs value
|
/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | Options.sig | 21 type opt = type
|
H A D | Options.sml | 19 type opt = {switches : string list, arguments : string list, type
|
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Options.sig | 21 type opt = type
|
H A D | Options.sml | 19 type opt = {switches : string list, arguments : string list, type
|
/seL4-l4v-master/seL4/src/arch/x86/kernel/ |
H A D | cmdline.c | 32 static int UNUSED parse_opt(const char *cmdline, const char *opt, char *value, int bufsize) argument 62 static int parse_bool(const char *cmdline, const char *opt) argument
|
/seL4-l4v-master/graph-refine/graph-to-graph/ |
H A D | reconstruct.py | 472 opt = '--follow' variable 481 opt = argv[1] variable [all...] |
/seL4-l4v-master/HOL4/examples/dev/sw2/ |
H A D | regAlloc.sml | 351 let val opt = value 560 val opt = List.find (fn x => is_mem x andalso value
|
/seL4-l4v-master/HOL4/examples/ARM/v7/ |
H A D | arm_disassemblerLib.sml | 64 fun opt b c x = if b then x ^ c else x function [all...] |
H A D | arm_random_testingLib.sml | 734 val opt = String.concat [arch, ", ", block, ", ", value
|
H A D | arm_stepLib.sml | 1205 val opt = process_options options value [all...] |
/seL4-l4v-master/HOL4/src/metis/ |
H A D | mlibMeson.sml | 274 val opt = if 1 <= sort_literals then sort_lits else I value
|
/seL4-l4v-master/HOL4/examples/ARM_security_properties/ |
H A D | ARM_proverLib.sml | 711 val (opt , body) = hd(List.rev(case_options)) value
|
/seL4-l4v-master/HOL4/src/TeX/ |
H A D | mungeTools.sml | 7 datatype opt = Turnstile | Case | TT | Def | SpacedDef | AlignedDef type
|
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm8/prog/ |
H A D | arm8_progLib.sml | 462 type opt = {gpr_map: bool, mem: memory, temporal: bool, newline: bool} type 653 val opt = process_rule_options options value [all...] |
/seL4-l4v-master/HOL4/examples/l3-machine-code/m0/prog/ |
H A D | m0_progLib.sml | 457 type opt = {gpr_map: bool, mem: memory, temporal: bool} type 586 val opt = process_rule_options options value [all...] |
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm/prog/ |
H A D | arm_progLib.sml | 622 type opt = {gpr_map: bool, fpr_map: bool, mem: memory, temporal: bool} type 778 val opt = process_rule_options options value [all...] |