/seL4-l4v-10.1.1/HOL4/developers/ |
H A D | record-script.sh | 14 while IFS= read -r line 16 case "$line" in 19 * ) echo "$line" ;;
|
/seL4-l4v-10.1.1/seL4/src/ |
H A D | assert.c | 19 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 D | debug.c | 41 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 D | unspecified_pre_cond.py | 26 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 D | cache.c | 23 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 D | elf_parser.py | 18 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 D | cplex.py | 69 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 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-10.1.1/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-10.1.1/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-10.1.1/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-10.1.1/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-10.1.1/l4v/tools/haskell-translator/ |
H A D | lhs_pars.py | 42 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 D | pars_skl.py | 38 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 D | hardware.c | 104 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;
|