/seL4-l4v-master/seL4/manual/tools/libsel4_tools/ |
H A D | syscall_stub_gen.py | 415 results.append((param, bits_used, type_size)) 426 params.append(param.type.render_parameter_name(param.name)) 428 params.append(param.type.pointer().render_parameter_name(param.name)) 431 params.append(param.type.pointer().render_parameter_name(param.name)) 460 word_array[target_word].append( 463 1].append(param.type.double_word_expression(param.name, 1, wordsize)) 470 word_array[target_word].append(expr) 480 word_array[target_word].append(expr) 488 word_array[target_word + i].append(expr) 524 result.append(" [all...] |
/seL4-l4v-master/seL4/libsel4/tools/ |
H A D | syscall_stub_gen.py | 415 results.append((param, bits_used, type_size)) 426 params.append(param.type.render_parameter_name(param.name)) 428 params.append(param.type.pointer().render_parameter_name(param.name)) 431 params.append(param.type.pointer().render_parameter_name(param.name)) 460 word_array[target_word].append( 463 1].append(param.type.double_word_expression(param.name, 1, wordsize)) 470 word_array[target_word].append(expr) 480 word_array[target_word].append(expr) 488 word_array[target_word + i].append(expr) 524 result.append(" [all...] |
/seL4-l4v-master/graph-refine/graph-to-graph/chronos/ |
H A D | parser.py | 178 self.output_registers.append('cc') 236 self.output_registers.append(args['target_reg']) 237 #self.input_registers.append('memory') 239 # self.input_registers.append(args['target_reg']) 240 #self.output_registers.append('memory') 241 self.input_registers.append(args['base_addr_reg']) 243 self.input_registers.append(args['incr_reg']) 245 self.input_registers.append('#' + args['incr_val']) 247 self.input_registers.append(args['writeback_incr_reg']) 250 #self.output_registers.append(arg [all...] |
/seL4-l4v-master/HOL4/src/AI/sml_inspection/ |
H A D | smlRedirect.sig | 5 val push_output_file : {append: bool, name: string} -> unit
|
H A D | smlRedirect.sml | 35 fun push_output_file {name: string, append : bool} = 37 val flags = if append then O.append else O.trunc 65 push_output_file {name=file, append=false};
|
/seL4-l4v-master/isabelle/Admin/lib/scripts/ |
H A D | churn_pie | 17 labels.append(match.group(1)) 18 values.append(match.group(2))
|
/seL4-l4v-master/l4v/isabelle/Admin/lib/scripts/ |
H A D | churn_pie | 17 labels.append(match.group(1)) 18 values.append(match.group(2))
|
/seL4-l4v-master/seL4/tools/hardware/utils/ |
H A D | cpu.py | 23 found_cpus.append(node)
|
/seL4-l4v-master/HOL4/tools/Holmake/ |
H A D | tailbuffer.sig | 6 val append : string -> t -> t value
|
/seL4-l4v-master/isabelle/src/Tools/jEdit/src/ |
H A D | raw_output_dockable.scala | 30 text_area.append(XML.content(output.message)) 31 if (!output.is_stdout && !output.is_stderr) text_area.append("\n")
|
H A D | protocol_dockable.scala | 45 GUI_Thread.later { text_area.append(input.toString + "\n\n") } 48 GUI_Thread.later { text_area.append(output.message.toString + "\n\n") }
|
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/ |
H A D | raw_output_dockable.scala | 30 text_area.append(XML.content(output.message)) 31 if (!output.is_stdout && !output.is_stderr) text_area.append("\n")
|
H A D | protocol_dockable.scala | 45 GUI_Thread.later { text_area.append(input.toString + "\n\n") } 48 GUI_Thread.later { text_area.append(output.message.toString + "\n\n") }
|
/seL4-l4v-master/seL4/manual/tools/ |
H A D | gen_env.py | 32 output.append('\\newcommand{\\commitdate}{%s}' % ( 34 output.append('\\newcommand{\\commityear}{%s}' % (
|
/seL4-l4v-master/l4v/tools/haskell-translator/ |
H A D | braces.py | 43 bits.append('') 50 bits.append('') 117 bbs[-1].append(bit) 119 bits.append(bit) 120 bbs.append([bit]) 136 internals.append(bit) 154 meshed.append(internals.pop(0)) 157 meshed.append(bits2.pop(0)) 160 bbs.append(meshed) 161 bits.append('' [all...] |
H A D | lhs_pars.py | 92 result.append(el) 95 el.append(l) 97 result.append(el) 145 comments.append((n, 'C', '')) 147 comments.append((n, 'C', '(*' + line + '*)')) 149 to_process.append((line[2:], n)) 152 comments.append((n, 'C', '(*' + line + '*)')) 154 comments.append((n, 'C', '')) 160 comments.append((n, 'C', '')) 163 comments.append(( [all...] |
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/calculator/ |
H A D | slist.h | 37 void *append(void *); 38 void *append(voidSListElem *p, void *d); 54 void *voidSList::append(void *d) function in class:voidSList 70 void *voidSList::append(voidSListElem *p, void *d) function in class:voidSList 176 T &append(const T &d) { return *((T*)voidSList::append(new T(d))); } function in class:SList 185 void append(SList<T> &l) function in class:SList 186 { for (ite x=l.first() ; x.more() ; x++) append(*x); } 187 T &append(ite &i, const T &d) function in class:SList 188 { return *((T*)voidSList::append( [all...] |
/seL4-l4v-master/HOL4/examples/separationLogic/src/holfoot/ |
H A D | selftest.sml | 34 val _ = test_file "append-parkinson.dsf"; 35 val _ = test_file "append-parkinson.sf"; 36 val _ = test_file "append-unroll.dsf"; 37 val _ = test_file "append.dsf"; 38 val _ = test_file "append.dsf2"; 39 val _ = test_file "append.sf";
|
/seL4-l4v-master/HOL4/src/portableML/ |
H A D | seq.sml | 41 fun append LNIL x = x function 42 | append (LCONS (e, es)) x = delay (fn () => LCONS (e, append es x)) 43 | append (LDELAYED f) x = raise Fail "seq - shouldn't happen" 44 | append x y = delay (fn () => append (force x) y) 77 | flatten (LCONS(e, es)) = delay (fn () => append e (flatten es)) 82 | bind (LCONS(e, es)) f = delay (fn () => append (f e) (flatten (map f es)))
|
/seL4-l4v-master/isabelle/src/Pure/General/ |
H A D | logger.scala | 31 def apply(msg: => String) { synchronized { File.append(path, msg + "\n") } }
|
/seL4-l4v-master/l4v/isabelle/src/Pure/General/ |
H A D | logger.scala | 31 def apply(msg: => String) { synchronized { File.append(path, msg + "\n") } }
|
/seL4-l4v-master/l4v/misc/filemerge/ |
H A D | unicode.py | 22 sys.path.append(os.path.join(os.path.dirname(__file__), '../pysymbols'))
|
H A D | xsymbol.py | 21 sys.path.append(os.path.join(os.path.dirname(__file__), '../pysymbols'))
|
/seL4-l4v-master/graph-refine/graph-to-graph/ |
H A D | imm_utils.py | 114 ret.append(self.call_edge) 140 self.edges.append(edge) 153 nodes[e.targ].edges_to.append(n) 156 nodes[node.call_edge.targ].edges_to.append(n) 161 nodes[node.call_ret_edge.targ].edges_to.append(node.call_edge.targ) 174 visited.append(addr) 187 bbs[curr_bb].append(addr) 191 bbs[curr_bb].append(addr)
|
/seL4-l4v-master/l4v/spec/cspec/ |
H A D | mk_umm_types.py | 42 help="add Isabelle ROOT or ROOTS file path", action='append') 79 result.append(a) 80 result.append(x)
|