Searched refs:flag (Results 1 - 25 of 146) sorted by relevance

123456

/seL4-l4v-master/graph-refine/graph-to-graph/
H A Dgraph_to_graph.py23 print "args: <dir_name> <function_name> <flag>"
47 flag = sys.argv[3]
48 assert flag in ['--l','--L','--i', '--x', '--xL']
49 if flag == '--l':
53 if flag == '--L':
55 if flag == '--i':
57 if flag == '--x' or flag == '--xL':
62 if flag == '--x':
H A Dcplex.py36 #stop rm from complaining without using the dangerous -f flag
176 flag = sys.argv[2]
177 if flag == '--x':
180 elif flag == '--f':
182 elif flag == '--u':
H A Dconflict.py515 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]
517 flag is one of:
530 flag = sys.argv[6] variable
542 if flag == '--c':
544 if flag == '--cx':
547 elif flag == '--i':
/seL4-l4v-master/HOL4/src/portableML/poly/
H A DUnsynchronized.sml33 fun setmp flag value f x =
36 val orig_value = ! flag;
37 val _ = flag := value;
39 val _ = flag := orig_value;
/seL4-l4v-master/HOL4/examples/muddy/
H A DMuddyCore.sml13 val hdl = dlopen {lib = path, flag = RTLD_NOW, global = false}
/seL4-l4v-master/HOL4/src/AI/machine_learning/
H A DmlFeature.sig12 (* set flag to false for constant features and to true for subterms features *)
/seL4-l4v-master/HOL4/examples/dev/sw/
H A DannotatedIR.sml169 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 DAssem.sml103 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-master/HOL4/examples/dev/sw/working/0.1/
H A DannotatedIR.sml159 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 DAssem.sml103 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-master/HOL4/examples/dev/sw/working/0.2/
H A DannotatedIR.sml159 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 DAssem.sml103 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-master/HOL4/examples/dev/sw2/
H A DNormal.sml149 val branch_flag = !branch_join (* save the branch_join flag *)
152 val _ = branch_join := branch_flag (* restore the branch_join flag *)
390 val flag = is_pabs t2 value
391 val body = if flag then #2 (dest_pabs t2) else t2
392 val lem1 = if flag then def else
395 val t3 = if flag then t2 else list_mk_pabs (args,body)
409 val flag = is_pabs t2
413 val body = if flag then #2 (dest_pabs t2) else t2
414 val lem1 = if flag then def
417 val t3 = if flag the
[all...]
/seL4-l4v-master/HOL4/examples/ARM/v7/
H A Dselftest.sml66 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-master/HOL4/examples/acl2/examples/
H A DtestEncode.sml351 `(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-master/HOL4/src/prekernel/
H A DGlobals.sml107 * 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 *
/seL4-l4v-master/HOL4/src/pred_set/src/
H A Dpred_setpp.sml13 So we provide a flag specifically to turn just it off. *)
41 A flag controlling printing of set comprehensions
/seL4-l4v-master/HOL4/examples/ARM_security_properties/
H A DARM_proverLib.sml334 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 DARM_prover_extLib.sml208 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-master/HOL4/polyml/mlsource/extra/Win/
H A DMenuBase.sml66 (* Sometimes we just want a single flag - either MF_BYCOMMAND or MF_BYPOSITION
/seL4-l4v-master/seL4/include/arch/arm/armv/armv7ve/armv/
H A Dvcpu.h642 bool_t flag = ARCH_NODE_STATE(armHSFPUEnabled); local
643 if (!flag) {
654 if (!flag) {
/seL4-l4v-master/seL4/include/arch/arm/armv/armv7-a/armv/
H A Dvcpu.h642 bool_t flag = ARCH_NODE_STATE(armHSFPUEnabled); local
643 if (!flag) {
654 if (!flag) {
/seL4-l4v-master/seL4/include/arch/arm/armv/armv8-a/32/armv/
H A Dvcpu.h642 bool_t flag = ARCH_NODE_STATE(armHSFPUEnabled); local
643 if (!flag) {
654 if (!flag) {
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/zc2hs/
H A Dzc2hs.cpp275 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-master/HOL4/examples/theorem-prover/milawa-prover/
H A Dcore.lisp247 (|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...]

Completed in 110 milliseconds

123456