Searched refs:sessions (Results 1 - 25 of 85) sorted by relevance

1234

/seL4-l4v-master/l4v/misc/zsh/
H A Disabelle_session_names.py42 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 Dbuild_doc.scala35 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 Dafp.scala43 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 Dci_profile.scala55 val timings = results.sessions.collect {
110 val groups = results.sessions.map(results.info).flatMap(_.groups)
120 for (name <- results.sessions) {
H A Dbuild_status.scala77 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 Dbuild_log.scala483 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 Disabelle_session.scala22 /* 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 Djedit_sessions.scala84 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 Dbuild_doc.scala35 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 Dafp.scala43 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 Dci_profile.scala55 val timings = results.sessions.collect {
110 val groups = results.sessions.map(results.info).flatMap(_.groups)
120 for (name <- results.sessions) {
H A Dbuild_status.scala77 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 Dbuild_log.scala483 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 Disabelle_session.scala22 /* 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 Djedit_sessions.scala84 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 Dthydeps34 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 Dupdate.scala41 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 Dbuild.scala5 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 Dupdate.scala41 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 Dbuild.scala5 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 Dselftest.sml6 val _ = tprint "Checking holpathdb bindings make it into interactive sessions"
/seL4-l4v-master/isabelle/src/Pure/Thy/
H A Dpresent.scala19 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 Dpresent.scala19 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 Dtheories.tex51 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 Dtheories.tex51 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

Completed in 153 milliseconds

1234