/seL4-l4v-10.1.1/graph-refine/graph-to-graph/ |
H A D | graph_to_graph.py | 26 print "args: <dir_name> <function_name> <flag>" 50 flag = sys.argv[3] 51 assert flag in ['--l','--L','--i', '--x', '--xL'] 52 if flag == '--l': 56 if flag == '--L': 58 if flag == '--i': 60 if flag == '--x' or flag == '--xL': 65 if flag == '--x':
|
H A D | cplex.py | 37 #stop rm from complaining without using the dangerous -f flag 177 flag = sys.argv[2] 178 if flag == '--x': 181 elif flag == '--f': 183 elif flag == '--u':
|
H A D | conflict.py | 518 print '''Usage: python conflict.py [tcfg map] [conflict file] [ilp file with footer stripped] [new ilp file] [target_dir] [flag] [preemption limit] [sol file to be generated] 520 flag is one of: 533 flag = sys.argv[6] variable 545 if flag == '--c': 547 if flag == '--cx': 550 elif flag == '--i':
|
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/ |
H A D | Unsynchronized.sml | 33 fun setmp flag value f x = 36 val orig_value = ! flag; 37 val _ = flag := value; 39 val _ = flag := orig_value;
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/ |
H A D | MuddyCore.sml | 13 val hdl = dlopen {lib = path, flag = RTLD_NOW, global = false}
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
H A D | annotatedIR.sml | 169 val BAL_node = #2 (valOf (List.find (fn (flag,n) => flag = 1) (get_preL join_node))); 170 val b_end_node = #2 (valOf (List.find (fn (flag,n) => flag = 0) (get_preL join_node))); 171 val b_start_node = #2 (valOf (List.find (fn (flag,n) => flag = 2) (get_sucL BAL_node))); 174 val cj_node = #2 (valOf (List.find (fn (flag,n) => flag = 1) (get_preL b_start_node))); 179 val r_start_node = #2 (valOf (List.find (fn (flag,n) => flag 276 val (flag, lab_node) = is_rec cfg 0 value [all...] |
H A D | Assem.sml | 103 fun print_flag flag = 104 if flag then "S" 259 fun one_fun flag(fname,ftype,args,stms,outs,rs) = 261 (if flag then
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/ |
H A D | annotatedIR.sml | 159 val BAL_node = #2 (valOf (List.find (fn (flag,n) => flag = 1) (get_preL join_node))); 160 val b_end_node = #2 (valOf (List.find (fn (flag,n) => flag = 0) (get_preL join_node))); 161 val b_start_node = #2 (valOf (List.find (fn (flag,n) => flag = 2) (get_sucL BAL_node))); 164 val cj_node = #2 (valOf (List.find (fn (flag,n) => flag = 1) (get_preL b_start_node))); 169 val r_start_node = #2 (valOf (List.find (fn (flag,n) => flag 259 val (flag, lab_node) = is_rec cfg 0 value [all...] |
H A D | Assem.sml | 103 fun print_flag flag = 104 if flag then "S" 259 fun one_fun flag(fname,ftype,args,stms,outs,rs) = 261 (if flag then
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/ |
H A D | annotatedIR.sml | 159 val BAL_node = #2 (valOf (List.find (fn (flag,n) => flag = 1) (get_preL join_node))); 160 val b_end_node = #2 (valOf (List.find (fn (flag,n) => flag = 0) (get_preL join_node))); 161 val b_start_node = #2 (valOf (List.find (fn (flag,n) => flag = 2) (get_sucL BAL_node))); 164 val cj_node = #2 (valOf (List.find (fn (flag,n) => flag = 1) (get_preL b_start_node))); 169 val r_start_node = #2 (valOf (List.find (fn (flag,n) => flag 259 val (flag, lab_node) = is_rec cfg 0 value [all...] |
H A D | Assem.sml | 103 fun print_flag flag = 104 if flag then "S" 259 fun one_fun flag(fname,ftype,args,stms,outs,rs) = 261 (if flag then
|
/seL4-l4v-10.1.1/HOL4/src/pred_set/src/ |
H A D | pred_setpp.sml | 13 So we provide a flag specifically to turn just it off. *)
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/ |
H A D | Normal.sml | 151 val branch_flag = !branch_join (* save the branch_join flag *) 154 val _ = branch_join := branch_flag (* restore the branch_join flag *) 392 val flag = is_pabs t2 value 393 val body = if flag then #2 (dest_pabs t2) else t2 394 val lem1 = if flag then def else 397 val t3 = if flag then t2 else list_mk_pabs (args,body) 411 val flag = is_pabs t2 415 val body = if flag then #2 (dest_pabs t2) else t2 416 val lem1 = if flag then def 419 val t3 = if flag the [all...] |
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
H A D | selftest.sml | 66 fun flag tm = mk_var (fst (dest_const tm), bool); function 69 val psrN = flag ``psrN`` 70 val psrZ = flag ``psrZ`` 71 val psrC = flag ``psrC`` 72 val psrV = flag ``psrV`` 73 val psrQ = flag ``psrQ`` 74 val psrE = flag ``psrE`` 75 val psrA = flag ``psrA`` 76 val psrI = flag ``psrI`` 77 val psrF = flag ``psr [all...] |
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/ |
H A D | testEncode.sml | 351 `(make_instrs read_start write_start flag 0 acc = acc) 353 (make_instrs read_start write_start flag (SUC n) acc = 354 if flag 357 (~flag) 362 (~flag) 372 (``make_instrs read_start write_start flag n acc = 375 else if flag 378 (~flag) 383 (~flag)
|
/seL4-l4v-10.1.1/HOL4/src/prekernel/ |
H A D | Globals.sml | 107 * type variables, if this flag is set. * 115 * this flag is set. * 121 * If this flag is set, then the system will print a message when such *
|
H A D | KernelSig.sml | 14 type kernelid = (kernelname * bool) ref (* bool is uptodate flag *)
|
/seL4-l4v-10.1.1/HOL4/examples/ARM_security_properties/ |
H A D | ARM_proverLib.sml | 334 val flag = ((same_const opr ``$>>=``) orelse value 344 (flag,opr,opr,opr) 350 then (flag,l,r,opr) 353 (flag,l,r,opr) 354 else (flag,opr,opr,opr) 680 fn (opt,body,flag,src_inv,trg_inv,uargs,pthms) => 682 val tacs = if (flag) then 855 val (flag,l ,r , opr) = decompose a' src_inv trg_inv uargs value 857 if (flag) 909 val (flag, value [all...] |
H A D | ARM_prover_extLib.sml | 208 val flag = ((same_const opr ``$>>=``) orelse value 218 (flag,opr,opr,opr) 224 then (flag,l,r,opr) 227 (flag,l,r,opr) 228 else (flag,opr,opr,opr) 389 fn (opt,body,flag,pred, expr, cm, postfix,thms) => 391 val tacs = if (flag) then 508 val (flag,l ,r , opr) = decompose a' postfix; value 510 if (flag) 556 val (flag, value [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
H A D | MenuBase.sml | 66 (* Sometimes we just want a single flag - either MF_BYCOMMAND or MF_BYPOSITION
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | compile | 193 for flag in $arg; do 195 linker_opts="$linker_opts $flag"
|
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/zc2hs/ |
H A D | zc2hs.cpp | 275 int flag = vartmp[lit>>1]; local 276 if (flag==-1) { // lit not seen yet 280 } else if (flag==(lit^1)) { // seen and now seen with opp sign: piv "second" occ 282 ps.push_back(flag); // record pivot in ps
|
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/milawa-prover/ |
H A D | core.lisp | 247 (|LOGIC.FLAG-TERM-VARS| (flag x acc) 248 (if (equal flag 'term) 261 (|LOGIC.FLAG-TERMP| (flag x) 262 (if (equal flag 'term) 310 (|LOGIC.FLAG-TERM-ATBLP| (flag x atbl) 311 (if (equal flag 'term) 389 (|LOGIC.FLAG-APPEALP| (flag x) 390 (if (equal flag 'proof) 580 (|LOGIC.FLAG-SUBSTITUTE| (flag x sigma) 581 (if (equal flag 'ter [all...] |
/seL4-l4v-10.1.1/isabelle/src/Pure/General/ |
H A D | mercurial.scala | 27 def opt_flag(flag: String, b: Boolean): String = if (b) " " + flag else ""
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/ |
H A D | mercurial.scala | 27 def opt_flag(flag: String, b: Boolean): String = if (b) " " + flag else ""
|