Searched defs:options (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-master/l4v/misc/filemerge/faster/
H A Dtranslate.cpp105 static int parse_args(int argc, char **argv, Options &options) { argument
164 Options options; local
[all...]
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dosmemwin.cpp212 DWORD options = MEM_RESERVE | MEM_COMMIT; local
234 DWORD options = MEM_RESERVE | MEM_COMMIT; local
/seL4-l4v-master/HOL4/tools/Holmake/
H A DGetOpt.sml157 val options = value
[all...]
/seL4-l4v-master/l4v/tools/c-parser/standalone-parser/
H A DGetOpt.sml114 val options = List.filter value
154 val options = value
[all...]
H A Dmain.sml440 val options = let value
/seL4-l4v-master/HOL4/developers/
H A DgenUseScript.sml126 val options : (config -> config) GetOpt.opt_descr list = let value
/seL4-l4v-master/HOL4/tools/unicode-grep/
H A Dugrep.sml253 val options = let value
/seL4-l4v-master/HOL4/examples/ARM/v7/eval/
H A Demit_eval.sml698 val options = valOf (TextIO.inputLine TextIO.stdIn) value
H A Darm_evalLib.sml384 val options = List.tabulate (33, rname) @ value
/seL4-l4v-master/HOL4/examples/ARM/v7/
H A Darm_stepLib.sml326 type options = type

Completed in 125 milliseconds