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

  • Subscribe to RSS feed
  • #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
  • #610 CIF data-based synthesis BDD operation cache size/ratio improvements and fixes
    !609 · created Jun 17, 2023 by Dennis Hendriks   v0.10
    CIF TypeBug
    • Merged
    • Approved
    • 3
    updated Jun 21, 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
  • #608 Add clean_build_output.py script to clean up build output files.
    !605 · created Jun 11, 2023 by Dennis Hendriks   v0.10
    RelEng/DevOps TypeEnhancement
    • Merged
    • Approved
    • 14
    updated Jun 14, 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
  • #596 PLCgen: differentiate between reading and writing CIF variables.
    !600 · created Jun 02, 2023 by Albert Hofkamp   v0.10
    CIF TypeEnhancement
    • Closed
    • 9
    updated Jun 05, 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
  • #468 In-place Eclipse upgrade documentation: review comments addressed.
    !597 · created May 28, 2023 by Dennis Hendriks   v0.10
    RelEng/DevOps TypeEnhancement
    • Merged
    • Approved
    • 0
    updated May 30, 2023
  • #603 DEPENDENCIES.txt update for Dash License Check tool output change.
    !596 · created May 28, 2023 by Dennis Hendriks   v0.10
    RelEng/DevOps TypeBug
    • Merged
    • 0
    updated May 28, 2023
  • Draft: #520 Add algorithm by Fei et al. (2014) to compute edge dependency sets
    !595 · created May 28, 2023 by Dennis Hendriks   v0.10
    CIF TypeEnhancement
    • Closed
    • 3
    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
  • #590 Renamed org.eclipse.escet.cif.common.checkers package.
    !592 · created May 27, 2023 by Dennis Hendriks   v0.10
    CIF TypeBug
    • Merged
    • Approved
    • 0
    updated May 30, 2023
  • #601 Implement sequencing algorithm
    !591 · created May 25, 2023 by Albert Hofkamp   v1.0
    Common TypeEnhancement
    • Merged
    • 163
    updated Aug 09, 2023
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • …
  • 36
  • Next

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