Searched refs:arg (Results 1 - 25 of 357) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dlibtool-ldflags36 for arg
38 case $arg in
61 prev_arg=$arg
80 case $arg in
87 # Add a leading "X" so that if $arg starts with a dash,
90 arg="X$arg"
92 quoted_arg=`echo "$arg" | sed -e "$sed_script"`
95 quoted_arg=$arg
/seL4-l4v-10.1.1/isabelle/src/Pure/Tools/
H A Dbuild_docker.scala137 "B:" -> (arg => base = arg),
139 "P:" -> (arg =>
140 package_collections.get(arg) match {
142 case None => error("Unknown package collection " + quote(arg))
144 "l:" -> (arg => logic = arg),
146 "o:" -> (arg => output = Some(Path.explode(arg))),
147 "p:" -> (arg
[all...]
H A Ddump.scala189 "A:" -> (arg => aspects = Library.distinct(space_explode(',', arg)).map(the_aspect(_))),
190 "B:" -> (arg => base_sessions = base_sessions ::: List(arg)),
191 "D:" -> (arg => select_dirs = select_dirs ::: List(Path.explode(arg))),
192 "O:" -> (arg => output_dir = Path.explode(arg)),
194 "X:" -> (arg => exclude_session_groups = exclude_session_groups ::: List(arg)),
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Tools/
H A Dbuild_docker.scala137 "B:" -> (arg => base = arg),
139 "P:" -> (arg =>
140 package_collections.get(arg) match {
142 case None => error("Unknown package collection " + quote(arg))
144 "l:" -> (arg => logic = arg),
146 "o:" -> (arg => output = Some(Path.explode(arg))),
147 "p:" -> (arg
[all...]
H A Ddump.scala189 "A:" -> (arg => aspects = Library.distinct(space_explode(',', arg)).map(the_aspect(_))),
190 "B:" -> (arg => base_sessions = base_sessions ::: List(arg)),
191 "D:" -> (arg => select_dirs = select_dirs ::: List(Path.explode(arg))),
192 "O:" -> (arg => output_dir = Path.explode(arg)),
194 "X:" -> (arg => exclude_session_groups = exclude_session_groups ::: List(arg)),
[all...]
/seL4-l4v-10.1.1/isabelle/src/Pure/ML/
H A Dml_console.scala43 "d:" -> (arg => dirs = dirs ::: List(Path.explode(arg))),
44 "i:" -> (arg => include_sessions = include_sessions ::: List(arg)),
45 "l:" -> (arg => logic = arg),
46 "m:" -> (arg => modes = arg :: modes),
47 "n" -> (arg => no_build = true),
48 "o:" -> (arg
[all...]
H A Dml_process.scala187 "T:" -> (arg =>
188 eval_args = eval_args ::: List("--eval", "use_thy " + ML_Syntax.print_string_bytes(arg))),
189 "d:" -> (arg => dirs = dirs ::: List(Path.explode(arg))),
190 "e:" -> (arg => eval_args = eval_args ::: List("--eval", arg)),
191 "f:" -> (arg => eval_args = eval_args ::: List("--use", arg)),
192 "l:" -> (arg => logic = arg),
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/ML/
H A Dml_console.scala43 "d:" -> (arg => dirs = dirs ::: List(Path.explode(arg))),
44 "i:" -> (arg => include_sessions = include_sessions ::: List(arg)),
45 "l:" -> (arg => logic = arg),
46 "m:" -> (arg => modes = arg :: modes),
47 "n" -> (arg => no_build = true),
48 "o:" -> (arg
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dreals.cpp115 POLYEXTERNALSYMBOL POLYUNSIGNED PolyRealBoxedToString(PolyObject *threadId, PolyWord arg, PolyWord mode, PolyWord digits);
116 POLYEXTERNALSYMBOL POLYUNSIGNED PolyRealGeneral(PolyObject *threadId, PolyWord code, PolyWord arg);
118 POLYEXTERNALSYMBOL POLYUNSIGNED PolyRealBoxedToLongInt(PolyObject *threadId, PolyWord arg);
119 POLYEXTERNALSYMBOL double PolyRealSqrt(double arg);
120 POLYEXTERNALSYMBOL double PolyRealSin(double arg);
121 POLYEXTERNALSYMBOL double PolyRealCos(double arg);
122 POLYEXTERNALSYMBOL double PolyRealArctan(double arg);
123 POLYEXTERNALSYMBOL double PolyRealExp(double arg);
124 POLYEXTERNALSYMBOL double PolyRealLog(double arg);
125 POLYEXTERNALSYMBOL double PolyRealTan(double arg);
186 PolyFloatArbitraryPrecision(PolyWord arg) argument
192 PolyRealBoxedToLongInt(PolyObject *threadId, PolyWord arg) argument
211 PolyRealSqrt(double arg) argument
217 PolyRealSin(double arg) argument
223 PolyRealCos(double arg) argument
229 PolyRealArctan(double arg) argument
235 PolyRealExp(double arg) argument
241 PolyRealLog(double arg) argument
253 PolyRealTan(double arg) argument
258 PolyRealArcSin(double arg) argument
265 PolyRealArcCos(double arg) argument
272 PolyRealLog10(double arg) argument
283 PolyRealSinh(double arg) argument
288 PolyRealCosh(double arg) argument
293 PolyRealTanh(double arg) argument
298 PolyRealFloor(double arg) argument
303 PolyRealCeil(double arg) argument
308 PolyRealTrunc(double arg) argument
315 PolyRealRound(double arg) argument
[all...]
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DcpsScript.sml40 `CPS f = \k arg. k (f arg)`;
54 ``CPS f k = \arg. let z = f arg in k z``,
64 `(!f g. (f = CPS g) ==> (f = (CPS (\arg. f (\x.x) arg)))) /\
65 (!f. f arg = (CPS f) (\x.x) arg)`,
76 `CPS2 f = \k1 k2 arg. if f arg the
[all...]
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A DcpsScript.sml40 `CPS f = \k arg. k (f arg)`;
54 ``CPS f k = \arg. let z = f arg in k z``,
64 `(!f g. (f = CPS g) ==> (f = (CPS (\arg. f (\x.x) arg)))) /\
65 (!f. f arg = (CPS f) (\x.x) arg)`,
76 `CPS2 f = \k1 k2 arg. if f arg the
[all...]
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/
H A DcpsScript.sml40 `CPS f = \k arg. k (f arg)`;
54 ``CPS f k = \arg. let z = f arg in k z``,
64 `(!f g. (f = CPS g) ==> (f = (CPS (\arg. f (\x.x) arg)))) /\
65 (!f. f arg = (CPS f) (\x.x) arg)`,
76 `CPS2 f = \k1 k2 arg. if f arg the
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/
H A Dprep_cif.c37 static ffi_status initialize_aggregate(ffi_type *arg) argument
41 if (UNLIKELY(arg == NULL || arg->elements == NULL))
44 arg->size = 0;
45 arg->alignment = 0;
47 ptr = &(arg->elements[0]);
61 arg->size = ALIGN(arg->size, (*ptr)->alignment);
62 arg->size += (*ptr)->size;
64 arg
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/s390/
H A Dffi.c108 ffi_check_struct_type (ffi_type *arg) argument
110 size_t size = arg->size;
114 while (arg->type == FFI_TYPE_STRUCT
115 && arg->elements[0] && !arg->elements[1])
116 arg = arg->elements[0];
129 if (arg->type == FFI_TYPE_FLOAT)
135 if (arg->type == FFI_TYPE_DOUBLE)
208 void *arg local
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dtestclosure.c17 void cls_struct_combined_fn(struct cls_struct_combined arg) argument
20 arg.a, arg.b,
21 arg.c, arg.d);
/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/
H A Dremote_dmg.scala48 "p:" -> (arg => port = Value.Int.parse(arg)),
49 "V:" -> (arg => volume_name = arg))
H A Dbuild_release.scala220 "A:" -> (arg => afp_rev = arg),
221 "M:" -> (arg => remote_mac = arg),
223 "R:" -> (arg => release_name = arg),
224 "W:" -> (arg => website = Some(Path.explode(arg))),
225 "j:" -> (arg => parallel_jobs = Value.Int.parse(arg)),
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/
H A Dremote_dmg.scala48 "p:" -> (arg => port = Value.Int.parse(arg)),
49 "V:" -> (arg => volume_name = arg))
H A Dbuild_release.scala220 "A:" -> (arg => afp_rev = arg),
221 "M:" -> (arg => remote_mac = arg),
223 "R:" -> (arg => release_name = arg),
224 "W:" -> (arg => website = Some(Path.explode(arg))),
225 "j:" -> (arg => parallel_jobs = Value.Int.parse(arg)),
[all...]
/seL4-l4v-10.1.1/graph-refine/
H A Dgraph-refine.py280 for arg in args:
283 if arg == 'verbose':
285 elif arg.startswith ('trace-to:'):
286 (_, s) = arg.split (':', 1)
289 elif arg == 'all':
292 elif arg == 'all_safe':
297 elif arg == 'coverage':
301 elif arg.startswith ('div:'):
302 [_, num, denom] = arg.split (':')
307 elif arg
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/x86/machine/
H A Dcapdl.c289 unsigned long arg; local
290 result = getArg(&arg);
294 sendPD(arg);
300 unsigned long arg; local
301 result = getArg(&arg);
305 sendPT(arg);
311 unsigned long arg; local
312 result = getArg(&arg);
316 sendASIDPool(arg);
338 unsigned long arg; local
357 unsigned long arg; local
[all...]
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/mlyacclib/
H A DMLY_join.sml44 type arg = ParserData.arg type
49 val parse = fn (lookahead,lexer,error,arg) =>
55 arg=arg,
88 type arg = ParserData.arg type
89 type lexarg = Lex.UserDeclarations.arg
94 val makeLexer = fn s => fn arg =>
95 LrParser.Stream.streamify (Lex.makeLexer s arg)
[all...]
/seL4-l4v-10.1.1/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/
H A Djoin.sml25 type arg = ParserData.arg type
30 val parse = fn (lookahead,lexer,error,arg) =>
36 arg=arg,
69 type arg = ParserData.arg type
70 type lexarg = Lex.UserDeclarations.arg
75 val makeLexer = fn s => fn arg =>
76 LrParser.Stream.streamify (Lex.makeLexer s arg)
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/
H A Djoin.sml25 type arg = ParserData.arg type
30 val parse = fn (lookahead,lexer,error,arg) =>
36 arg=arg,
69 type arg = ParserData.arg type
70 type lexarg = Lex.UserDeclarations.arg
75 val makeLexer = fn s => fn arg =>
76 LrParser.Stream.streamify (Lex.makeLexer s arg)
[all...]
/seL4-l4v-10.1.1/HOL4/examples/hardware/port-full/tamarack2/
H A DtamarackScript.sml87 (mem,mar,pc,acc,ir,arg,buf)) =
98 REG ((warg,gnd,bus,bus,arg),P) /\
99 ALU (n+3) (alu0,alu1,arg,bus,alu) /\
189 `Tamarack n (mpc,mem,mar,pc,acc,ir,arg,buf) =
199 (mem,mar,pc,acc,ir,arg,buf))`;
321 ``!n mpc mem mar pc acc ir arg buf.
322 Tamarack n (mpc,mem,mar,pc,acc,ir,arg,buf)
334 ``!n mpc mem mar pc acc ir arg buf.
335 Tamarack n (mpc,mem,mar,pc,acc,ir,arg,buf)
347 ``!n mpc mem mar pc acc ir arg bu
[all...]

Completed in 111 milliseconds

1234567891011>>