Searched refs:FILE (Results 1 - 25 of 323) sorted by relevance
1234567891011>>
/seL4-l4v-master/HOL4/examples/AI_tasks/ |
H A D | link_sigobj_all.sh | 1 for FILE in $(ls *.sig); do 2 sh link_sigobj.sh $FILE
|
H A D | link_sigobj.sh | 2 FILE=$(pwd)/$1 3 BASE=${FILE%.*}
|
/seL4-l4v-master/l4v/misc/regression/ |
H A D | timeout_output | 10 FILE="$OUTDIR/log/$1_times.txt" 12 if [[ -e $FILE ]] 15 grep '^Long' $FILE | tail -n 10 18 tail -n 10 $FILE 20 echo " (more information might be found in $FILE)" 23 echo " (in $FILE)"
|
/seL4-l4v-master/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-master/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-master/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-master/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-master/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-master/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-master/HOL4/examples/muddy/muddyC/buddy/examples/calculator/ |
H A D | parser.h | 2 FILE: parser.h 31 extern FILE *yyin;
|
/seL4-l4v-master/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-master/HOL4/src/num/theories/ |
H A D | Num_conv.sig | 2 (* FILE : num_conv.sig *)
|
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | mpoly.h | 60 extern FILE *polyStdout, *polyStderr;
|
Completed in 113 milliseconds
1234567891011>>