/seL4-l4v-master/HOL4/developers/ |
H A D | record-script.sh | 14 while IFS= read -r line 16 case "$line" in 19 * ) echo "$line" ;;
|
/seL4-l4v-master/seL4/src/ |
H A D | assert.c | 15 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 D | unspecified_pre_cond.py | 23 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 D | cache.c | 17 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 D | elf_parser.py | 16 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 D | cplex.py | 68 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 D | SourcePos.sml | 15 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 D | fold_handling.scala | 21 /* 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 D | fold_handling.scala | 21 /* 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 D | tptp_isabelle | 27 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 D | tptp_isabelle_hot | 27 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 D | tptp_nitpick | 27 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 D | tptp_refute | 26 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 D | tptp_sledgehammer | 27 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 D | tptp_translate | 26 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 D | tptp_isabelle | 27 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 D | tptp_isabelle_hot | 27 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 D | tptp_nitpick | 27 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 D | tptp_refute | 26 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 D | tptp_sledgehammer | 27 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 D | tptp_translate | 26 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 D | lhs_pars.py | 38 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 D | hardware.c | 91 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 D | byte_message.scala | 44 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 D | byte_message.scala | 44 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...] |