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

#459 Improve CIF data-based synthesis documentation on supported updated/expressions/predicates

!425 · created Nov 27, 2022 by Dennis Hendriks v0.8
CIF TypeEnhancement
- Merged
- Approved
- 1
- 10
updated Dec 01, 2022
#357 Update CIF documentation for recent Inkscape versions

!397 · created Oct 22, 2022 by Martijn Goorden v0.8
CIF TypeBug
- Merged
- 1
- 40
updated Nov 24, 2022
#439 Get rid of references to 'receive(d) variables'.

!391 · created Oct 15, 2022 by Dennis Hendriks v0.8
CIF TypeBug
- Merged
- Approved
- 1
- 0
updated Oct 17, 2022
#438 Various small JavaDoc/documentation fixes/improvements.

!390 · created Oct 15, 2022 by Dennis Hendriks v0.8
CIF Common TypeEnhancement
- Merged
- Approved
- 1
- 0
updated Oct 17, 2022
#419 Added Oisterwijksebaan bridge real-world CIF synthesis example

!370 · created Sep 25, 2022 by Dennis Hendriks v0.7
CIF TypeEnhancement
- Merged
- 1
- 16
updated Sep 29, 2022
#172 AsciiDoc source file/folder renames

!146 · created Sep 26, 2021 by Dennis Hendriks v0.3
CIF Chi Products SeText ToolDef TypeEnhancement
- Merged
- 1
- 2
updated Sep 27, 2021
#658 Fix 'cifexplorer' script: use correct plugin to find application.

!657 · created Sep 25, 2023 by Dennis Hendriks v1.0
CIF TypeBug
- Merged
- Approved
- 0
updated Sep 25, 2023
#593 Add annotations lesson to the CIF language tutorial.

!655 · created Sep 19, 2023 by Dennis Hendriks v1.0
CIF TypeEnhancement
- Merged
- Approved
- 27
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
- 0
updated Sep 19, 2023
#593 Add 'doc' annotation as built-in CIF annotation

!651 · created Sep 16, 2023 by Dennis Hendriks v1.0
CIF TypeEnhancement
- Merged
- Approved
- 21
updated Sep 20, 2023
#593 Handle annotations in CIF merger

!650 · created Sep 16, 2023 by Dennis Hendriks v1.0
CIF TypeEnhancement
- Merged
- Approved
- 4
updated Sep 19, 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
- 0
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
- 0
updated Sep 11, 2023
#469 Consider allowing CIF/SVG inputs mappings that map to a disabled event

!646 · created Sep 09, 2023 by Ferdie Reijnen v1.0
CIF TypeEnhancement
- Merged
- Approved
- 37
updated Sep 23, 2023
#593 Add CIF annotation providers and use them to perform additional type checking

!644 · created Sep 05, 2023 by Dennis Hendriks v1.0
CIF TypeEnhancement
- Merged
- 18
updated Sep 16, 2023
#593 Basic type checking and pretty printing for annotations

!643 · created Sep 01, 2023 by Dennis Hendriks v1.0
CIF TypeEnhancement
- Merged
- Approved
- 6
updated Sep 05, 2023
#593 Add parsing of annotations.

!640 · created Aug 28, 2023 by Dennis Hendriks v1.0
CIF TypeEnhancement
- Merged
- Approved
- 8
updated Aug 30, 2023
#632 Multi-level tree computation: eliminate Algo2Data class.

!639 · created Aug 27, 2023 by Dennis Hendriks v1.0 632-add-multi-level-synthesis-tree
CIF TypeEnhancement
- Merged
- 3
updated Aug 30, 2023
#593 Add AnnotatedObject to CIF metamodel and Declaration extends it

!638 · created Aug 26, 2023 by Dennis Hendriks v1.0
CIF TypeEnhancement
- Merged
- Approved
- 5
updated Aug 28, 2023
#639 Fix performance regression in finite response checker

!637 · created Aug 24, 2023 by Dennis Hendriks v1.0
CIF TypeBug
- Merged
- Approved
- 31
updated Aug 28, 2023

Prev
1
2
3
4
5
…
14
Next

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