Searched refs:regexes (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/
H A Dbuild_log.scala232 def find_match(regexes: List[Regex]): Option[String] =
233 regexes match {
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/
H A Dbuild_log.scala232 def find_match(regexes: List[Regex]): Option[String] =
233 regexes match {
/seL4-l4v-10.1.1/l4v/tools/haskell-translator/
H A Dlhs_pars.py2122 regexes = [ variable
2203 def run_regexes(xxx_todo_changeme6, _regexes=regexes):

Completed in 51 milliseconds