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

#712 Lithography benchmark model has duplicate invariants

!719 · created Dec 19, 2023 by Ferdie Reijnen v2.0
CIF TypeBug
- Merged
- Approved
updated Dec 19, 2023
#698 Fix CIF explorer state annotation argument value type creation (2nd attempt)

!711 · created Dec 09, 2023 by Dennis Hendriks v2.0
CIF TypeBug
- Merged
- 6
- Approved
updated Dec 18, 2023
#713 ExprNoSpecificBinaryExprsCheckLevel cif test has mistake for modulus test

!717 · created Dec 15, 2023 by Ferdie Reijnen v2.0
CIF TypeBug
- Merged
- Approved
updated Dec 15, 2023
#542 Add warning for duplicated state invariant

!673 · created Oct 22, 2023 by Ferdie Reijnen v2.0
CIF TypeEnhancement
- Merged
- 71
- Approved
updated Dec 15, 2023
#697 Additional type checking constraints for state annotations

!712 · created Dec 09, 2023 by Dennis Hendriks v2.0
CIF TypeEnhancement
- Merged
- 46
- Approved
updated Dec 16, 2023
#676 PLCgen: Add documentation.

!700 · created Nov 24, 2023 by Albert Hofkamp v2.0
CIF TypeEnhancement
- Merged
- 346
- Approved
updated Dec 14, 2023
#272 Generate variables and functions for JavaScript export target

!710 · created Dec 04, 2023 by Rik Lubking v2.0
CIF TypeEnhancement
- Merged
- 130
- Approved
updated Dec 19, 2023
#708 Event-based tools add state annotations to the output CIF models

!715 · created Dec 10, 2023 by Dennis Hendriks v2.0
CIF TypeEnhancement
- Merged
- 3
- Approved
updated Dec 11, 2023
#709 Fix comments in simplify_values* tests + extend the tests

!713 · created Dec 09, 2023 by Dennis Hendriks v2.0
CIF TypeBug
- Merged
- Approved
updated Dec 11, 2023
#692 Allow annotating a CIF object multiple times with the same annotation

!708 · created Dec 03, 2023 by Dennis Hendriks v2.0
CIF TypeEnhancement
- Merged
- 2
- Approved
updated Dec 04, 2023
#686 Confluence check: more debug output and more termination checking

!705 · created Nov 28, 2023 by Martijn Goorden v2.0
CIF TypeEnhancement
- Merged
- 32
- Approved
updated Dec 04, 2023
#272 JavaScript code generation: generate variables and functions boilerplate

!704 · created Nov 27, 2023 by Rik Lubking v2.0
CIF TypeEnhancement
- Merged
- 17
- Approved
updated Dec 01, 2023
#684 CifToPlcTrans: configure linearization consistent with precond check

!707 · created Nov 30, 2023 by Ferdie Reijnen v2.0
CIF TypeBug
- Merged
- 1
- Approved
updated Dec 01, 2023
#687 Add 'state' annotations and CIF explorer adds them to statespace automata

!703 · created Nov 27, 2023 by Dennis Hendriks v2.0
CIF TypeEnhancement
- Merged
- 25
updated Dec 14, 2023
#694 CIF codegen TypeInfoHelper: make target-specific data value.

!706 · created Nov 28, 2023 by Dennis Hendriks v2.0
CIF TypeBug
- Merged
- Approved
updated Nov 30, 2023
#272 JavaScript code generation: added UI/CSS

!699 · created Nov 23, 2023 by Rik Lubking v2.0
CIF TypeEnhancement
- Merged
- 29
- Approved
updated Nov 27, 2023
#689 Fix CIF explorer crashing on models with minimum integer value

!701 · created Nov 25, 2023 by Dennis Hendriks v2.0
CIF TypeBug
- Merged
- 1
- Approved
updated Nov 27, 2023
#690 Fix CIF explorer for models with function-typed discrete variables without an initial value

!702 · created Nov 25, 2023 by Dennis Hendriks v2.0
CIF TypeBug
- Merged
- 4
- Approved
updated Nov 27, 2023
#272 Added utils classes for JavasScript export function.

!686 · created Nov 02, 2023 by Rik Lubking v2.0
CIF TypeEnhancement
- Merged
- 62
- Approved
updated Dec 19, 2023
#676 Insert empty line between different event transitions

!697 · created Nov 20, 2023 by Albert Hofkamp v2.0
CIF TypeEnhancement
- Merged
- 27
- Approved
updated Nov 23, 2023

Prev
1
…
10
11
12
13
14
15
16
17
18
…
31
Next

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