Merge requests · Eclipse Projects / Eclipse ESCET (Supervisory Control Engineering Toolkit) / escet · GitLab

#602 Implemented BDD-based workset edge dependency set computation

!599 · created May 29, 2023 by Dennis Hendriks v0.10
CIF TypeEnhancement
- Merged
- 5
- Approved
updated Jun 01, 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
updated May 28, 2023
#604 ElimMonitors JavaDoc fix.

!598 · created May 28, 2023 by Dennis Hendriks v0.10
CIF TypeEnhancement
- Merged
- Approved
updated May 29, 2023
#605 Implement edge selection heuristics for CIF data-based synthesis workset algorithm

!636 · created Aug 21, 2023 by Dennis Hendriks v1.0
CIF TypeEnhancement
- Merged
- 4
updated Sep 12, 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
- 14
- Approved
updated Jun 14, 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
- 18
- Approved
updated Jun 20, 2023
#60 Fix duplicated error messages for multi init locs in mCRL2 transformation.

!32 · created Apr 11, 2021 by Ferdie Reijnen
- Merged
- 5
updated Apr 15, 2021
#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
- 3
- Approved
updated Jun 21, 2023
#611 CIF simulator handles large expressions

!618 · created Jun 30, 2023 by Martijn Goorden v2.0
CIF TypeBug
- Merged
- 285
- Approved
updated Oct 06, 2023
#612 Create deprecation warning for switch with single case

!608 · created Jun 15, 2023 by Martijn Goorden v0.10
CIF TypeEnhancement
- Merged
- 18
- Approved
updated Jun 24, 2023
#613 Remove deprecated curly bracket syntax for declaring enumeration.

!612 · created Jun 18, 2023 by Ferdie Reijnen v0.10
CIF TypeEnhancement
- Merged
- Approved
updated Jun 18, 2023
#613 Remove deprecated elim-enums options.

!611 · created Jun 18, 2023 by Ferdie Reijnen v0.10
CIF TypeEnhancement
- Merged
- Approved
updated Jun 18, 2023
#616 develop to master for v1.0-M1

!631 · created Aug 17, 2023 by Martijn Goorden v1.0 master
RelEng/DevOps TypeEnhancement
- Merged
updated Aug 17, 2023
#616 Release notes for v1.0-M1

!630 · created Aug 16, 2023 by Martijn Goorden v1.0
RelEng/DevOps TypeEnhancement
- Merged
- 10
- Approved
updated Aug 17, 2023
#617 develop to master for v1.0-RC1

!658 · created Sep 26, 2023 by Dennis Hendriks v1.0 master
RelEng/DevOps TypeEnhancement
- Merged
updated Sep 26, 2023
#617 Update release notes for v1.0-RC1.

!652 · created Sep 18, 2023 by Dennis Hendriks v1.0
RelEng/DevOps TypeEnhancement
- Merged
- 4
updated Sep 26, 2023
#618 develop to master for v1.0

!660 · created Sep 30, 2023 by Dennis Hendriks v1.0 master
RelEng/DevOps TypeEnhancement
- Merged
updated Sep 30, 2023
#618 Update release notes for v1.0.

!659 · created Sep 28, 2023 by Dennis Hendriks v1.0
RelEng/DevOps TypeEnhancement
- Merged
- Approved
updated Sep 30, 2023
#61 Fix LessEqual and LessThan metamodel documentation.

!47 · created Apr 23, 2021 by Ferdie Reijnen
- Merged
- 5
updated Apr 23, 2021
#620 CIF to Supremica transformation now only generates at most one guard per edge

!622 · created Jul 02, 2023 by Dennis Hendriks v1.0
CIF TypeBug
- Merged
- Approved
updated Jul 06, 2023

Prev
1
…
27
28
29
30
31
32
33
34
35
…
51
Next

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