Searched refs:process_args (Results 1 - 9 of 9) sorted by relevance
| /seL4-l4v-master/HOL4/tools/set_mtime/ |
| H A D | set_mtime.sml | 21 fun process_args (qf0,df0) args = function
24 | "-q" :: rest => process_args (true, df0) args
25 | "-d" :: rest => process_args (qf0, true) args
41 process_args (false,false) (CommandLine.arguments())
|
| /seL4-l4v-master/HOL4/tools/Holmake/poly/ |
| H A D | BuildCommand.sml | 42 fun process_args [] = () function
43 | process_args ("-c"::rest) = (c := true; process_args rest)
44 | process_args ("-q"::rest) = process_args rest
45 | process_args ("-toplevel"::rest) = process_args rest
46 | process_args ("-o"::arg::rest) = (obj := SOME arg; process_args rest)
47 | process_args ("
[all...] |
| /seL4-l4v-master/HOL4/examples/PSL/1.01/parser/ |
| H A D | ParserTools.sml | 452 fun process_args ["-all","-sere",r,"-path",p] = function
454 | process_args ["-all","-fl",f,"-path",p] =
456 | process_args ["-sere",r,"-path",p] =
460 | process_args ["-fl",f,"-path",p] =
464 | process_args _ = "bad arguments to pslcheck";
467 process_args ["-all", "-sere", "{{a;b}@clk1;c}@clk2",
470 process_args [ "-sere", "{{a;b}@clk1;c}@clk2",
473 process_args ["-all", "-fl", "(a until! b)@clk",
476 process_args [ "-fl", "(a until! b)@clk",
|
| /seL4-l4v-master/seL4/manual/tools/ |
| H A D | gen_invocations.py | 102 def process_args(): function
122 parser = process_args()
|
| H A D | parse_doxygen_xml.py | 538 def process_args(): function
558 args = process_args().parse_args()
|
| /seL4-l4v-master/HOL4/examples/PSL/1.01/standalone/ |
| H A D | pslcheck.sml | 39 val _ = print (process_args(CommandLine.arguments()) ^ "\n")
|
| /seL4-l4v-master/HOL4/examples/dev/sw2/ |
| H A D | defunctionalize.sml | 465 fun process_args args = function
468 val (assms1, arg1') = process_args arg1
469 val (assms2, arg2') = process_args arg2
505 val (assums, new_args) = process_args args
|
| /seL4-l4v-master/seL4/manual/tools/libsel4_tools/ |
| H A D | syscall_stub_gen.py | 1037 def process_args(): function
1069 parser = process_args()
|
| /seL4-l4v-master/seL4/libsel4/tools/ |
| H A D | syscall_stub_gen.py | 1037 def process_args(): function
1069 parser = process_args()
|
Completed in 63 milliseconds