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

#593 Add annotations to CIF metamodel

!604 · created Jun 11, 2023 by Albert Hofkamp v1.0
CIF TypeEnhancement
- Merged
- 35
- Approved
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
- 9
- Approved
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
- 10
- Approved
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
- 22
- Approved
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
- 5
- Approved
updated Jun 01, 2023
#604 ElimMonitors JavaDoc fix.

!598 · created May 28, 2023 by Dennis Hendriks v0.10
CIF TypeEnhancement
- Merged
- Approved
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
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
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
- 3
- Approved
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
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
#558 PLCgen: handle locations by eliminating them

!590 · created May 23, 2023 by Jeroen Verbakel v0.10
CIF TypeEnhancement
- Merged
- 41
- Approved
updated Jun 13, 2023
#592 Unify cif2plc and plcgen model classes

!589 · created May 23, 2023 by Albert Hofkamp v0.10
CIF TypeEnhancement
- Merged
- 9
- Approved
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
#520 Add workset algorithm to data-based synthesis

!587 · created May 17, 2023 by Dennis Hendriks v0.10
CIF TypeEnhancement
- Merged
- 26
- Approved
updated May 30, 2023
#554 develop to master for v0.10-M1

!586 · created May 17, 2023 by Dennis Hendriks v0.10 master
RelEng/DevOps TypeEnhancement
- Merged
updated May 17, 2023
#554 Updated release notes for v0.10-M1.

!585 · created May 15, 2023 by Dennis Hendriks v0.10
RelEng/DevOps TypeEnhancement
- Merged
- 4
updated May 17, 2023

Prev
1
…
20
21
22
23
24
25
26
27
28
…
54
Next

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