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

#678 Free dropped bits for CifBddBitVector resize.

!672 · created Oct 21, 2023 by Ferdie Reijnen v2.0
CIF TypeBug
- Merged
- 7
- Approved
updated Oct 24, 2023
#661 Large expressions in exception reporting crash the CIF simulator

!671 · created Oct 16, 2023 by Martijn Goorden v2.0
CIF TypeBug
- Merged
- 14
- Approved
updated Oct 16, 2023
#655 Bug in CifToSynthesisConverter for resizing value vector

!663 · created Oct 09, 2023 by Ferdie Reijnen v2.0
CIF TypeBug
- Merged
- Approved
updated Oct 09, 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
#89 #331 Explicitly choose exit behavior of Application.run() functions. 39 of 39 checklist items completed

!656 · created Sep 23, 2023 by Patrick van Berkel v2.0
Products TypeBug
- Merged
- 30
- Approved
updated Dec 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
#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
#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
#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
#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
#589 Fix PLC statement copying

!581 · created May 12, 2023 by Albert Hofkamp v0.10
CIF TypeBug
- Merged
- Approved
updated May 13, 2023
#579 Update development setup documentation for JMV17

!575 · created May 05, 2023 by Martijn Goorden v0.10
RelEng/DevOps TypeBug
- Merged
- 1
- Approved
updated May 08, 2023
#568 Update DEPENDENCIES.txt for output on Jenkins.

!572 · created May 02, 2023 by Dennis Hendriks v0.10
RelEng/DevOps TypeBug
- Merged
- 1
updated May 02, 2023

Prev
1
…
3
4
5
6
7
8
9
10
11
…
15
Next

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