Skip to content
GitLab
Explore
Sign in
Open
6
Merged
1,217
Closed
63
All
1,286
Merge trains
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Priority
#480 develop to master for v0.9-RC1
!541
· created
Mar 28, 2023
by
Dennis Hendriks
v0.9
master
RelEng/DevOps
Type
Enhancement
Closed
1
updated
Mar 28, 2023
Draft: #378 CIF data-based synthesis variable ordering and reordering in one go.
!472
· created
Jan 09, 2023
by
Dennis Hendriks
v0.9
CIF
Type
Enhancement
Closed
5
updated
Mar 12, 2023
Draft: #454 New output for CIF checks
!464
· created
Jan 01, 2023
by
Dennis Hendriks
v0.9
CIF
Type
Enhancement
Closed
28
updated
Feb 21, 2023
#567 Unable to run CIF simulation in stand-alone mode using ./bin/cifsim
!555
· created
Apr 16, 2023
by
Patrick van Berkel
v0.10
Common
Type
Bug
Closed
26
updated
Apr 23, 2023
#596 PLCgen: differentiate between reading and writing CIF variables.
!600
· created
Jun 02, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Closed
9
updated
Jun 05, 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
Type
Enhancement
Closed
3
updated
May 29, 2023
#418 PLCgen: add default initial values to the converted state variable declarations.
!562
· created
Apr 26, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Closed
26
updated
Apr 30, 2023
#698 Fix CIF explorer state annotation argument value type creation
!709
· created
Dec 03, 2023
by
Dennis Hendriks
v2.0
CIF
Type
Bug
Closed
4
updated
Dec 09, 2023
#715 CIF code generator: Add HTML and JavaScript target language for export.
!722
· created
Dec 20, 2023
by
Rik Lubking
v2.0
CIF
Type
Enhancement
Closed
updated
Dec 20, 2023
#272 CIF code generator: add SVG boilerplate code to JavaScript code generator
!716
· created
Dec 12, 2023
by
Rik Lubking
v2.0
CIF
Type
Enhancement
Closed
239
updated
Dec 20, 2023
#679 PLCgen: Add formal invoke options
!683
· created
Oct 31, 2023
by
Albert Hofkamp
v2.0
CIF
Type
Enhancement
Closed
56
updated
Nov 13, 2023
#272 JavaScript code generation step 1: add export menu option
!680
· created
Oct 30, 2023
by
Rik Lubking
v2.0
CIF
Type
Enhancement
Closed
3
updated
Oct 30, 2023
#676 PLCgen: Postpone remaining options to after the first release
!675
· created
Oct 26, 2023
by
Albert Hofkamp
v2.0
CIF
Type
Enhancement
Closed
3
updated
Oct 31, 2023
#443 Add zooming to SVG viewer/visualizer
!662
· created
Oct 05, 2023
by
Patrick van Berkel
v2.0
CIF
Type
Enhancement
Closed
450
updated
Nov 25, 2023
#269 CIF BDD and data-based synthesis: Use collectEvents/collectAutomata from CifCollectUtils.
!797
· created
Feb 04, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Closed
3
updated
Feb 06, 2024
Draft: #382 (take 2) Make plcgen0 accessible in ESCET.
!357
· created
Aug 11, 2022
by
Albert Hofkamp
v3.0
CIF
Type
Enhancement
Closed
4
updated
Dec 22, 2023
#872 Add TM Terminal and EGit features to Eclipse ESCET IDE/product
!937
· created
Jun 18, 2024
by
Dennis Hendriks
v4.0
Products
Type
Enhancement
Closed
1
updated
Jun 21, 2024
#805 PLCgen: Insert a text header at the start of the PLC program (1st attempt)
!871
· created
Apr 29, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Enhancement
Closed
25
updated
May 07, 2024
Draft: #935 Move timer data structures to variables storage.
!1028
· created
Aug 11, 2024
by
Albert Hofkamp
v5.0
CIF
Type
Bug
Closed
4
updated
Aug 13, 2024
#1077 Change Jenkins pod from 'centos-7' to 'ubuntu-2404'
!1158
· created
Nov 29, 2024
by
Frederic Gurr
v6.0
RelEng/DevOps
Type
Bug
Closed
updated
Nov 30, 2024
Prev
1
2
3
4
Next
