Searched refs:FILE (Results 1 - 25 of 302) sorted by relevance
1234567891011>>
/seL4-l4v-10.1.1/l4v/misc/regression/ |
H A D | timeout_output | 16 FILE="$OUTDIR/log/$1_times.txt" 18 if [[ -e $FILE ]] 21 grep '^Long' $FILE | tail -n 10 24 tail -n 10 $FILE 26 echo " (more information might be found in $FILE)" 29 echo " (in $FILE)"
|
/seL4-l4v-10.1.1/isabelle/src/HOL/TPTP/TPTP_Parser/ |
H A D | make_mlyacclib | 18 (* GENERATED FILE -- DO NOT EDIT -- GENERATED FILE -- DO NOT EDIT *) 19 (* GENERATED FILE -- DO NOT EDIT -- GENERATED FILE -- DO NOT EDIT *) 20 (* GENERATED FILE -- DO NOT EDIT -- GENERATED FILE -- DO NOT EDIT *) 31 for FILE in $MLYACCLIB_FILES 34 echo "(**** Original file: $FILE ****)" 36 echo -e " $FILE" >&2 44 $MLYACCDIR/lib/$FILE [all...] |
H A D | make_tptp_parser | 20 (* GENERATED FILE -- DO NOT EDIT -- GENERATED FILE -- DO NOT EDIT *) 21 (* GENERATED FILE -- DO NOT EDIT -- GENERATED FILE -- DO NOT EDIT *) 22 (* GENERATED FILE -- DO NOT EDIT -- GENERATED FILE -- DO NOT EDIT *) 31 for FILE in $INTERMEDIATE_FILES 35 -e 's/\b(Char\.ord\()CharVector\.sub\b/\1String\.sub/g;' $FILE
|
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/ |
H A D | make_mlyacclib | 18 (* GENERATED FILE -- DO NOT EDIT -- GENERATED FILE -- DO NOT EDIT *) 19 (* GENERATED FILE -- DO NOT EDIT -- GENERATED FILE -- DO NOT EDIT *) 20 (* GENERATED FILE -- DO NOT EDIT -- GENERATED FILE -- DO NOT EDIT *) 31 for FILE in $MLYACCLIB_FILES 34 echo "(**** Original file: $FILE ****)" 36 echo -e " $FILE" >&2 44 $MLYACCDIR/lib/$FILE [all...] |
H A D | make_tptp_parser | 20 (* GENERATED FILE -- DO NOT EDIT -- GENERATED FILE -- DO NOT EDIT *) 21 (* GENERATED FILE -- DO NOT EDIT -- GENERATED FILE -- DO NOT EDIT *) 22 (* GENERATED FILE -- DO NOT EDIT -- GENERATED FILE -- DO NOT EDIT *) 31 for FILE in $INTERMEDIATE_FILES 35 -e 's/\b(Char\.ord\()CharVector\.sub\b/\1String\.sub/g;' $FILE
|
/seL4-l4v-10.1.1/isabelle/src/HOL/TPTP/lib/Tools/ |
H A D | tptp_isabelle | 29 for FILE in "$@" 32 ML {* ATP_Problem_Import.isabelle_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
|
H A D | tptp_isabelle_hot | 29 for FILE in "$@" 32 ML {* ATP_Problem_Import.isabelle_hot_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
|
H A D | tptp_nitpick | 29 for FILE in "$@" 32 ML {* ATP_Problem_Import.nitpick_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
|
H A D | tptp_refute | 28 for FILE in "$@" 31 ML {* ATP_Problem_Import.refute_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
|
H A D | tptp_sledgehammer | 29 for FILE in "$@" 32 ML {* ATP_Problem_Import.sledgehammer_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
|
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/TPTP/lib/Tools/ |
H A D | tptp_isabelle | 29 for FILE in "$@" 32 ML {* ATP_Problem_Import.isabelle_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
|
H A D | tptp_isabelle_hot | 29 for FILE in "$@" 32 ML {* ATP_Problem_Import.isabelle_hot_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
|
H A D | tptp_nitpick | 29 for FILE in "$@" 32 ML {* ATP_Problem_Import.nitpick_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
|
H A D | tptp_refute | 28 for FILE in "$@" 31 ML {* ATP_Problem_Import.refute_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
|
H A D | tptp_sledgehammer | 29 for FILE in "$@" 32 ML {* ATP_Problem_Import.sledgehammer_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
|
/seL4-l4v-10.1.1/isabelle/lib/Tools/ |
H A D | latex | 13 echo "Usage: isabelle $PRG [OPTIONS] [FILE]" 18 echo " Run LaTeX (and related tools) on FILE (default root.tex)," 54 FILE="root.tex" 55 [ "$#" -ge 1 ] && { FILE="$1"; shift; } 64 DIR="$(dirname "$FILE")" 65 FILEBASE="$(basename "$FILE" .tex)" 68 function check_root () { [ -f "$FILEBASE.tex" ] || fail "Bad file '$FILE'"; }
|
/seL4-l4v-10.1.1/l4v/isabelle/lib/Tools/ |
H A D | latex | 13 echo "Usage: isabelle $PRG [OPTIONS] [FILE]" 18 echo " Run LaTeX (and related tools) on FILE (default root.tex)," 54 FILE="root.tex" 55 [ "$#" -ge 1 ] && { FILE="$1"; shift; } 64 DIR="$(dirname "$FILE")" 65 FILEBASE="$(basename "$FILE" .tex)" 68 function check_root () { [ -f "$FILEBASE.tex" ] || fail "Bad file '$FILE'"; }
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/calculator/ |
H A D | parser.h | 2 FILE: parser.h 31 extern FILE *yyin;
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
H A D | bddtree.h | 32 FILE: tree.h 55 void bddtree_print(FILE *, BddTree *, int);
|
H A D | imatrix.h | 31 FILE: imatrix.h 49 extern void imatrixFPrint(imatrix*,FILE *);
|
H A D | bddio.c | 32 FILE: bddio.c 44 static void bdd_printset_rec(FILE *, int, int *); 45 static void bdd_fprintdot_rec(FILE*, BDD); 46 static int bdd_save_rec(FILE*, int); 47 static int bdd_loaddata(FILE *); 79 void printhandler(FILE *o, int var) 109 void bdd_fprintall(FILE* ofile) *} 125 void bdd_fprintall(FILE *ofile) 153 void bdd_fprinttable(FILE* ofile, BDD r) *} 169 void bdd_fprinttable(FILE *ofil [all...] |
/seL4-l4v-10.1.1/HOL4/src/num/theories/ |
H A D | Num_conv.sig | 2 (* FILE : num_conv.sig *)
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | diagnostics.cpp | 73 extern FILE *polyStdout; 150 static FILE *logStream = NULL; 153 static FILE *logStream = stdout; 159 FILE *stream = _wfopen(fileName, L"w"); 164 FILE *stream = fopen(fileName, "w");
|
/seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/mos-count/ |
H A D | types.ml | 2 % FILE : types.ml %
|
/seL4-l4v-10.1.1/HOL4/src/datatype/mutrec/ |
H A D | MutRecDef.sig | 2 (* FILE : mut_rec_ty.sig *)
|
Completed in 176 milliseconds
1234567891011>>