Searched refs:line (Results 1 - 25 of 377) sorted by relevance

1234567891011>>

/seL4-l4v-master/HOL4/developers/
H A Drecord-script.sh14 while IFS= read -r line
16 case "$line" in
19 * ) echo "$line" ;;
/seL4-l4v-master/seL4/src/
H A Dassert.c15 unsigned int line,
21 line,
31 unsigned int line,
37 line,
12 _fail( const char *s, const char *file, unsigned int line, const char *function) argument
28 _assert_fail( const char *assertion, const char *file, unsigned int line, const char *function) argument
/seL4-l4v-master/graph-refine/graph-to-graph/wcet_scripts/
H A Dunspecified_pre_cond.py23 line = original.readline() variable
24 if not line:
26 if 'instruction' in line:
27 #print line
28 x = line.split()
35 output.write(line)
/seL4-l4v-master/seL4/src/arch/arm/machine/
H A Dcache.c17 vptr_t line; local
21 line = index << L1_CACHE_LINE_SIZE_BITS;
22 cleanByVA(line, pstart + (line - start));
28 vptr_t line; local
48 line = index << L1_CACHE_LINE_SIZE_BITS;
49 cleanInvalByVA(line, pstart + (line - start));
79 vptr_t line; local
88 line
95 vptr_t line; local
137 vptr_t line; local
148 vptr_t line; local
[all...]
/seL4-l4v-master/graph-refine/graph-to-graph/
H A Delf_parser.py16 line = ef.f_symtab.readline()
17 if line.startswith('SYMBOL TABLE'):
25 line = ef.f_symtab.readline()
26 g = objdump_symbol_re.match(line)
42 for line in ef.f_text:
48 if line in ['\n','\r\n']:
50 header = re.search('kernel\.elf:\s*file\s*format\s*elf32-littlearm',line)
51 header2 = re.search('Disassembly of section \..*:',line)
55 ndks = re.search('.*ndks_boot.*',line)
61 r = re.search('(?P<f_addr>.*) <(?P<f_name>.*)>:$',line)
[all...]
H A Dcplex.py68 for line in f_out:
69 if re.search(unbounded,line) or re.search(infeasible, line):
73 match = re.search(objective_regex,line)
85 for line in f_ilp:
86 if re.search(r'^End',line):
89 stripped.write(line)
113 for line in rest:
114 if "set logfile" in line:
117 tmp_f.write(line)
[all...]
/seL4-l4v-master/HOL4/tools/Holmake/
H A DSourcePos.sml15 datatype t = T of {column: int, file: string, line: int}
21 val line = f #line value
24 fun compare (T {column = c, file = f, line = l},
25 T {column = c', file = f', line = l'}) =
35 fun make {column, file, line} =
38 line = line}
44 line = ~1}
46 fun toString (p as T {column, line,
[all...]
/seL4-l4v-master/isabelle/src/Tools/jEdit/src/
H A Dfold_handling.scala21 /* input: dynamic line context */
31 override def getFoldLevel(buffer: JEditBuffer, line: Int, seg: Segment): Int =
32 Token_Markup.Line_Context.after(buffer, line).structure.depth max 0
35 buffer: JEditBuffer, line: Int, seg: Segment, level: Int): java.util.List[Integer] =
37 val structure = Token_Markup.Line_Context.after(buffer, line).structure
39 if (line > 0 && structure.command)
40 Range.inclusive(line - 1, 0, -1).iterator.
62 override def getFoldLevel(buffer: JEditBuffer, line: Int, seg: Segment): Int =
73 if (line <= 0) 0
75 val range = JEdit_Lib.line_range(buffer, line
[all...]
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/
H A Dfold_handling.scala21 /* input: dynamic line context */
31 override def getFoldLevel(buffer: JEditBuffer, line: Int, seg: Segment): Int =
32 Token_Markup.Line_Context.after(buffer, line).structure.depth max 0
35 buffer: JEditBuffer, line: Int, seg: Segment, level: Int): java.util.List[Integer] =
37 val structure = Token_Markup.Line_Context.after(buffer, line).structure
39 if (line > 0 && structure.command)
40 Range.inclusive(line - 1, 0, -1).iterator.
62 override def getFoldLevel(buffer: JEditBuffer, line: Int, seg: Segment): Int =
73 if (line <= 0) 0
75 val range = JEdit_Lib.line_range(buffer, line
[all...]
/seL4-l4v-master/isabelle/src/HOL/TPTP/lib/Tools/
H A Dtptp_isabelle27 isabelle build -b HOL-TPTP 2>&1 | grep --line-buffered -v "elapsed time$"
34 isabelle process -e "use_thy \"/tmp/$SCRATCH\"; exit 1;" -l HOL-TPTP | grep --line-buffered -v "^###\|^PROOF FAILED for depth\|^Failure node\|inferences so far. Searching to depth\|^val \|^Loading theory\|^poly.*warning: The type of\|^ monotype.$"
H A Dtptp_isabelle_hot27 isabelle build -b HOL-TPTP 2>&1 | grep --line-buffered -v "elapsed time$"
34 isabelle process -e "use_thy \"/tmp/$SCRATCH\"; exit 1;" -l HOL-TPTP | grep --line-buffered -v "^###\|^PROOF FAILED for depth\|^Failure node\|inferences so far. Searching to depth\|^val \|^Loading theory\|^poly.*warning: The type of\|^ monotype.$"
H A Dtptp_nitpick27 isabelle build -b HOL-TPTP 2>&1 | grep --line-buffered -v "elapsed time$"
34 isabelle process -e "use_thy \"/tmp/$SCRATCH\"; exit 1;" -l HOL-TPTP | grep --line-buffered -v "^###\|^PROOF FAILED for depth\|^Failure node\|inferences so far. Searching to depth\|^val \|^Loading theory\|^poly.*warning: The type of\|^ monotype.$"
H A Dtptp_refute26 isabelle build -b HOL-TPTP 2>&1 | grep --line-buffered -v "elapsed time$"
33 isabelle process -e "use_thy \"/tmp/$SCRATCH\"; exit 1;" -l HOL-TPTP | grep --line-buffered -v "^###\|^PROOF FAILED for depth\|^Failure node\|inferences so far. Searching to depth\|^val \|^Loading theory\|^poly.*warning: The type of\|^ monotype.$"
H A Dtptp_sledgehammer27 isabelle build -b HOL-TPTP 2>&1 | grep --line-buffered -v "elapsed time$"
34 isabelle process -e "use_thy \"/tmp/$SCRATCH\"; exit 1;" -l HOL-TPTP | grep --line-buffered -v "^###\|^PROOF FAILED for depth\|^Failure node\|inferences so far. Searching to depth\|^val \|^Loading theory\|^poly.*warning: The type of\|^ monotype.$"
H A Dtptp_translate26 isabelle build -b HOL-TPTP 2>&1 | grep --line-buffered -v "elapsed time$"
31 isabelle process -e "use_thy \"/tmp/$SCRATCH\"; exit 1;" -l HOL-TPTP | grep --line-buffered -v "^###\|^PROOF FAILED for depth\|^Failure node\|inferences so far. Searching to depth\|^val \|^Loading theory\|^poly.*warning: The type of\|^ monotype.$"
/seL4-l4v-master/l4v/isabelle/src/HOL/TPTP/lib/Tools/
H A Dtptp_isabelle27 isabelle build -b HOL-TPTP 2>&1 | grep --line-buffered -v "elapsed time$"
34 isabelle process -e "use_thy \"/tmp/$SCRATCH\"; exit 1;" -l HOL-TPTP | grep --line-buffered -v "^###\|^PROOF FAILED for depth\|^Failure node\|inferences so far. Searching to depth\|^val \|^Loading theory\|^poly.*warning: The type of\|^ monotype.$"
H A Dtptp_isabelle_hot27 isabelle build -b HOL-TPTP 2>&1 | grep --line-buffered -v "elapsed time$"
34 isabelle process -e "use_thy \"/tmp/$SCRATCH\"; exit 1;" -l HOL-TPTP | grep --line-buffered -v "^###\|^PROOF FAILED for depth\|^Failure node\|inferences so far. Searching to depth\|^val \|^Loading theory\|^poly.*warning: The type of\|^ monotype.$"
H A Dtptp_nitpick27 isabelle build -b HOL-TPTP 2>&1 | grep --line-buffered -v "elapsed time$"
34 isabelle process -e "use_thy \"/tmp/$SCRATCH\"; exit 1;" -l HOL-TPTP | grep --line-buffered -v "^###\|^PROOF FAILED for depth\|^Failure node\|inferences so far. Searching to depth\|^val \|^Loading theory\|^poly.*warning: The type of\|^ monotype.$"
H A Dtptp_refute26 isabelle build -b HOL-TPTP 2>&1 | grep --line-buffered -v "elapsed time$"
33 isabelle process -e "use_thy \"/tmp/$SCRATCH\"; exit 1;" -l HOL-TPTP | grep --line-buffered -v "^###\|^PROOF FAILED for depth\|^Failure node\|inferences so far. Searching to depth\|^val \|^Loading theory\|^poly.*warning: The type of\|^ monotype.$"
H A Dtptp_sledgehammer27 isabelle build -b HOL-TPTP 2>&1 | grep --line-buffered -v "elapsed time$"
34 isabelle process -e "use_thy \"/tmp/$SCRATCH\"; exit 1;" -l HOL-TPTP | grep --line-buffered -v "^###\|^PROOF FAILED for depth\|^Failure node\|inferences so far. Searching to depth\|^val \|^Loading theory\|^poly.*warning: The type of\|^ monotype.$"
H A Dtptp_translate26 isabelle build -b HOL-TPTP 2>&1 | grep --line-buffered -v "elapsed time$"
31 isabelle process -e "use_thy \"/tmp/$SCRATCH\"; exit 1;" -l HOL-TPTP | grep --line-buffered -v "^###\|^PROOF FAILED for depth\|^Failure node\|inferences so far. Searching to depth\|^val \|^Loading theory\|^poly.*warning: The type of\|^ monotype.$"
/seL4-l4v-master/l4v/tools/haskell-translator/
H A Dlhs_pars.py38 self.line = None
58 return ['%s\n' % line for line in lines]
121 input = [line.rstrip() for line in f]
135 for n, line in enumerate(input):
136 if '\t' in line:
137 sys.stderr.write('WARN: tab in line %d, %s.\n' %
140 if line.startswith('> '):
141 if '--' in line
[all...]
/seL4-l4v-master/seL4/src/plat/imx31/machine/
H A Dhardware.c91 paddr_t line; local
97 line = index << L2_LINE_SIZE_BITS;
98 imx31_l2cc_flush_regs->clean_by_pa = line;
105 paddr_t line; local
111 line = index << L2_LINE_SIZE_BITS;
112 imx31_l2cc_flush_regs->inv_by_pa = line;
120 paddr_t line; local
126 line = index << L2_LINE_SIZE_BITS;
127 imx31_l2cc_flush_regs->clinv_by_pa = line;
/seL4-l4v-master/isabelle/src/Pure/PIDE/
H A Dbyte_message.scala44 val line = new ByteArrayOutputStream(100)
46 while ({ c = stream.read; c != -1 && c != 10 }) line.write(c)
48 if (c == -1 && line.size == 0) None
50 val a = line.toByteArray
69 private def parse_header(line: String): List[Int] =
70 try { space_explode(',', line).map(Value.Nat.parse) }
71 catch { case ERROR(_) => error("Malformed message header: " + quote(line)) }
81 read_line(stream).map(line => parse_header(line.text).map(read_chunk(stream, _)))
84 /* hybrid messages: line o
[all...]
/seL4-l4v-master/l4v/isabelle/src/Pure/PIDE/
H A Dbyte_message.scala44 val line = new ByteArrayOutputStream(100)
46 while ({ c = stream.read; c != -1 && c != 10 }) line.write(c)
48 if (c == -1 && line.size == 0) None
50 val a = line.toByteArray
69 private def parse_header(line: String): List[Int] =
70 try { space_explode(',', line).map(Value.Nat.parse) }
71 catch { case ERROR(_) => error("Malformed message header: " + quote(line)) }
81 read_line(stream).map(line => parse_header(line.text).map(read_chunk(stream, _)))
84 /* hybrid messages: line o
[all...]

Completed in 211 milliseconds

1234567891011>>