Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in
  • i7 i7
  • Group information
    • Group information
    • Activity
    • Labels
    • Members
  • Epics 0
    • Epics 0
    • List
    • Boards
    • Roadmap
  • Issues 20
    • Issues 20
    • List
    • Boards
    • Milestones
    • Iterations
  • Merge requests 1
    • Merge requests 1
  • Security & Compliance
    • Security & Compliance
    • Security dashboard
    • Vulnerability report
  • Packages and registries
    • Packages and registries
    • Package Registry
  • Analytics
    • Analytics
    • Insights
    • Issue
  • Wiki
    • Wiki
Collapse sidebar

9.2.2023: Due to updates GitLab will be unavailable for some minutes between 9:00 and 11:00.

  • i7i7
  • Milestones
  • Open 5
  • Closed 0
  • All 5
  • Definition of HOA structure - Project Milestone
    Nov 2, 2017–Nov 23, 2017
    Expired i7 / Isabelle / Hanoi_Omega_Automata_Format
    3 Issues · 0 Merge requests
    100% complete
  • Syntcomp 2018 - Project Milestone
    expired on May 18, 2018
    Expired i7 / Strix
    4 Issues · 1 Merge request
    75% complete
  • CAV Public - Project Milestone
    expired on Jun 29, 2018
    Expired i7 / Strix
    3 Issues · 0 Merge requests
    33% complete
  • Petri Nets 2021 - Project Milestone
    Nov 16, 2020–Jan 7, 2021
    Expired i7 / ostrich
    5 Issues · 0 Merge requests
    100% complete
  • Conversion of different omega automata definitions to HOA - Project Milestone
    started on Nov 23, 2017
    i7 / Isabelle / Hanoi_Omega_Automata_Format
    2 Issues · 0 Merge requests
    0% complete

LRZ Homepage | Datenschutz | Dokumentation und Betriebsbedingungen | Impressum