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

#553 Event-based synthesis: warn if no requirement automata.

!566 · created Apr 27, 2023 by Dennis Hendriks v0.10
CIF TypeEnhancement
- Merged
- Approved
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
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
#567 Handle dark-theme and theme update in standalone applications.

!561 · created Apr 23, 2023 by Patrick van Berkel v0.10
Common TypeBug
- Merged
- 9
- Approved
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
- 32
- Approved
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
- 23
- Approved
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
- 8
- Approved
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
- 3
- Approved
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
updated Apr 16, 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
updated Apr 15, 2023
#559 Add PLCgen expression generator.

!553 · created Apr 06, 2023 by Albert Hofkamp v0.10
CIF TypeEnhancement
- Merged
- 165
- Approved
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
- 3
- Approved
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
- 3
- Approved
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
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
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
updated Apr 03, 2023
#562 Release process: fixed setting standard website and removing old websites

!546 · created Mar 31, 2023 by Dennis Hendriks v0.10
RelEng/DevOps TypeBug
- Merged
- 3
- Approved
updated Apr 03, 2023
#481 develop to master for v0.9

!545 · created Mar 31, 2023 by Dennis Hendriks v0.9 master
RelEng/DevOps TypeEnhancement
- Merged
- 1
updated Mar 31, 2023

Prev
1
…
25
26
27
28
29
30
31
32
33
…
55
Next

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