Skip to content
GitLab
  • Explore
  • Sign in
  • Eclipse ProjectsEclipse Projects
  • Eclipse ESCET (Supervisory Control Engineering Toolkit)
  • escet
  • Merge requests
  • Open 9
  • Merged 654
  • Closed 43
  • All 706

  • Subscribe to RSS feed
  • #553 Event-based synthesis: warn if no requirement automata.
    !566 · created Apr 27, 2023 by Dennis Hendriks   v0.10
    CIF TypeEnhancement
    • Merged
    • Approved
    • 0
    updated Apr 28, 2023
  • #573 Print extra help text for ToolDef exit codes.
    !565 · created Apr 27, 2023 by Dennis Hendriks   v0.10
    ToolDef TypeBug
    • Merged
    • 7
    updated Apr 28, 2023
  • #570 Ensure 'dsmclustering' command line script is executable.
    !564 · created Apr 27, 2023 by Dennis Hendriks   v0.10
    Common Products TypeBug
    • Merged
    • Approved
    • 0
    updated Apr 28, 2023
  • #571 ToolDef readlines/writefile improvements
    !563 · created Apr 27, 2023 by Dennis Hendriks   v0.10
    ToolDef TypeEnhancement
    • Merged
    • 5
    updated Apr 28, 2023
  • #418 PLCgen: add default initial values to the converted state variable declarations.
    !562 · created Apr 26, 2023 by Albert Hofkamp   v0.10
    CIF TypeEnhancement
    • Closed
    • 26
    updated Apr 30, 2023
  • #567 Handle dark-theme and theme update in standalone applications.
    !561 · created Apr 23, 2023 by Patrick van Berkel   v0.10
    Common TypeBug
    • Merged
    • Approved
    • 9
    updated Apr 25, 2023
  • #399 #468 #221 Upgrade to Eclipse 2023-03 with in-place upgrade
    !560 · created Apr 23, 2023 by Dennis Hendriks   v0.10
    RelEng/DevOps TypeEnhancement
    • Merged
    • Approved
    • 32
    updated May 30, 2023
  • #567 Fix CIF synthesis analysis tool command line script ending prematurely
    !559 · created Apr 21, 2023 by Patrick van Berkel   v0.10
    CIF TypeBug
    • Merged
    • Approved
    • 23
    updated Apr 24, 2023
  • #567 Added launch configuration to run stand-alone cifsim for tank model from devenv
    !558 · created Apr 20, 2023 by Patrick van Berkel   v0.10
    CIF TypeEnhancement
    • Merged
    • Approved
    • 8
    updated Apr 22, 2023
  • #567 Reference correct plugin_name in eventbased standalone application.
    !557 · created Apr 20, 2023 by Patrick van Berkel   v0.10
    CIF TypeBug
    • Merged
    • Approved
    • 3
    updated Apr 20, 2023
  • #566 DEPENDENCIES.txt update for Dash license check tool output change.
    !556 · created Apr 16, 2023 by Dennis Hendriks   v0.10
    RelEng/DevOps TypeBug
    • Merged
    • 0
    updated Apr 16, 2023
  • #567 Unable to run CIF simulation in stand-alone mode using ./bin/cifsim
    !555 · created Apr 16, 2023 by Patrick van Berkel   v0.10
    Common TypeBug
    • Closed
    • 26
    updated Apr 23, 2023
  • #565 DEPENDENCIES.txt update for Dash license check tool output change.
    !554 · created Apr 15, 2023 by Dennis Hendriks   v0.10
    RelEng/DevOps TypeBug
    • Merged
    • 0
    updated Apr 15, 2023
  • #559 Add PLCgen expression generator.
    !553 · created Apr 06, 2023 by Albert Hofkamp   v0.10
    CIF TypeEnhancement
    • Merged
    • Approved
    • 165
    updated Apr 25, 2023
  • #564 CIF benchmark script: use normal output instead of debug output.
    !552 · created Apr 02, 2023 by Dennis Hendriks   v0.10
    CIF TypeEnhancement
    • Merged
    • Approved
    • 3
    updated Apr 03, 2023
  • #377 Legacy hyper-edge creator: consider location invariants.
    !551 · created Apr 02, 2023 by Dennis Hendriks   v0.10
    CIF TypeBug
    • Merged
    • Approved
    • 3
    updated Apr 05, 2023
  • #563 Improve CIF data-synthesis main fixed point loop sections
    !550 · created Apr 02, 2023 by Dennis Hendriks   v0.10
    CIF TypeEnhancement
    • Merged
    • 4
    updated Apr 04, 2023
  • #279 pom.xml surefire updates: 3.0.0-M5 to 3.0.0.
    !549 · created Apr 01, 2023 by Dennis Hendriks   v0.10
    RelEng/DevOps TypeEnhancement
    • Merged
    • Approved
    • 0
    updated Apr 03, 2023
  • #560 Development/release process updates: no more CQs and IP Logs.
    !548 · created Apr 01, 2023 by Dennis Hendriks   v0.10
    RelEng/DevOps TypeEnhancement
    • Merged
    • Approved
    • 0
    updated Apr 03, 2023
  • #557 Prepare Git repo for v0.10 development
    !547 · created Apr 01, 2023 by Dennis Hendriks   v0.10
    RelEng/DevOps TypeEnhancement
    • Merged
    • Approved
    • 0
    updated Apr 03, 2023
  • Prev
  • 1
  • …
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • …
  • 36
  • Next

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