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

1234567891011>>

/seL4-l4v-10.1.1/HOL4/developers/
H A Drecord-script.sh14 while IFS= read -r line
16 case "$line" in
19 * ) echo "$line" ;;
/seL4-l4v-10.1.1/seL4/src/
H A Dassert.c19 unsigned int line,
25 line,
35 unsigned int line,
41 line,
16 _fail( const char* s, const char* file, unsigned int line, const char* function) argument
32 _assert_fail( const char* assertion, const char* file, unsigned int line, const char* function) argument
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/
H A Ddebug.c41 void ffi_assert(char *expr, char *file, int line) argument
43 fprintf(stderr, "ASSERTION FAILURE: %s at %s:%d\n", expr, file, line);
50 void ffi_type_test(ffi_type *a, char *file, int line) argument
52 FFI_ASSERT_AT(a != NULL, file, line);
54 FFI_ASSERT_AT(a->type <= FFI_TYPE_LAST, file, line);
55 FFI_ASSERT_AT(a->type == FFI_TYPE_VOID || a->size > 0, file, line);
56 FFI_ASSERT_AT(a->type == FFI_TYPE_VOID || a->alignment > 0, file, line);
58 || a->elements != NULL, file, line);
62 file, line);
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/wcet_scripts/
H A Dunspecified_pre_cond.py26 line = original.readline() variable
27 if not line:
29 if 'instruction' in line:
30 #print line
31 x = line.split()
38 output.write(line)
/seL4-l4v-10.1.1/seL4/src/arch/arm/machine/
H A Dcache.c23 vptr_t line; local
27 line = index << L1_CACHE_LINE_SIZE_BITS;
28 cleanByVA(line, pstart + (line - start));
35 vptr_t line; local
55 line = index << L1_CACHE_LINE_SIZE_BITS;
56 cleanInvalByVA(line, pstart + (line - start));
88 vptr_t line; local
97 line
105 vptr_t line; local
148 vptr_t line; local
160 vptr_t line; local
[all...]
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/
H A Delf_parser.py18 line = ef.f_symtab.readline()
19 if line.startswith('SYMBOL TABLE'):
27 line = ef.f_symtab.readline()
28 g = objdump_symbol_re.match(line)
44 for line in ef.f_text:
50 if line in ['\n','\r\n']:
52 header = re.search('kernel\.elf:\s*file\s*format\s*elf32-littlearm',line)
53 header2 = re.search('Disassembly of section \..*:',line)
57 ndks = re.search('.*ndks_boot.*',line)
63 r = re.search('(?P<f_addr>.*) <(?P<f_name>.*)>:$',line)
[all...]
H A Dcplex.py69 for line in f_out:
70 if re.search(unbounded,line) or re.search(infeasible, line):
74 match = re.search(objective_regex,line)
86 for line in f_ilp:
87 if re.search(r'^End',line):
90 stripped.write(line)
114 for line in rest:
115 if "set logfile" in line:
118 tmp_f.write(line)
[all...]
/seL4-l4v-10.1.1/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-10.1.1/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-10.1.1/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-10.1.1/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-10.1.1/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-10.1.1/l4v/tools/haskell-translator/
H A Dlhs_pars.py42 self.line = None
62 return ['%s\n' % line for line in lines]
123 input = [line.rstrip() for line in f]
137 for n, line in enumerate(input):
138 if '\t' in line:
139 sys.stderr.write('WARN: tab in line %d, %s.\n' %
142 if line.startswith('> '):
143 if '--' in line
[all...]
H A Dpars_skl.py38 for line in instructions:
39 instruct = line.strip()
52 for line in input_f:
53 if line.startswith('#INCLUDE_HASKELL'):
56 bits = line.split()
95 elif line.startswith ("#INCLUDE_SETTINGS"):
96 (_, settings) = line.split (None, 1)
100 output_f.write(line)
111 lines1 = [line for line i
[all...]
/seL4-l4v-10.1.1/seL4/src/plat/imx31/machine/
H A Dhardware.c104 paddr_t line; local
110 line = index << L2_LINE_SIZE_BITS;
111 imx31_l2cc_flush_regs->clean_by_pa = line;
118 paddr_t line; local
124 line = index << L2_LINE_SIZE_BITS;
125 imx31_l2cc_flush_regs->inv_by_pa = line;
133 paddr_t line; local
139 line = index << L2_LINE_SIZE_BITS;
140 imx31_l2cc_flush_regs->clinv_by_pa = line;

Completed in 124 milliseconds

1234567891011>>