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

  • Subscribe to RSS feed
  • #632 multi-level: Construct multi-level synthesis node tree
    !625 · created Aug 03, 2023 by Albert Hofkamp   v1.0
    CIF TypeEnhancement
    • Merged
    • Approved
    • 149
    updated Aug 30, 2023
  • #596 plcgen: Generate transition functions
    !619 · created Jun 30, 2023 by Albert Hofkamp   v1.0
    CIF TypeEnhancement
    • Merged
    • Approved
    • 191
    updated Oct 30, 2023
  • #526 Add controlled system state space size as statistics option
    !614 · created Jun 20, 2023 by Dennis Hendriks   v0.10
    CIF TypeEnhancement
    • Merged
    • Approved
    • 7
    updated Jun 22, 2023
  • #613 Remove deprecated curly bracket syntax for declaring enumeration.
    !612 · created Jun 18, 2023 by Ferdie Reijnen   v0.10
    CIF TypeEnhancement
    • Merged
    • Approved
    • 0
    updated Jun 18, 2023
  • #613 Remove deprecated elim-enums options.
    !611 · created Jun 18, 2023 by Ferdie Reijnen   v0.10
    CIF TypeEnhancement
    • Merged
    • Approved
    • 0
    updated Jun 18, 2023
  • #609 Add fixed-point computations order option to CIF data-based synthesis tool
    !610 · created Jun 18, 2023 by Dennis Hendriks   v0.10
    CIF TypeEnhancement
    • Merged
    • Approved
    • 18
    updated Jun 20, 2023
  • #612 Create deprecation warning for switch with single case
    !608 · created Jun 15, 2023 by Martijn Goorden   v0.10
    CIF TypeEnhancement
    • Merged
    • Approved
    • 18
    updated Jun 24, 2023
  • #598 Add end-user documentation on switch statements.
    !607 · created Jun 15, 2023 by Martijn Goorden   v0.10
    CIF TypeEnhancement
    • Merged
    • Approved
    • 108
    updated Jun 23, 2023
  • #569 Upgrade from JUnit 4 to JUnit 5
    !606 · created Jun 11, 2023 by Ferdie Reijnen   v1.0
    CIF Chi Common RelEng/DevOps SeText ToolDef TypeEnhancement
    • Merged
    • Approved
    • 109
    updated Aug 15, 2023
  • #593 Add annotations to CIF metamodel
    !604 · created Jun 11, 2023 by Albert Hofkamp   v1.0
    CIF TypeEnhancement
    • Merged
    • Approved
    • 35
    updated Aug 26, 2023
  • #596 Allow for arbitrary 'then code' in a generated selection statement.
    !603 · created Jun 07, 2023 by Albert Hofkamp   v0.10
    CIF TypeEnhancement
    • Merged
    • Approved
    • 9
    updated Jun 11, 2023
  • #596 PLCgen: differentiate between reading and writing CIF variables.
    !602 · created Jun 05, 2023 by Albert Hofkamp   v0.10
    CIF TypeEnhancement
    • Merged
    • Approved
    • 10
    updated Jun 07, 2023
  • #569 Upgrade from JUnit 4 to JUnit 5
    !601 · created Jun 02, 2023 by Ferdie Reijnen
    CIF Chi Common RelEng/DevOps SeText ToolDef TypeEnhancement
    • Merged
    • Approved
    • 22
    updated Jun 11, 2023
  • #602 Implemented BDD-based workset edge dependency set computation
    !599 · created May 29, 2023 by Dennis Hendriks   v0.10
    CIF TypeEnhancement
    • Merged
    • Approved
    • 5
    updated Jun 01, 2023
  • #604 ElimMonitors JavaDoc fix.
    !598 · created May 28, 2023 by Dennis Hendriks   v0.10
    CIF TypeEnhancement
    • Merged
    • Approved
    • 0
    updated May 29, 2023
  • #591 Improved position information for CIF invariants
    !594 · created May 27, 2023 by Dennis Hendriks   v0.10
    CIF TypeEnhancement
    • Merged
    • Approved
    • 3
    updated Jun 01, 2023
  • #597 EdgeOrderDuplicateEventsOption: some renaming for clarity.
    !593 · created May 27, 2023 by Dennis Hendriks   v0.10
    CIF TypeEnhancement
    • Merged
    • 1
    updated Jun 03, 2023
  • #558 PLCgen: handle locations by eliminating them
    !590 · created May 23, 2023 by Jeroen Verbakel   v0.10
    CIF TypeEnhancement
    • Merged
    • Approved
    • 41
    updated Jun 13, 2023
  • #592 Unify cif2plc and plcgen model classes
    !589 · created May 23, 2023 by Albert Hofkamp   v0.10
    CIF TypeEnhancement
    • Merged
    • Approved
    • 9
    updated May 25, 2023
  • #596 PLCgen: add transition generator skeleton
    !588 · created May 23, 2023 by Albert Hofkamp   v0.10
    CIF TypeEnhancement
    • Merged
    • 24
    updated May 25, 2023
  • Prev
  • 1
  • …
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • …
  • 16
  • Next

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