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

#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
#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
#658 Fix 'cifexplorer' script: use correct plugin to find application.

!657 · created Sep 25, 2023 by Dennis Hendriks v1.0
CIF TypeBug
- Merged
- Approved
updated Sep 25, 2023
#649 EventDisabler now uses try-with-resources to read event names file.

!649 · created Sep 16, 2023 by Dennis Hendriks v1.0
CIF TypeBug
- Merged
- Approved
updated Sep 16, 2023
#646 FESTO benchmark model: removed duplicate invariants.

!647 · created Sep 10, 2023 by Dennis Hendriks v1.0
CIF TypeBug
- Merged
- Approved
updated Sep 11, 2023
#645 DEPENDENCIES.txt update for changed Dash license check tool output.

!645 · created Sep 08, 2023 by Dennis Hendriks v1.0
RelEng/DevOps TypeBug
- Merged
updated Sep 08, 2023
#642 SeText no longer allows a shortcut to use itself

!642 · created Aug 28, 2023 by Dennis Hendriks v1.0
SeText TypeBug
- Merged
- Approved
updated Sep 01, 2023
#639 Fix performance regression in finite response checker

!637 · created Aug 24, 2023 by Dennis Hendriks v1.0
CIF TypeBug
- Merged
- 31
- Approved
updated Aug 28, 2023
#634 Get rid of build-helper-maven-plugin missing version warnings.

!634 · created Aug 20, 2023 by Dennis Hendriks v1.0
RelEng/DevOps TypeBug
- Merged
- Approved
updated Aug 21, 2023
#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
#624 Update and improve SECURITY file.

!621 · created Jul 02, 2023 by Dennis Hendriks v1.0
RelEng/DevOps TypeBug
- Merged
- Approved
updated Jul 06, 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
#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
#593 Add annotations lesson to the CIF language tutorial.

!655 · created Sep 19, 2023 by Dennis Hendriks v1.0
CIF TypeEnhancement
- Merged
- 27
- Approved
updated Sep 22, 2023
#655 Mark CIF data-based synthesis workset algorithm as mature

!653 · created Sep 18, 2023 by Dennis Hendriks v1.0
CIF TypeEnhancement
- Merged
- Approved
updated Sep 19, 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

Prev
1
…
22
23
24
25
26
27
28
29
30
…
59
Next

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