Searched refs:usage (Results 1 - 25 of 194) sorted by relevance

12345678

/seL4-l4v-master/isabelle/lib/Tools/
H A Denv12 function usage() function
26 [ "$1" = "-?" ] && usage
H A Dversion11 function usage() function
44 usage
54 [ "$#" -ne 0 ] && usage
H A Dclient9 function usage() function
48 usage
58 [ "$#" -ne 0 ] && usage
H A Dgetenv12 function usage() function
50 usage
60 [ -z "$ALL" -a -z "$DUMP" -a "$#" -eq 0 ] && usage
61 [ -n "$ALL" -a "$#" -ne 0 ] && usage
H A Ddisplay10 function usage() function
29 [ "$#" -ne 1 -o "$1" = "-?" ] && usage
H A Dinstall10 function usage() function
46 usage
57 [ "$#" -ne 0 -o -z "$BINDIR" ] && usage
H A Dlogo10 function usage() function
48 usage
61 [ "$#" -ne 0 ] && usage
/seL4-l4v-master/l4v/isabelle/lib/Tools/
H A Denv12 function usage() function
26 [ "$1" = "-?" ] && usage
H A Dversion11 function usage() function
44 usage
54 [ "$#" -ne 0 ] && usage
H A Dclient9 function usage() function
48 usage
58 [ "$#" -ne 0 ] && usage
H A Dgetenv12 function usage() function
50 usage
60 [ -z "$ALL" -a -z "$DUMP" -a "$#" -eq 0 ] && usage
61 [ -n "$ALL" -a "$#" -ne 0 ] && usage
H A Ddisplay10 function usage() function
29 [ "$#" -ne 1 -o "$1" = "-?" ] && usage
H A Dinstall10 function usage() function
46 usage
57 [ "$#" -ne 0 -o -z "$BINDIR" ] && usage
H A Dlogo10 function usage() function
48 usage
61 [ "$#" -ne 0 ] && usage
/seL4-l4v-master/isabelle/Admin/bash_process/
H A Dbuild11 function usage() function
28 [ "$#" -eq 0 ] && usage
31 [ "$#" -eq 0 ] || usage
/seL4-l4v-master/l4v/isabelle/Admin/bash_process/
H A Dbuild11 function usage() function
28 [ "$#" -eq 0 ] && usage
31 [ "$#" -eq 0 ] || usage
/seL4-l4v-master/HOL4/tools/mlyacc/src/
H A Dmain.sml5 fun usage () = function
14 | _ => usage()
/seL4-l4v-master/l4v/tools/proofcount/lib/Tools/
H A Dproofcount15 function usage() { function
78 [ -z "$PROOFCOUNT_CURRENT_METRIC" ] && usage
82 [ -z "$PROOFCOUNT_CURRENT_METRIC" ] && usage
86 [ -z "$PROOFCOUNT_CURRENT_METRIC" ] && usage
90 [ -z "$PROOFCOUNT_CURRENT_METRIC" ] && usage
109 usage
147 [ -z "$PROOFCOUNT_XML" ] && usage
151 [ -z "$PROOFCOUNT_LOGIC" ] && usage
152 [ -z "$PROOFCOUNT_IMPORT_THEORY" ] && usage
241 [ -z "$PROOFCOUNT_LOGIC" ] && usage
[all...]
/seL4-l4v-master/isabelle/src/HOL/TPTP/lib/Tools/
H A Dtptp_isabelle10 function usage() { function
20 [ "$#" -eq 0 -o "$1" = "-?" ] && usage
H A Dtptp_isabelle_hot10 function usage() { function
20 [ "$#" -eq 0 -o "$1" = "-?" ] && usage
H A Dtptp_nitpick10 function usage() { function
20 [ "$#" -eq 0 -o "$1" = "-?" ] && usage
H A Dtptp_refute10 function usage() { function
19 [ "$#" -eq 0 -o "$1" = "-?" ] && usage
H A Dtptp_sledgehammer10 function usage() { function
20 [ "$#" -eq 0 -o "$1" = "-?" ] && usage
H A Dtptp_translate10 function usage() { function
20 [ "$#" -ne 2 -o "$1" = "-?" ] && usage
/seL4-l4v-master/l4v/isabelle/src/HOL/TPTP/lib/Tools/
H A Dtptp_isabelle10 function usage() { function
20 [ "$#" -eq 0 -o "$1" = "-?" ] && usage

Completed in 139 milliseconds

12345678