Skip to content
GitLab
  • Explore
  • Sign in
  • Eclipse ProjectsEclipse Projects
  • Eclipse ESCET (Supervisory Control Engineering Toolkit)
  • escet
  • Merge requests
  • Open 6
  • Merged 427
  • Closed 32
  • All 465

  • Subscribe to RSS feed
  • #150, #144 Add warning message for event not enabled in controlled state space and changed simplificating for those events
    !122 · created Jul 20, 2021 by Ferdie Reijnen   v0.3
    CIF TypeEnhancement
    • Closed
    • 16
    updated Aug 31, 2021
  • #148 Add switch expressions to data-based synthesis.
    !121 · created Jul 18, 2021 by Ferdie Reijnen   v0.3
    CIF TypeEnhancement
    • Merged
    • 2
    updated Jul 18, 2021
  • #137 Prepare for v0.3 development
    !115 · created Jul 07, 2021 by Dennis Hendriks   v0.3
    RelEng/DevOps TypeEnhancement
    • Merged
    • 0
    updated Jul 08, 2021
  • #122 Add controller check for finite response
    !97 · created Jun 17, 2021 by Albert Hofkamp   v0.3
    CIF TypeEnhancement
    • Merged
    • 177
    updated Sep 28, 2021
  • #216 Cannot terminate GUI simulations with terminate button
    !237 · created Dec 15, 2021 by Martijn Goorden   v0.4
    CIF TypeEnhancement
    • Merged
    • Approved
    • 7
    updated Dec 16, 2021
  • #191 Update release notes for v0.4-RC1.
    !234 · created Dec 12, 2021 by Dennis Hendriks   v0.4
    RelEng/DevOps TypeEnhancement
    • Merged
    • Approved
    • 7
    updated Dec 13, 2021
  • #156 Don't eliminate enums for CIF to mCRL2
    !233 · created Dec 12, 2021 by Dennis Hendriks   v0.4
    CIF TypeEnhancement
    • Merged
    • Approved
    • 10
    updated Dec 13, 2021
  • #165 Add Eclipse/Orbit update sites to our update site.
    !232 · created Dec 12, 2021 by Dennis Hendriks   v0.4
    RelEng/DevOps TypeEnhancement
    • Merged
    • 1
    updated Dec 12, 2021
  • #159 Refer to target file rather than target artefact for Maven build
    !231 · created Dec 12, 2021 by Dennis Hendriks   v0.4
    RelEng/DevOps TypeEnhancement
    • Merged
    • Approved
    • 0
    updated Dec 12, 2021
  • #158 Upgrade from Tycho 2.3 to 2.5
    !228 · created Dec 10, 2021 by Ferdie Reijnen   v0.4
    RelEng/DevOps TypeEnhancement
    • Merged
    • Approved
    • 4
    updated Dec 11, 2021
  • #188 Move Convert CIF to Yed diagram to CIF miscellaneous tools
    !226 · created Dec 08, 2021 by Martijn Goorden   v0.4
    CIF TypeEnhancement
    • Merged
    • Approved
    • 13
    updated Feb 18, 2023
  • #257 Configure Checkstyle for AsciiDoc files.
    !225 · created Dec 08, 2021 by Ferdie Reijnen   v0.4
    CIF Chi Products SeText ToolDef TypeEnhancement
    • Merged
    • Approved
    • 0
    updated Dec 08, 2021
  • #247 CIF code generator generated Java code for enum compare improved.
    !224 · created Dec 07, 2021 by Dennis Hendriks   v0.4
    CIF TypeEnhancement
    • Merged
    • Approved
    • 0
    updated Dec 08, 2021
  • #245 ElimLocRefExprs and linearization naming improvements
    !223 · created Dec 07, 2021 by Dennis Hendriks   v0.4
    CIF TypeEnhancement
    • Merged
    • Approved
    • 5
    updated Dec 09, 2021
  • #184 Explain easier collaboration with forks/contributors.
    !222 · created Dec 07, 2021 by Dennis Hendriks   v0.4
    Products RelEng/DevOps TypeEnhancement
    • Merged
    • Approved
    • 6
    updated Dec 08, 2021
  • #257 Configure Checkstyle for asciidoc files.
    !221 · created Dec 06, 2021 by Ferdie Reijnen   v0.4
    CIF Chi Products SeText ToolDef TypeEnhancement
    • Merged
    • 26
    updated Dec 09, 2021
  • #239 Add link from documentation TOC back to website.
    !220 · created Dec 06, 2021 by Dennis Hendriks   v0.4
    CIF Chi RelEng/DevOps ToolDef TypeEnhancement
    • Merged
    • Approved
    • 2
    updated Dec 07, 2021
  • #54 Use https for links.
    !219 · created Dec 05, 2021 by Ferdie Reijnen   v0.4
    CIF Chi Products SeText ToolDef TypeEnhancement
    • Merged
    • Approved
    • 6
    updated Dec 06, 2021
  • #236 Make paper/book/etc references in documentation consistent
    !218 · created Dec 05, 2021 by Martijn Goorden   v0.4
    CIF Chi RelEng/DevOps ToolDef TypeEnhancement
    • Merged
    • Approved
    • 23
    updated Feb 18, 2023
  • #54 One empty line separation in documentation.
    !217 · created Dec 05, 2021 by Ferdie Reijnen   v0.4
    CIF Chi Products SeText ToolDef TypeEnhancement
    • Merged
    • Approved
    • 6
    updated Dec 13, 2021
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • …
  • 24
  • Next

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent