/seL4-l4v-master/l4v/misc/zsh/ |
H A D | isabelle_session_names.py | 42 sessions = [] 45 sessions += [unquote(s) for s in re.findall('session\s+("[^"]*"|\S+)', root)] 51 sessions += get(dir + '/' + dir2) 54 return sessions 61 sessions = [] variable 63 sessions += get(dir) 64 print('\n'.join(sessions))
|
/seL4-l4v-master/isabelle/src/Pure/Admin/ |
H A D | build_doc.scala | 35 val sessions = selection.map(_._2) 46 max_jobs = max_jobs, sessions = sessions) 55 progress, clean_build = true, max_jobs = max_jobs, sessions = sessions) 84 -a select all documentation sessions 88 Build Isabelle documentation from documentation sessions with
|
H A D | afp.scala | 43 sealed case class Entry(name: String, metadata: Properties.T, sessions: List[String]) 133 val sessions = 135 AFP.Entry(name, metadata, sessions) 153 /* sessions */ 157 { case (m1, e) => (m1 /: e.sessions)({ case (m2, s) => m2 + (s -> e) }) }) 159 val sessions: List[String] = entries.flatMap(_.sessions) 163 selection(Sessions.Selection(sessions = sessions.toList)) 169 entry.sessions [all...] |
H A D | ci_profile.scala | 55 val timings = results.sessions.collect { 110 val groups = results.sessions.map(results.info).flatMap(_.groups) 120 for (name <- results.sessions) {
|
H A D | build_status.scala | 77 name: String, hosts: List[String], stretch: Double, sessions: List[Session]) 80 sessions.filter(_.head.failed).sortBy(_.name) 326 val sessions = data_entries.getOrElse(data_name, Map.empty) 328 sessions.get(session_name) match { 340 data_entries += (data_name -> (sessions + (session_name -> session))) 349 (name, sessions) <- data_entries.toList 350 sorted_sessions <- proper_list(sessions.toList.map(_._2).sortBy(_.order)) 385 case sessions => 387 List(HTML.span(HTML.error_message, HTML.text("Failed sessions:"))) ::: 388 List(HTML.itemize(sessions [all...] |
H A D | build_log.scala | 483 sealed case class Build_Info(sessions: Map[String, Session_Entry]) 485 def finished_sessions: List[String] = for ((a, b) <- sessions.toList if b.finished) yield a 486 def failed_sessions: List[String] = for ((a, b) <- sessions.toList if b.failed) yield a 614 val sessions = 639 Build_Info(sessions) 729 build_log_table("sessions", 1000 val sessions = 1001 if (build_info.sessions.isEmpty) Build_Info.sessions_dummy 1002 else build_info.sessions 1003 for ((session_name, session) <- sessions) { [all...] |
/seL4-l4v-master/isabelle/src/Tools/jEdit/src/ |
H A D | isabelle_session.scala | 22 /* sessions structure */ 50 val sessions = sessions_structure() 53 sessions.chapters.iterator.map(p => make_entry(p._1, is_dir = true)).toArray 55 sessions.chapters.get(chapter) match { 89 val sessions = sessions_structure() 92 sessions.get(session) match {
|
H A D | jedit_sessions.scala | 84 val sessions = sessions_structure(options.value) 86 sessions.imports_topological_order.partition(name => sessions(name).groups.contains("main")) 133 sessions = List(PIDE.resources.session_name)).rc
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Admin/ |
H A D | build_doc.scala | 35 val sessions = selection.map(_._2) 46 max_jobs = max_jobs, sessions = sessions) 55 progress, clean_build = true, max_jobs = max_jobs, sessions = sessions) 84 -a select all documentation sessions 88 Build Isabelle documentation from documentation sessions with
|
H A D | afp.scala | 43 sealed case class Entry(name: String, metadata: Properties.T, sessions: List[String]) 133 val sessions = 135 AFP.Entry(name, metadata, sessions) 153 /* sessions */ 157 { case (m1, e) => (m1 /: e.sessions)({ case (m2, s) => m2 + (s -> e) }) }) 159 val sessions: List[String] = entries.flatMap(_.sessions) 163 selection(Sessions.Selection(sessions = sessions.toList)) 169 entry.sessions [all...] |
H A D | ci_profile.scala | 55 val timings = results.sessions.collect { 110 val groups = results.sessions.map(results.info).flatMap(_.groups) 120 for (name <- results.sessions) {
|
H A D | build_status.scala | 77 name: String, hosts: List[String], stretch: Double, sessions: List[Session]) 80 sessions.filter(_.head.failed).sortBy(_.name) 326 val sessions = data_entries.getOrElse(data_name, Map.empty) 328 sessions.get(session_name) match { 340 data_entries += (data_name -> (sessions + (session_name -> session))) 349 (name, sessions) <- data_entries.toList 350 sorted_sessions <- proper_list(sessions.toList.map(_._2).sortBy(_.order)) 385 case sessions => 387 List(HTML.span(HTML.error_message, HTML.text("Failed sessions:"))) ::: 388 List(HTML.itemize(sessions [all...] |
H A D | build_log.scala | 483 sealed case class Build_Info(sessions: Map[String, Session_Entry]) 485 def finished_sessions: List[String] = for ((a, b) <- sessions.toList if b.finished) yield a 486 def failed_sessions: List[String] = for ((a, b) <- sessions.toList if b.failed) yield a 614 val sessions = 639 Build_Info(sessions) 729 build_log_table("sessions", 1000 val sessions = 1001 if (build_info.sessions.isEmpty) Build_Info.sessions_dummy 1002 else build_info.sessions 1003 for ((session_name, session) <- sessions) { [all...] |
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/ |
H A D | isabelle_session.scala | 22 /* sessions structure */ 50 val sessions = sessions_structure() 53 sessions.chapters.iterator.map(p => make_entry(p._1, is_dir = true)).toArray 55 sessions.chapters.get(chapter) match { 89 val sessions = sessions_structure() 92 sessions.get(session) match {
|
H A D | jedit_sessions.scala | 84 val sessions = sessions_structure(options.value) 86 sessions.imports_topological_order.partition(name => sessions(name).groups.contains("main")) 133 sessions = List(PIDE.resources.session_name)).rc
|
/seL4-l4v-master/l4v/misc/scripts/ |
H A D | thydeps | 34 def session_theory_deps(isabelle_dir, ROOT_dirs, sessions): 35 '''For the given sessions, retrieve the dependent sessions 36 and theory files (including the given sessions). 43 cmdline += sessions 74 def theory_deps_in_dirs(isabelle_dir, ROOT_dirs, sessions, base_dirs): 75 '''Get dependent sessions and theories like session_theory_deps, 76 but only report theory files and sessions that involve one of 78 full_deps = session_theory_deps(isabelle_dir, ROOT_dirs, sessions) 104 description='Extract theory file dependencies of Isabelle sessions') [all...] |
/seL4-l4v-master/isabelle/src/Pure/Tools/ |
H A D | update.scala | 41 context.sessions(logic, log = log).foreach(_.process((args: Dump.Args) => 85 -D DIR include session directory and select its sessions 86 -R operate on requirements of selected sessions 87 -X NAME exclude sessions from group NAME and all descendants 88 -a select all sessions 112 val sessions = getopts(args) 128 sessions = sessions))
|
H A D | build.scala | 5 Build and manage Isabelle sessions. 380 def sessions: Set[String] = results.keySet 417 sessions: List[String] = Nil, 441 exclude_sessions, session_groups, sessions) ++ selection 463 Sessions.deps(full_sessions.selection(Sessions.Selection(sessions = outdated)), 695 name <- results.sessions.iterator 726 val isabelle_tool = Isabelle_Tool("build", "build and manage Isabelle sessions", args => 757 -D DIR include session directory and select its sessions 760 -R operate on requirements of selected sessions 762 -X NAME exclude sessions fro [all...] |
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/ |
H A D | update.scala | 41 context.sessions(logic, log = log).foreach(_.process((args: Dump.Args) => 85 -D DIR include session directory and select its sessions 86 -R operate on requirements of selected sessions 87 -X NAME exclude sessions from group NAME and all descendants 88 -a select all sessions 112 val sessions = getopts(args) 128 sessions = sessions))
|
H A D | build.scala | 5 Build and manage Isabelle sessions. 380 def sessions: Set[String] = results.keySet 417 sessions: List[String] = Nil, 441 exclude_sessions, session_groups, sessions) ++ selection 463 Sessions.deps(full_sessions.selection(Sessions.Selection(sessions = outdated)), 695 name <- results.sessions.iterator 726 val isabelle_tool = Isabelle_Tool("build", "build and manage Isabelle sessions", args => 757 -D DIR include session directory and select its sessions 760 -R operate on requirements of selected sessions 762 -X NAME exclude sessions fro [all...] |
/seL4-l4v-master/HOL4/tools/Holmake/tests/holpathdb/proj2/proj2A/ |
H A D | selftest.sml | 6 val _ = tprint "Checking holpathdb bindings make it into interactive sessions"
|
/seL4-l4v-master/isabelle/src/Pure/Thy/ |
H A D | present.scala | 19 private val sessions_path = Path.basic(".sessions") 31 private def write_sessions(dir: Path, sessions: List[(String, String)]) 34 File.write(dir + sessions_path, YXML.string_of_body(list(pair(string, string))(sessions))) 46 val sessions = (SortedMap.empty[String, String] ++ sessions0 ++ new_sessions).toList 47 write_sessions(dir, sessions) 49 val title = "Isabelle/" + chapter + " sessions" 53 (if (sessions.isEmpty) Nil 55 List(HTML.div("sessions", 57 sessions.map({ case (name, description) =>
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Thy/ |
H A D | present.scala | 19 private val sessions_path = Path.basic(".sessions") 31 private def write_sessions(dir: Path, sessions: List[(String, String)]) 34 File.write(dir + sessions_path, YXML.string_of_body(list(pair(string, string))(sessions))) 46 val sessions = (SortedMap.empty[String, String] ++ sessions0 ++ new_sessions).toList 47 write_sessions(dir, sessions) 49 val title = "Isabelle/" + chapter + " sessions" 53 (if (sessions.isEmpty) Nil 55 List(HTML.div("sessions", 57 sessions.map({ case (name, description) =>
|
/seL4-l4v-master/HOL4/Manual/Translations/IT/Tutorial/ |
H A D | theories.tex | 51 sessions. A theorem-proving session consists of interactions with the 55 replayed later. For the first sessions of theory development, each 56 time \HOL{} is started, the saved commands from previous sessions will 84 $thy$. The remaining example sessions will demonstrate the
|
/seL4-l4v-master/HOL4/Manual/Tutorial/ |
H A D | theories.tex | 51 sessions. A theorem-proving session consists of interactions with the 55 replayed later. For the first sessions of theory development, each 56 time \HOL{} is started, the saved commands from previous sessions will 84 $thy$. The remaining example sessions will demonstrate the
|