/seL4-l4v-master/HOL4/examples/acl2/lisp/ |
H A D | a2ml.csh | 5 if ( ($#argv != 2) && ($#argv != 3)) then 11 set infile = $argv[1] 12 set outfile = $argv[2] 13 if ( ($#argv == 3)) then 14 set infile_dir = $argv[3]
|
H A D | book-essence.csh | 3 if ($#argv == 2) then 4 set outfile = ' "'$argv[2]'"' 5 else if ($#argv != 1) then 13 set infile = '"'$argv[1]'"'
|
H A D | axioms-essence.csh | 3 if ($#argv == 1) then 4 set outfile = ' "'$argv[1]'"' 5 else if ($#argv != 0) then
|
/seL4-l4v-master/HOL4/examples/formal-languages/regular/regular-play/test/data/ |
H A D | gen.py | 7 size = int(sys.argv[1]) 8 s = sys.argv[2]
|
/seL4-l4v-master/HOL4/examples/acl2/lisp/obsolete/ |
H A D | filter-forms.csh | 7 if ($#argv != 2) then 13 set infile = $argv[1] 14 set outfile = $argv[2]
|
H A D | pprint-file.csh | 7 if ($#argv == 3) then 9 else if ($#argv != 2) then 16 set infile = $argv[1] 17 set outfile = $argv[2]
|
H A D | pprint-axioms.csh | 10 if ($#argv == 0) then 12 else if ($#argv == 1) then 13 set outfile = '"'$argv[1]'"'
|
/seL4-l4v-master/graph-refine/graph-to-graph/wcet_scripts/ |
H A D | unspecified_pre_cond.py | 14 if len(sys.argv) != 3: 15 print "usage: %s original_file output_name" % sys.argv[0] 17 original_name = sys.argv[1] 18 output_name = sys.argv[2]
|
/seL4-l4v-master/HOL4/polyml/ |
H A D | polyimport.c | 39 int main(int argc, char *argv[]) argument 41 return polymain(argc, argv, 0);
|
/seL4-l4v-master/HOL4/polyml/libpolymain/ |
H A D | polystub.c | 40 int main(int argc, char *argv[]) argument 42 return polymain(argc, argv, &poly_exports);
|
/seL4-l4v-master/seL4/manual/tools/ |
H A D | gen_env.py | 15 if len(sys.argv) != 2: 18 output_filename = sys.argv[1] 41 with open(sys.argv[1], "r") as f: 46 with open(sys.argv[1], "w") as f:
|
/seL4-l4v-master/l4v/tools/autocorres/tests/examples/ |
H A D | plus.c | 21 int main(int argc, char **argv) argument
|
/seL4-l4v-master/isabelle/Admin/bash_process/ |
H A D | bash_process.c | 36 int main(int argc, char *argv[]) argument 45 char *pid_name = argv[1]; 46 char *timing_name = argv[2]; 121 argv[i - 3] = argv[i]; 123 argv[argc - 3] = NULL; 124 argv[argc - 2] = NULL; 125 argv[argc - 1] = NULL; 130 execvp("bash", argv);
|
/seL4-l4v-master/l4v/isabelle/Admin/bash_process/ |
H A D | bash_process.c | 36 int main(int argc, char *argv[]) argument 45 char *pid_name = argv[1]; 46 char *timing_name = argv[2]; 121 argv[i - 3] = argv[i]; 123 argv[argc - 3] = NULL; 124 argv[argc - 2] = NULL; 125 argv[argc - 1] = NULL; 130 execvp("bash", argv);
|
/seL4-l4v-master/l4v/isabelle/Admin/Linux/ |
H A D | Isabelle.c | 21 int main(int argc, char *argv[]) argument 26 dcmd = strdup(argv[0]); 37 for (i = 1; i < argc; i++) cmd_line[i] = argv[i];
|
/seL4-l4v-master/isabelle/Admin/Linux/ |
H A D | Isabelle.c | 21 int main(int argc, char *argv[]) argument 26 dcmd = strdup(argv[0]); 37 for (i = 1; i < argc; i++) cmd_line[i] = argv[i];
|
/seL4-l4v-master/l4v/misc/autostop/ |
H A D | killbig.c | 119 void usage(int argc, char **argv) argument 123 argc > 0 ? argv[0] : "killbig"); 126 int main(int argc, char **argv) argument 132 usage(argc, argv); 135 max_mem_usage = (uint64_t)atoll(argv[1]); 137 usage(argc, argv);
|
/seL4-l4v-master/l4v/misc/filemerge/ |
H A D | unicode.py | 27 if len(sys.argv) > 1: 28 f = open(sys.argv[1], 'r')
|
H A D | xsymbol.py | 26 if len(sys.argv) > 1: 27 f = open(sys.argv[1], 'r')
|
/seL4-l4v-master/l4v/misc/zsh/ |
H A D | isabelle_session_names.py | 57 if '-h' in sys.argv or '--help' in sys.argv: 58 print('Usage: %s DIRS...' % sys.argv[0]) 62 for dir in sys.argv[1:]:
|
/seL4-l4v-master/graph-refine/graph-to-graph/ |
H A D | graph_to_graph.py | 34 if len(sys.argv) < 4: 38 entry_point_function = sys.argv[2] 45 dir_name = sys.argv[1] 47 flag = sys.argv[3] 58 if len(sys.argv) < 4:
|
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/adder/ |
H A D | adder.cxx | 46 int main(int argc, char **argv) argument 60 N = atoi(argv[1]); 69 if (strcmp(argv[2], "win2") == 0) 72 if (strcmp(argv[2], "win2ite") == 0) 75 if (strcmp(argv[2], "win3") == 0) 78 if (strcmp(argv[2], "win3ite") == 0) 81 if (strcmp(argv[2], "sift") == 0) 84 if (strcmp(argv[2], "siftite") == 0) 87 if (strcmp(argv[2], "rand") == 0)
|
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | mpoly.h | 51 extern int polymain(int argc, TCHAR **argv, exportDescription *exports);
|
/seL4-l4v-master/HOL4/tools/ |
H A D | holwrap.py | 45 def main(argv): 46 args =" ".join(argv[1:]) # this should be hol and flags for hol 96 main(sys.argv)
|
/seL4-l4v-master/l4v/misc/filemerge/faster/ |
H A D | make_tables.py | 18 def main(argv): 23 options = parser.parse_args(argv[1:]) 51 sys.exit(main(sys.argv))
|