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

#450 Rename 'path separator' to 'file separator'

!459 · created Dec 30, 2022 by Dennis Hendriks v0.9
CIF Common SeText ToolDef TypeBug
- Merged
- 1
- Approved
updated Dec 31, 2022
#378 CIF data-based synthesis variable orders in separate classes

!457 · created Dec 29, 2022 by Dennis Hendriks v0.9
CIF TypeEnhancement
- Merged
- Approved
updated Jan 05, 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
#596 Allow for arbitrary 'then code' in a generated selection statement.

!603 · created Jun 07, 2023 by Albert Hofkamp v0.10
CIF TypeEnhancement
- Merged
- 9
- Approved
updated Jun 11, 2023
#596 PLCgen: differentiate between reading and writing CIF variables.

!602 · created Jun 05, 2023 by Albert Hofkamp v0.10
CIF TypeEnhancement
- Merged
- 10
- Approved
updated Jun 07, 2023
#596 PLCgen: differentiate between reading and writing CIF variables.

!600 · created Jun 02, 2023 by Albert Hofkamp v0.10
CIF TypeEnhancement
- Closed
- 9
updated Jun 05, 2023
#602 Implemented BDD-based workset edge dependency set computation

!599 · created May 29, 2023 by Dennis Hendriks v0.10
CIF TypeEnhancement
- Merged
- 5
- Approved
updated Jun 01, 2023
#604 ElimMonitors JavaDoc fix.

!598 · created May 28, 2023 by Dennis Hendriks v0.10
CIF TypeEnhancement
- Merged
- Approved
updated May 29, 2023
Draft: #520 Add algorithm by Fei et al. (2014) to compute edge dependency sets

!595 · created May 28, 2023 by Dennis Hendriks v0.10
CIF TypeEnhancement
- Closed
- 3
updated May 29, 2023
#591 Improved position information for CIF invariants

!594 · created May 27, 2023 by Dennis Hendriks v0.10
CIF TypeEnhancement
- Merged
- 3
- Approved
updated Jun 01, 2023
#597 EdgeOrderDuplicateEventsOption: some renaming for clarity.

!593 · created May 27, 2023 by Dennis Hendriks v0.10
CIF TypeEnhancement
- Merged
- 1
updated Jun 03, 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
#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
#592 Unify cif2plc and plcgen model classes

!589 · created May 23, 2023 by Albert Hofkamp v0.10
CIF TypeEnhancement
- Merged
- 9
- Approved
updated May 25, 2023

Prev
1
…
8
9
10
11
12
13
14
15
16
…
35
Next

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