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

#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
#597 EdgeOrderDuplicateEventsOption: some renaming for clarity.

!593 · created May 27, 2023 by Dennis Hendriks v0.10
CIF TypeEnhancement
- Merged
- 1
updated Jun 03, 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
#604 ElimMonitors JavaDoc fix.

!598 · created May 28, 2023 by Dennis Hendriks v0.10
CIF TypeEnhancement
- Merged
- Approved
updated May 29, 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
#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
#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 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
#593 Add annotations to CIF metamodel

!604 · created Jun 11, 2023 by Albert Hofkamp v1.0
CIF TypeEnhancement
- Merged
- 35
- Approved
updated Aug 26, 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
#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
#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
#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
#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
#613 Remove deprecated elim-enums options.

!611 · created Jun 18, 2023 by Ferdie Reijnen v0.10
CIF TypeEnhancement
- Merged
- Approved
updated Jun 18, 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
#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
#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
#596 plcgen: Generate transition functions

!619 · created Jun 30, 2023 by Albert Hofkamp v1.0
CIF TypeEnhancement
- Merged
- 191
- Approved
updated Oct 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

Prev
1
…
9
10
11
12
13
14
15
16
17
…
33
Next

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