Searched refs:append (Results 1 - 25 of 244) sorted by relevance

12345678910

/seL4-l4v-master/seL4/manual/tools/libsel4_tools/
H A Dsyscall_stub_gen.py415 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 Dsyscall_stub_gen.py415 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 Dparser.py178 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 DsmlRedirect.sig5 val push_output_file : {append: bool, name: string} -> unit
H A DsmlRedirect.sml35 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 Dchurn_pie17 labels.append(match.group(1))
18 values.append(match.group(2))
/seL4-l4v-master/l4v/isabelle/Admin/lib/scripts/
H A Dchurn_pie17 labels.append(match.group(1))
18 values.append(match.group(2))
/seL4-l4v-master/seL4/tools/hardware/utils/
H A Dcpu.py23 found_cpus.append(node)
/seL4-l4v-master/HOL4/tools/Holmake/
H A Dtailbuffer.sig6 val append : string -> t -> t value
/seL4-l4v-master/isabelle/src/Tools/jEdit/src/
H A Draw_output_dockable.scala30 text_area.append(XML.content(output.message))
31 if (!output.is_stdout && !output.is_stderr) text_area.append("\n")
H A Dprotocol_dockable.scala45 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 Draw_output_dockable.scala30 text_area.append(XML.content(output.message))
31 if (!output.is_stdout && !output.is_stderr) text_area.append("\n")
H A Dprotocol_dockable.scala45 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 Dgen_env.py32 output.append('\\newcommand{\\commitdate}{%s}' % (
34 output.append('\\newcommand{\\commityear}{%s}' % (
/seL4-l4v-master/l4v/tools/haskell-translator/
H A Dbraces.py43 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 Dlhs_pars.py92 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 Dslist.h37 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 Dselftest.sml34 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 Dseq.sml41 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 Dlogger.scala31 def apply(msg: => String) { synchronized { File.append(path, msg + "\n") } }
/seL4-l4v-master/l4v/isabelle/src/Pure/General/
H A Dlogger.scala31 def apply(msg: => String) { synchronized { File.append(path, msg + "\n") } }
/seL4-l4v-master/l4v/misc/filemerge/
H A Dunicode.py22 sys.path.append(os.path.join(os.path.dirname(__file__), '../pysymbols'))
H A Dxsymbol.py21 sys.path.append(os.path.join(os.path.dirname(__file__), '../pysymbols'))
/seL4-l4v-master/graph-refine/graph-to-graph/
H A Dimm_utils.py114 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 Dmk_umm_types.py42 help="add Isabelle ROOT or ROOTS file path", action='append')
79 result.append(a)
80 result.append(x)

Completed in 208 milliseconds

12345678910