/seL4-l4v-master/l4v/tools/asmrefine/ |
H A D | Makefile | 7 default: AsmRefineTest
|
/seL4-l4v-master/l4v/sys-init/ |
H A D | Makefile | 9 default: images test
|
/seL4-l4v-master/HOL4/examples/formal-languages/regular/ |
H A D | vec_mapScript.sml | 13 (alist_to_vec l default 0 max = []) /\ 14 (alist_to_vec [] default (SUC n) max = default :: alist_to_vec [] default n max) /\ 15 (alist_to_vec ((x,y)::t) default (SUC n) max = 18 y :: alist_to_vec t default n max 20 alist_to_vec t default (SUC n) max 22 default :: alist_to_vec ((x,y)::t) default n max 30 !l default cu [all...] |
/seL4-l4v-master/isabelle/Admin/Windows/Cygwin/isabelle/ |
H A D | postinstall | 10 find -type d -exec setfacl -m default:user::rwx,default:group::r-x,default:other:r-x '{}' +
|
/seL4-l4v-master/l4v/isabelle/Admin/Windows/Cygwin/isabelle/ |
H A D | postinstall | 10 find -type d -exec setfacl -m default:user::rwx,default:group::r-x,default:other:r-x '{}' +
|
/seL4-l4v-master/HOL4/src/portableML/poly/ |
H A D | Dynarray.sig | 14 val default : 'a array -> 'a value 25 initialized to the default d. The parameter n is used as a hint of the 26 upper bound on non-default elements. Raises Size if n < 0. 28 [subArray(a, m, n)] returns a new array with the same default 33 those of [xs], and the rest are the default d. 37 remaining elements are the default d. Raises Size if n < 0. 45 [default a] returns the default value of the array a. 47 [bound a] returns an upper bound on the indices of non-default values.
|
/seL4-l4v-master/HOL4/examples/ARM/v7/ |
H A D | arm_stepLib.sig | 9 default options: "v7,usr,le,pass,arm,it:0"
|
/seL4-l4v-master/l4v/camkes/adl-spec/document/imgs/ |
H A D | Makefile | 27 .PHONY: default 28 default: $(IMGS:%.svg=%.pdf)
|
/seL4-l4v-master/l4v/camkes/glue-spec/document/imgs/ |
H A D | Makefile | 17 default: echo.pdf filter.pdf thydeps.pdf
|
/seL4-l4v-master/l4v/misc/scripts/ |
H A D | gen_isabelle_root.py | 22 help="input directory", action="append", default=[], 29 help="additional named session dependency", action="append", default=[], 33 action="store_true", default=False) 35 action="store_true", default=False, 39 default=[], metavar="NAME")
|
/seL4-l4v-master/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/ |
H A D | lrtable.sml | 27 fun findTerm (T term,row,default) = 31 else default 32 | find EMPTY = default 45 let val (row,default) = action sub state 46 in findTerm(term,row,default)
|
/seL4-l4v-master/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/ |
H A D | lrtable.sml | 27 fun findTerm (T term,row,default) = 31 else default 32 | find EMPTY = default 45 let val (row,default) = action sub state 46 in findTerm(term,row,default)
|
/seL4-l4v-master/HOL4/src/quotient/Manual/ |
H A D | Makefile | 5 default: all
|
/seL4-l4v-master/HOL4/Manual/Quick/ |
H A D | Makefile | 5 default: quick.pdf
|
/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | KnuthBendixOrder.sig | 18 val default : kbo value
|
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
H A D | KnuthBendixOrder.sig | 18 val default : kbo value
|
/seL4-l4v-master/l4v/camkes/ |
H A D | Makefile | 9 default: images test
|
/seL4-l4v-master/HOL4/src/n-bit/interactive_tests/ |
H A D | test_wordppScript.sml | 29 val default = ["0w", "1w", "42w", "0x10000w"]; value 44 val tests = [default, dec, bin, padded_bin, oct, hex, padded_hex]; 75 (* Test default printing *) 76 val _ = tprint "Testing default words output"; 77 val _ = run_tests tys default tests; 109 (* Test resetting to default printing *) 112 val _ = run_tests tys default tests;
|
/seL4-l4v-master/isabelle/src/Pure/Tools/ |
H A D | mkroot.scala | 116 % sane default for proof documents 190 -A LATEX provide author in LaTeX notation (default: user name) 192 -T LATEX provide title in LaTeX notation (default: session name) 193 -n NAME alternative session name (default: directory base name) 195 Prepare session root directory (default: current directory).
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/ |
H A D | mkroot.scala | 116 % sane default for proof documents 190 -A LATEX provide author in LaTeX notation (default: user name) 192 -T LATEX provide title in LaTeX notation (default: session name) 193 -n NAME alternative session name (default: directory base name) 195 Prepare session root directory (default: current directory).
|
/seL4-l4v-master/isabelle/src/Pure/General/ |
H A D | json.scala | 360 def value_default[A](obj: T, name: String, unapply: T => Option[A], default: => A): Option[A] = 362 case None => Some(default) 371 def string_default(obj: T, name: String, default: => String = ""): Option[String] = 372 value_default(obj, name, Value.String.unapply, default) 376 def string0_default(obj: T, name: String, default: => String = ""): Option[String] = 377 value_default(obj, name, Value.String0.unapply, default) 381 def double_default(obj: T, name: String, default: => Double = 0.0): Option[Double] = 382 value_default(obj, name, Value.Double.unapply, default) 386 def long_default(obj: T, name: String, default: => Long = 0): Option[Long] = 387 value_default(obj, name, Value.Long.unapply, default) [all...] |
/seL4-l4v-master/l4v/isabelle/src/Pure/General/ |
H A D | json.scala | 360 def value_default[A](obj: T, name: String, unapply: T => Option[A], default: => A): Option[A] = 362 case None => Some(default) 371 def string_default(obj: T, name: String, default: => String = ""): Option[String] = 372 value_default(obj, name, Value.String.unapply, default) 376 def string0_default(obj: T, name: String, default: => String = ""): Option[String] = 377 value_default(obj, name, Value.String0.unapply, default) 381 def double_default(obj: T, name: String, default: => Double = 0.0): Option[Double] = 382 value_default(obj, name, Value.Double.unapply, default) 386 def long_default(obj: T, name: String, default: => Long = 0): Option[Long] = 387 value_default(obj, name, Value.Long.unapply, default) [all...] |
/seL4-l4v-master/HOL4/tools/mlyacc/mlyacclib/ |
H A D | MLY_lrtable.sml | 52 fun findTerm (T term,row,default) = 56 else default 57 | find EMPTY = default 70 let val (row,default) = action sub state 71 in findTerm(term,row,default)
|
/seL4-l4v-master/seL4/tools/ |
H A D | hardware_gen.py | 73 parser.add_argument('--arch', help='architecture to generate for', default='arm') 75 help='maximum address that is available as device untyped', type=int, default=32) 78 action='store_const', const=True, default=False)
|
/seL4-l4v-master/HOL4/src/num/arith/Manual/ |
H A D | Makefile | 20 default: all
|