/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | libtool-ldflags | 36 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 D | build_docker.scala | 137 "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 D | dump.scala | 189 "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 D | build_docker.scala | 137 "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 D | dump.scala | 189 "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 D | ml_console.scala | 43 "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 D | ml_process.scala | 187 "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 D | ml_console.scala | 43 "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 D | reals.cpp | 115 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 D | cpsScript.sml | 40 `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 D | cpsScript.sml | 40 `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 D | cpsScript.sml | 40 `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 D | prep_cif.c | 37 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 D | ffi.c | 108 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 D | testclosure.c | 17 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 D | remote_dmg.scala | 48 "p:" -> (arg => port = Value.Int.parse(arg)), 49 "V:" -> (arg => volume_name = arg))
|
H A D | build_release.scala | 220 "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 D | remote_dmg.scala | 48 "p:" -> (arg => port = Value.Int.parse(arg)), 49 "V:" -> (arg => volume_name = arg))
|
H A D | build_release.scala | 220 "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 D | graph-refine.py | 280 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 D | capdl.c | 289 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 D | MLY_join.sml | 44 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 D | join.sml | 25 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 D | join.sml | 25 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 D | tamarackScript.sml | 87 (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...] |