| /seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/ |
| H A D | plus.c | 23 int main(int argc, char **argv) { argument
|
| /seL4-l4v-10.1.1/isabelle/Admin/Linux/ |
| H A D | Isabelle.c | 20 int main(int argc, char *argv[]) argument
|
| /seL4-l4v-10.1.1/l4v/isabelle/Admin/Linux/ |
| H A D | Isabelle.c | 20 int main(int argc, char *argv[]) argument
|
| /seL4-l4v-10.1.1/HOL4/polyml/ |
| H A D | polyimport.c | 39 int main(int argc, char *argv[]) argument
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolymain/ |
| H A D | polystub.c | 40 int main(int argc, char *argv[]) argument
|
| /seL4-l4v-10.1.1/HOL4/src/integer/testing/ |
| H A D | tcooper.c | 22 int main(int argc, char *argv[]) argument
|
| /seL4-l4v-10.1.1/isabelle/Admin/bash_process/ |
| H A D | bash_process.c | 36 int main(int argc, char *argv[]) argument
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/adder/ |
| H A D | adder.cxx | 46 int main(int argc, char **argv) argument
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/milner/ |
| H A D | milner.cxx | 97 int main(int argc, char** argv) argument
|
| /seL4-l4v-10.1.1/l4v/isabelle/Admin/bash_process/ |
| H A D | bash_process.c | 36 int main(int argc, char *argv[]) argument
|
| /seL4-l4v-10.1.1/l4v/misc/autostop/ |
| H A D | killbig.c | 121 void usage(int argc, char **argv) argument
128 int main(int argc, char **argv) argument
|
| H A D | stop.c | 337 void usage(int argc, char **argv) argument
348 int main(int argc, char **argv) argument
|
| /seL4-l4v-10.1.1/l4v/misc/filemerge/faster/ |
| H A D | translate.cpp | 110 static int parse_args(int argc, char **argv, Options &options) { argument
164 int main(int argc, char **argv) { argument
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/cmilner/ |
| H A D | milner.c | 227 int main(int argc, char** argv) argument
|
| /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/bin/ |
| H A D | wrapper.c | 119 int main(int argc, char** argv) { argument
|
| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | parse_complit.c | 79 int main(int argc, char**argv) argument
|
| /seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/ |
| H A D | Main.C | 200 int main(int argc, char** argv) argument
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | mpoly.cpp | 206 int polymain(int argc, TCHAR **argv, exportDescription *exports) argument
|
| H A D | xwindows.cpp | 6191 int argc = 0; /* an "int" for Solaris, but should be "unsigned" for SunOS */ local
|
| /seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/zc2hs/ |
| H A D | zc2hs.cpp | 453 int main(int argc, char** argv) { argument
|