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

#588 Copy `cif2plc` classes to `plcgen`

!580 · created May 12, 2023 by Albert Hofkamp v0.10
CIF TypeEnhancement
- Merged
- 11
- Approved
updated May 15, 2023
#582 Ensure single point of responsibility in generating names and artefacts in the main program

!579 · created May 11, 2023 by Albert Hofkamp v0.10
CIF TypeEnhancement
- Merged
- 8
- Approved
updated May 12, 2023
#583 Generalize controller-check cycle finder

!578 · created May 08, 2023 by Albert Hofkamp v0.10
CIF Common TypeEnhancement
- Merged
- 25
- Approved
updated May 17, 2023
#580 Data-based synth updates conversion: reverse unchanged vars order.

!577 · created May 06, 2023 by Dennis Hendriks v0.10
CIF TypeEnhancement
- Merged
- 2
- Approved
updated May 08, 2023
#548 Allow omitting 'else' for CIF switch expressions more liberally

!576 · created May 05, 2023 by Dennis Hendriks v0.10
CIF TypeEnhancement
- Merged
- 8
updated May 08, 2023
#418 Initialize state variables

!573 · created May 03, 2023 by Albert Hofkamp v0.10
CIF TypeEnhancement
- Merged
- 24
- Approved
updated May 10, 2023
#523 Optimize enforcement of state plant invariants like state requirement invariants

!567 · created Apr 27, 2023 by Dennis Hendriks v0.10
CIF TypeEnhancement
- Merged
- 20
- Approved
updated Jun 22, 2023
#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
#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
#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
#489 Add simulation scenarios readme to CIF bridge example.

!539 · created Mar 23, 2023 by Dennis Hendriks v0.9
CIF TypeEnhancement
- Merged
- 18
- Approved
updated Mar 27, 2023
#379 CIF data-based synthesis variable ordering new default

!538 · created Mar 22, 2023 by Dennis Hendriks v0.9
CIF TypeEnhancement
- Merged
- 1
- Approved
updated Mar 22, 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
#551 CIF benchmark HTML overview gets averages and sorting

!536 · created Mar 19, 2023 by Dennis Hendriks v0.9
CIF TypeEnhancement
- Merged
- 3
- Approved
updated Mar 20, 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

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

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