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