Skip to content
GitLab
Explore
Sign in
Eclipse Projects
Eclipse ESCET (Supervisory Control Engineering Toolkit)
escet
Merge requests
Open
6
Merged
315
Closed
21
All
342
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Popularity
#692 Allow annotating a CIF object multiple times with the same annotation
!708
· created
Dec 03, 2023
by
Dennis Hendriks
v2.0
CIF
Type
Enhancement
Merged
Approved
2
updated
Dec 04, 2023
#684 CifToPlcTrans: configure linearization consistent with precond check
!707
· created
Nov 30, 2023
by
Ferdie Reijnen
v2.0
CIF
Type
Bug
Merged
Approved
1
updated
Dec 01, 2023
#694 CIF codegen TypeInfoHelper: make target-specific data value.
!706
· created
Nov 28, 2023
by
Dennis Hendriks
v2.0
CIF
Type
Bug
Merged
Approved
0
updated
Nov 30, 2023
#686 Confluence check: more debug output and more termination checking
!705
· created
Nov 28, 2023
by
Martijn Goorden
v2.0
CIF
Type
Enhancement
Merged
Approved
32
updated
Dec 04, 2023
#272 JavaScript code generation: generate variables and functions boilerplate
!704
· created
Nov 27, 2023
by
Rik Lubking
v2.0
CIF
Type
Enhancement
Merged
Approved
17
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
Type
Enhancement
Merged
25
updated
Nov 30, 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
Type
Bug
Merged
Approved
4
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
Type
Bug
Merged
Approved
1
updated
Nov 27, 2023
#272 JavaScript code generation: added UI/CSS
!699
· created
Nov 23, 2023
by
Rik Lubking
v2.0
CIF
Type
Enhancement
Merged
Approved
29
updated
Nov 27, 2023
#688 Fix icon name of CIF to PLC application.
!698
· created
Nov 21, 2023
by
Albert Hofkamp
v2.0
CIF
Type
Bug
Merged
Approved
0
updated
Nov 21, 2023
#676 Insert empty line between different event transitions
!697
· created
Nov 20, 2023
by
Albert Hofkamp
v2.0
CIF
Type
Enhancement
Merged
Approved
27
updated
Nov 23, 2023
#593 Allow annotations on locations
!695
· created
Nov 19, 2023
by
Dennis Hendriks
v2.0
CIF
Type
Enhancement
Merged
Approved
2
updated
Nov 21, 2023
#685 Renamed CIF application menu item icons to 'cif_app.png'
!694
· created
Nov 16, 2023
by
Dennis Hendriks
v2.0
CIF
Type
Enhancement
Merged
Approved
3
updated
Nov 20, 2023
#683 CIF codegen: configure linearization to be consistent with precondition check
!691
· created
Nov 11, 2023
by
Dennis Hendriks
v2.0
CIF
Type
Bug
Merged
Approved
7
updated
Nov 13, 2023
#676 PLCgen: Connect PLCgen with the GUI.
!690
· created
Nov 10, 2023
by
Albert Hofkamp
v2.0
CIF
Type
Enhancement
Merged
Approved
28
updated
Nov 20, 2023
#676 PLCgen: Forbid use of user-defined functions.
!689
· created
Nov 10, 2023
by
Albert Hofkamp
v2.0
CIF
Type
Enhancement
Merged
Approved
3
updated
Nov 14, 2023
#679 PLCgen: Introduce infix/informal/formal supported notations for function calls.
!688
· created
Nov 10, 2023
by
Albert Hofkamp
v2.0
CIF
Type
Enhancement
Merged
Approved
99
updated
Nov 20, 2023
#667 Support logical implication operator in CIF to mCRL2
!687
· created
Nov 02, 2023
by
Martijn Goorden
v2.0
CIF
Type
Enhancement
Merged
Approved
2
updated
Nov 02, 2023
#272 Added utils classes for JavasScript export function.
!686
· created
Nov 02, 2023
by
Rik Lubking
v2.0
CIF
Type
Enhancement
Merged
Approved
62
updated
Nov 23, 2023
#669 Added history page to CIF documentation
!685
· created
Oct 31, 2023
by
Dennis Hendriks
v2.0
CIF
Type
Enhancement
Merged
Approved
80
updated
Nov 20, 2023
Prev
1
2
3
4
5
…
16
Next
