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

#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
#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
#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
#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
#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
#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 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
#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
#552 Fix BDD variable order option name in CIF documentation.

!537 · created Mar 21, 2023 by Dennis Hendriks v0.9
CIF TypeBug
- Merged
- Approved
updated Mar 21, 2023
#550 Export non-exported packages to silence warnings.

!535 · created Mar 17, 2023 by Dennis Hendriks v0.9
CIF Common TypeBug
- Merged
- Approved
updated Mar 20, 2023
#546 Write DMM as text in Dmm.toString()

!528 · created Mar 07, 2023 by Albert Hofkamp v0.9
CIF TypeBug
- Merged
- 3
- Approved
updated Apr 01, 2023
#540 Refactor AppStream to detect all EOL sequences.

!518 · created Mar 03, 2023 by Albert Hofkamp v0.9
CIF TypeBug
- Merged
- 33
- Approved
updated Apr 01, 2023
#543 Incorrect command line option max memory stats for databased synthesis

!517 · created Mar 01, 2023 by Ferdie Reijnen v0.9
CIF TypeBug
- Merged
- Approved
updated Mar 02, 2023
#535 Fix SynthesisEdge.apply JavaDoc for 'pred' argument.

!507 · created Feb 18, 2023 by Dennis Hendriks v0.9
CIF TypeBug
- Merged
- Approved
updated Feb 20, 2023
#533 Don't show the edge order option in the option dialog anymore.

!505 · created Feb 16, 2023 by Dennis Hendriks v0.9
CIF TypeBug
- Merged
- Approved
updated Feb 17, 2023
#521 Update https://www.eclipse.org/escet/cif/tools/cifsim/debug-gen-code.html

!493 · created Jan 27, 2023 by Ferdie Reijnen v0.9
CIF TypeBug
- Merged
- Approved
updated Jan 28, 2023
#519 Fix errors and warnings in develop.

!489 · created Jan 24, 2023 by Dennis Hendriks v0.9
CIF TypeBug
- Merged
- 1
updated Jan 24, 2023

Prev
1
2
3
4
5
6
7
8
9
10
…
31
Next

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