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

#593 Add parsing of annotations.

!640 · created Aug 28, 2023 by Dennis Hendriks v1.0
CIF TypeEnhancement
- Merged
- 8
- Approved
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
- 5
- Approved
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
- 31
- Approved
updated Aug 28, 2023
#605 Implement edge selection heuristics for CIF data-based synthesis workset algorithm

!636 · created Aug 21, 2023 by Dennis Hendriks v1.0
CIF TypeEnhancement
- Merged
- 4
updated Sep 12, 2023
#637 Rename codegen.png->cif_codegen.png (and others) for consistency.

!633 · created Aug 19, 2023 by Dennis Hendriks v1.0
CIF TypeEnhancement
- Merged
- Approved
updated Aug 22, 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
#596 PLCgen: improve classification of automata roles

!628 · created Aug 12, 2023 by Dennis Hendriks v1.0 596-generate-event-transition-code-3
CIF TypeEnhancement
- Merged
- 5
updated Aug 22, 2023
#632 multi-level: Construct multi-level synthesis node tree

!625 · created Aug 03, 2023 by Albert Hofkamp v1.0
CIF TypeEnhancement
- Merged
- 149
- Approved
updated Aug 30, 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
#596 plcgen: Generate transition functions

!619 · created Jun 30, 2023 by Albert Hofkamp v1.0
CIF TypeEnhancement
- Merged
- 191
- Approved
updated Oct 30, 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
#526 Add controlled system state space size as statistics option

!614 · created Jun 20, 2023 by Dennis Hendriks v0.10
CIF TypeEnhancement
- Merged
- 7
- Approved
updated Jun 22, 2023
#613 Remove deprecated curly bracket syntax for declaring enumeration.

!612 · created Jun 18, 2023 by Ferdie Reijnen v0.10
CIF TypeEnhancement
- Merged
- Approved
updated Jun 18, 2023
#613 Remove deprecated elim-enums options.

!611 · created Jun 18, 2023 by Ferdie Reijnen v0.10
CIF TypeEnhancement
- Merged
- Approved
updated Jun 18, 2023
#609 Add fixed-point computations order option to CIF data-based synthesis tool

!610 · created Jun 18, 2023 by Dennis Hendriks v0.10
CIF TypeEnhancement
- Merged
- 18
- Approved
updated Jun 20, 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
#612 Create deprecation warning for switch with single case

!608 · created Jun 15, 2023 by Martijn Goorden v0.10
CIF TypeEnhancement
- Merged
- 18
- Approved
updated Jun 24, 2023
#598 Add end-user documentation on switch statements.

!607 · created Jun 15, 2023 by Martijn Goorden v0.10
CIF TypeEnhancement
- Merged
- 108
- Approved
updated Jun 23, 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

Prev
1
…
18
19
20
21
22
23
24
25
26
…
35
Next

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