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

#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
#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
#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
#558 PLCgen: handle locations by eliminating them

!590 · created May 23, 2023 by Jeroen Verbakel v0.10
CIF TypeEnhancement
- Merged
- 41
- Approved
updated Jun 13, 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
#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
#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
#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 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
#569 DEPENDENCIES.txt update.

!629 · created Aug 15, 2023 by Dennis Hendriks v1.0
CIF Chi Common RelEng/DevOps SeText ToolDef TypeEnhancement
- Merged
- Approved
updated Aug 15, 2023
#569 Upgrade from JUnit 4 to JUnit 5

!606 · created Jun 11, 2023 by Ferdie Reijnen v1.0
CIF Chi Common RelEng/DevOps SeText ToolDef TypeEnhancement
- Merged
- 109
- Approved
updated Feb 04, 2024
#569 Upgrade from JUnit 4 to JUnit 5

!601 · created Jun 02, 2023 by Ferdie Reijnen
CIF Chi Common RelEng/DevOps SeText ToolDef TypeEnhancement
- Merged
- 22
- Approved
updated Jun 11, 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
#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
#585 Add warning for exploring CIF specifications with requirements

!582 · created May 13, 2023 by Dennis Hendriks v0.10
CIF TypeEnhancement
- Merged
- 3
- Approved
updated May 15, 2023
#586 Add edge granularity option.

!583 · created May 13, 2023 by Dennis Hendriks v0.10
CIF TypeEnhancement
- Merged
- 16
- Approved
updated May 16, 2023
#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
#589 Fix PLC statement copying

!581 · created May 12, 2023 by Albert Hofkamp v0.10
CIF TypeBug
- Merged
- Approved
updated May 13, 2023

Prev
1
…
13
14
15
16
17
18
19
20
21
…
33
Next

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