| /seL4-l4v-10.1.1/l4v/misc/benchmark-isabelle/ |
| H A D | benchmark.py | 15 import re namespace
50 re.compile('^result:: (.*)$', re.MULTILINE),
51 re.compile('^category:: (.*)$', re.MULTILINE),
52 re.compile('^\*\*\* (.*)$', re.MULTILINE),
|
| /seL4-l4v-10.1.1/seL4/tools/ |
| H A D | circular_includes.py | 20 import re namespace
33 ignore_args = [re.escape(ignore) for ignore in ignore_args]
35 ignore_re = re.compile(r'^# 1 ".*' + ignore_re_string + '"')
37 header_re = re.compile(r'^# (\d+) "(.*\..)"')
|
| H A D | syscall_header_gen.py | 19 import re namespace
216 words = re.findall('[A-Z][A-Z]?[^A-Z]*', s)
|
| /seL4-l4v-10.1.1/graph-refine/graph-to-graph/ |
| H A D | elf_parser.py | 10 import re namespace
24 objdump_symbol_re = re.compile(
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)
80 literal = re.search('(?P<addr>.*):\s*[a-f0-9]+\s*(?P<size>(\.word)|(\.short)|(\.byte))\s*(?P<value>0x[a-f0-9]+)$',line)
92 match = re.search('(?P<line_addr>.*):.*',line)
107 match = re.search(r'[a-f0-9]+:\s*[a-f0-9]+\s+(b|bx)\s+.*',inst)
|
| H A D | cplex.py | 10 import sys, subprocess, re, os namespace
70 if re.search(unbounded,line) or re.search(infeasible, line):
74 match = re.search(objective_regex,line)
87 if re.search(r'^End',line):
|
| H A D | elf_file.py | 9 import re namespace
59 match = re.search('(.*)(_clone).*',f)
112 match = re.search(r'^.*:\s+(?P<raw>[a-f0-9]+)\s*(?P<text>.*)$',inst)
|
| H A D | bench.py | 14 import re namespace
131 if s.startswith('Loop') or re.search(r'\s*\(=',s) or re.search(r'\s*\(',s):
|
| /seL4-l4v-10.1.1/isabelle/Admin/lib/scripts/ |
| H A D | churn_pie | 3 import re
10 re_entry = re.compile(R'^(.*\S+)\s+(\d+)\s*\**\s*$')
|
| /seL4-l4v-10.1.1/l4v/isabelle/Admin/lib/scripts/ |
| H A D | churn_pie | 3 import re
10 re_entry = re.compile(R'^(.*\S+)\s+(\d+)\s*\**\s*$')
|
| /seL4-l4v-10.1.1/l4v/misc/pysymbols/isasymbols/ |
| H A D | isasymbols.py | 14 import codecs, collections, numbers, re, types namespace
133 (re.compile(r'\\<\^sub>(.)'), r'\\textsubscript{\1}'),
134 (re.compile(r'\\<\^sup>(.)'), r'\\textsuperscript{\1}'),
135 (re.compile(r'\\<\^bold>(.)'), r'\\textbf{\1}'),
136 (re.compile(r'\\<\^bsub>'), r'\\textsubscript{'),
137 (re.compile(r'\\<\^bsup>'), r'\\textsuperscript{'),
138 (re.compile(r'\\<\^esu\(b|p\)>'), '}'),
|
| /seL4-l4v-10.1.1/graph-refine/graph-to-graph/wcet_scripts/ |
| H A D | unspecified_pre_cond.py | 14 import re namespace
|
| /seL4-l4v-10.1.1/l4v/tools/autocorres/tools/stats/ |
| H A D | summary.py | 14 import re namespace
20 m = re.search(r, str)
|
| /seL4-l4v-10.1.1/l4v/misc/zsh/ |
| H A D | isabelle_session_names.py | 12 import sys, re namespace
45 sessions += [unquote(s) for s in re.findall('session\s+("[^"]*"|\S+)', root)]
|
| /seL4-l4v-10.1.1/isabelle/src/HOL/TPTP/TPTP_Parser/ |
| H A D | tptp.lex | 43 see if have open brackets, or if we're in some state other than INITIAL*)
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/ |
| H A D | tptp.lex | 43 see if have open brackets, or if we're in some state other than INITIAL*)
|
| /seL4-l4v-10.1.1/l4v/tools/haskell-translator/ |
| H A D | lhs_pars.py | 14 import re namespace
362 """Close and then re-open a locale so instantiations can go through"""
652 r = re.compile(r"[,\s\(\)]+")
1489 dollar_lambda_regex = re.compile(r"\$\s*\\<lambda>")
1633 varname_re = re.compile(r"\w+")
2123 (re.compile(r" \. "), r" \<circ> "),
2124 (re.compile('-1'), '- 1'),
2125 (re.compile('-2'), '- 2'),
2126 (re.compile(r"\(!(\w+)\)"), r"(flip id \1)"),
2127 (re
[all...] |
| /seL4-l4v-10.1.1/graph-refine/graph-to-graph/chronos/ |
| H A D | parser.py | 1 import re namespace
64 valid_instruction_re = re.compile(
75 }, re.X)
98 ldrstr_args_re = re.compile(
120 re.X)
137 onereg_and_operand2_re = re.compile(
140 re.X)
142 tworegs_and_operand2_re = re.compile(
146 re.X)
568 # Extract relevant data from re matc
[all...] |
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | inst_logic.py | 22 import re namespace
29 inst_split_re = re.compile('[_,]*')
30 crn_re = re.compile('cr[0123456789][0123456789]*')
31 pn_re = re.compile('p[0123456789][0123456789]*')
113 inst_addr_re = re.compile('E[0123456789][0123456789]*')
|
| H A D | objdump.py | 13 import re namespace
46 is_rodata_line = re.compile('^\s*[0-9a-fA-F]+:\s+[0-9a-fA-F]+\s+')
110 non_var_re = re.compile('[(),\s\[\]]+')
|
| /seL4-l4v-10.1.1/seL4/libsel4/tools/ |
| H A D | syscall_header_gen.py | 19 import re namespace
216 words = re.findall('[A-Z][A-Z]?[^A-Z]*', s)
|
| /seL4-l4v-10.1.1/seL4/manual/tools/libsel4_tools/ |
| H A D | syscall_header_gen.py | 19 import re namespace
216 words = re.findall('[A-Z][A-Z]?[^A-Z]*', s)
|
| /seL4-l4v-10.1.1/seL4/manual/tools/ |
| H A D | parse_doxygen_xml.py | 21 import re namespace
60 escape_regex = re.compile(re.escape('|'.join(self.ESCAPE_PATTERNS.keys())))
462 match_details = re.match( r'^DOCREF$', details, re.M|re.I)
466 details_string = "**Description:** " + re.sub(r"\n(?!\n)", " ", details)
468 ret_string = "**Return value:** " + re.sub("\n(?!\n)", " ", ret)
471 ret_string = re.sub(r'DOCREF', "", ret_string)
472 details_string = re
[all...] |
| /seL4-l4v-10.1.1/graph-refine/loop-example/O1/ |
| H A D | target.py | 17 import re namespace
|
| /seL4-l4v-10.1.1/graph-refine/loop-example/O2/ |
| H A D | target.py | 18 import re namespace
|
| /seL4-l4v-10.1.1/graph-refine/seL4-example/ |
| H A D | target.py | 17 import re namespace
|