Searched refs:FILE (Results 1 - 25 of 302) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/l4v/misc/regression/
H A Dtimeout_output16 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 Dmake_mlyacclib18 (* 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 Dmake_tptp_parser20 (* 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 Dmake_mlyacclib18 (* 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 Dmake_tptp_parser20 (* 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 Dtptp_isabelle29 for FILE in "$@"
32 ML {* ATP_Problem_Import.isabelle_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
H A Dtptp_isabelle_hot29 for FILE in "$@"
32 ML {* ATP_Problem_Import.isabelle_hot_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
H A Dtptp_nitpick29 for FILE in "$@"
32 ML {* ATP_Problem_Import.nitpick_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
H A Dtptp_refute28 for FILE in "$@"
31 ML {* ATP_Problem_Import.refute_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
H A Dtptp_sledgehammer29 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 Dtptp_isabelle29 for FILE in "$@"
32 ML {* ATP_Problem_Import.isabelle_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
H A Dtptp_isabelle_hot29 for FILE in "$@"
32 ML {* ATP_Problem_Import.isabelle_hot_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
H A Dtptp_nitpick29 for FILE in "$@"
32 ML {* ATP_Problem_Import.nitpick_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
H A Dtptp_refute28 for FILE in "$@"
31 ML {* ATP_Problem_Import.refute_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
H A Dtptp_sledgehammer29 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 Dlatex13 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 Dlatex13 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 Dparser.h2 FILE: parser.h
31 extern FILE *yyin;
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbddtree.h32 FILE: tree.h
55 void bddtree_print(FILE *, BddTree *, int);
H A Dimatrix.h31 FILE: imatrix.h
49 extern void imatrixFPrint(imatrix*,FILE *);
H A Dbddio.c32 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 DNum_conv.sig2 (* FILE : num_conv.sig *)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Ddiagnostics.cpp73 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 Dtypes.ml2 % FILE : types.ml %
/seL4-l4v-10.1.1/HOL4/src/datatype/mutrec/
H A DMutRecDef.sig2 (* FILE : mut_rec_ty.sig *)

Completed in 176 milliseconds

1234567891011>>