/seL4-l4v-master/HOL4/polyml/ |
H A D | polyimport.c | 39 int main(int argc, char *argv[]) argument 41 return polymain(argc, argv, 0);
|
H A D | polyexports.h | 107 int polymain(int argc, char *argv[], exportDescription *exports);
|
H A D | ltmain.sh | 5729 main (int argc, char *argv[]) 5743 newargz = XMALLOC (char *, (size_t) argc + 1); 5750 for (i = 1; i < argc; i++) 6351 size_t argc; 6356 for (argc = 0; argv[argc] != NULL; argc++) 6360 new_argv = XMALLOC (char *, argc + 1); 6363 for (i = 0; i < argc; i++) 6431 new_argv[argc] [all...] |
H A D | config.guess | 482 int main (int argc, char *argv[]) { 484 int main (argc, argv) int argc; char *argv[]; {
|
H A D | configure | 4442 int argc; 17260 int argc; 18463 main (int argc, char **argv) 18465 return find_stack_direction (0, argc + !argv + 20) < 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/l4v/tools/autocorres/tests/examples/ |
H A D | plus.c | 21 int main(int argc, char **argv) argument
|
/seL4-l4v-master/l4v/isabelle/Admin/Linux/ |
H A D | Isabelle.c | 21 int main(int argc, char *argv[]) argument 29 cmd_line = malloc(sizeof(char *) * (argc + 1)); 37 for (i = 1; i < argc; i++) cmd_line[i] = argv[i]; 39 cmd_line[argc] = NULL;
|
/seL4-l4v-master/isabelle/Admin/Linux/ |
H A D | Isabelle.c | 21 int main(int argc, char *argv[]) argument 29 cmd_line = malloc(sizeof(char *) * (argc + 1)); 37 for (i = 1; i < argc; i++) cmd_line[i] = argv[i]; 39 cmd_line[argc] = NULL;
|
/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 131 if (argc < 2) { 132 usage(argc, argv); 137 usage(argc, argv);
|
H A D | stop.c | 351 void usage(int argc, char **argv) argument 359 argc > 0 ? argv[0] : "autostop"); 362 int main(int argc, char **argv) argument 371 if (argc < 2) { 377 usage(argc, argv); 383 suspects = argc > 2 ? &argv[2] : NULL;
|
/seL4-l4v-master/isabelle/Admin/bash_process/ |
H A D | bash_process.c | 36 int main(int argc, char *argv[]) argument 40 if (argc < 3) { 120 for (i = 3; i < argc; i++) { 123 argv[argc - 3] = NULL; 124 argv[argc - 2] = NULL; 125 argv[argc - 1] = NULL;
|
/seL4-l4v-master/l4v/isabelle/Admin/bash_process/ |
H A D | bash_process.c | 36 int main(int argc, char *argv[]) argument 40 if (argc < 3) { 120 for (i = 3; i < argc; i++) { 123 argv[argc - 3] = NULL; 124 argv[argc - 2] = NULL; 125 argv[argc - 1] = NULL;
|
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | mpoly.h | 51 extern int polymain(int argc, TCHAR **argv, exportDescription *exports);
|
H A D | mpoly.cpp | 215 int polymain(int argc, TCHAR **argv, exportDescription *exports) argument 228 if (argc > 0) 237 userOptions.user_arg_strings = (TCHAR**)malloc(argc * sizeof(TCHAR*)); // Enough room for all of them 241 for (int i = 1; i < argc; i++) 265 if (i >= argc)
|
H A D | xwindows.cpp | 6165 int argc = 0; /* an "int" for Solaris, but should be "unsigned" for SunOS */ local 6182 display = XtOpenDisplay(app_context,displayName,appName,appClass,NULL,0,&argc,0); 6300 {"argv" ,(char *) "argc"},
|
/seL4-l4v-master/l4v/misc/filemerge/faster/ |
H A D | translate.cpp | 105 static int parse_args(int argc, char **argv, Options &options) { argument 116 int c = getopt_long(argc, argv, "ai:o:u", opts, &index); 159 int main(int argc, char **argv) { argument 166 if (parse_args(argc, argv, options) != 0)
|
/seL4-l4v-master/HOL4/src/integer/testing/ |
H A D | tcooper.c | 22 int main(int argc, char *argv[]) argument 25 int timeout = argc > 3 ? atoi(argv[3]) : 5; 27 if (argc < 3) {
|
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/adder/ |
H A D | adder.cxx | 46 int main(int argc, char **argv) argument 51 if(argc < 2 || argc > 3) 67 if (argc == 3)
|
/seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
H A D | parse_complit.c | 75 int main(int argc, char**argv) argument
|
/seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/bin/ |
H A D | wrapper.c | 119 int main(int argc, char** argv) { argument 146 if (1 < argc) {
|
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ |
H A D | Main.C | 200 int main(int argc, char** argv) argument 210 for (int i = 1; i < argc; i++){ 218 i++; if (i >= argc) fprintf(stderr, "ERROR! Missing filename after '-r' option.\n"); 222 i++; if (i >= argc) fprintf(stderr, "ERROR! Missing filename after '-p' option.\n");
|
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/milner/ |
H A D | milner.cxx | 97 int main(int argc, char** argv) argument 100 if(argc < 2)
|
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/zc2hs/ |
H A D | zc2hs.cpp | 453 int main(int argc, char** argv) { argument 461 for (int i = 1; i < argc; i++) { 472 i++; if (i >= argc) fprintf(stderr, "ERROR! Missing filename after '-m' option.\n"); 476 i++; if (i >= argc) fprintf(stderr, "ERROR! Missing filename after '-z' option.\n");
|
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/cmilner/ |
H A D | milner.c | 227 int main(int argc, char** argv) argument 234 if(argc < 2)
|