Searched refs:default (Results 1 - 25 of 337) sorted by relevance

1234567891011>>

/seL4-l4v-master/l4v/tools/asmrefine/
H A DMakefile7 default: AsmRefineTest
/seL4-l4v-master/l4v/sys-init/
H A DMakefile9 default: images test
/seL4-l4v-master/HOL4/examples/formal-languages/regular/
H A Dvec_mapScript.sml13 (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 Dpostinstall10 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 Dpostinstall10 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 DDynarray.sig14 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 Darm_stepLib.sig9 default options: "v7,usr,le,pass,arm,it:0"
/seL4-l4v-master/l4v/camkes/adl-spec/document/imgs/
H A DMakefile27 .PHONY: default
28 default: $(IMGS:%.svg=%.pdf)
/seL4-l4v-master/l4v/camkes/glue-spec/document/imgs/
H A DMakefile17 default: echo.pdf filter.pdf thydeps.pdf
/seL4-l4v-master/l4v/misc/scripts/
H A Dgen_isabelle_root.py22 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 Dlrtable.sml27 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 Dlrtable.sml27 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 DMakefile5 default: all
/seL4-l4v-master/HOL4/Manual/Quick/
H A DMakefile5 default: quick.pdf
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DKnuthBendixOrder.sig18 val default : kbo value
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DKnuthBendixOrder.sig18 val default : kbo value
/seL4-l4v-master/l4v/camkes/
H A DMakefile9 default: images test
/seL4-l4v-master/HOL4/src/n-bit/interactive_tests/
H A Dtest_wordppScript.sml29 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 Dmkroot.scala116 % 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 Dmkroot.scala116 % 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 Djson.scala360 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 Djson.scala360 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 DMLY_lrtable.sml52 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 Dhardware_gen.py73 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 DMakefile20 default: all

Completed in 277 milliseconds

1234567891011>>