Skip to content
GitLab
Explore
Sign in
Open
1
Merged
758
Closed
43
All
802
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}}
Milestone due date
#719 Prepare Git repo for v3.0 development
!735
· created
Dec 22, 2023
by
Dennis Hendriks
v3.0
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Dec 22, 2023
#227 Allow assigning input variables via SVG input mapping
!720
· created
Dec 19, 2023
by
Ferdie Reijnen
v3.0
CIF
Type
Enhancement
Merged
58
Approved
updated
Mar 14, 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
#785 develop to master for v4.0
!952
· created
Jun 30, 2024
by
Dennis Hendriks
v4.0
master
RelEng/DevOps
Type
Enhancement
Merged
updated
Jun 30, 2024
#785 Update release notes for v4.0.
!949
· created
Jun 26, 2024
by
Dennis Hendriks
v4.0
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Jun 30, 2024
#784 develop to master for v4.0-RC1
!948
· created
Jun 26, 2024
by
Dennis Hendriks
v4.0
master
RelEng/DevOps
Type
Enhancement
Merged
updated
Jun 26, 2024
#887 CIF benchmark overview script: generate proper row-averages.
!947
· created
Jun 25, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
7
Approved
updated
Jun 26, 2024
#784 Update release notes for v4.0-RC1.
!946
· created
Jun 23, 2024
by
Dennis Hendriks
v4.0
RelEng/DevOps
Type
Enhancement
Merged
3
updated
Jun 26, 2024
#882 CIF explorer statistic output: 'states space' -> 'state space'.
!944
· created
Jun 22, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
Approved
updated
Jun 22, 2024
#880 Add TM Terminal feature to the target platform.
!943
· created
Jun 21, 2024
by
Dennis Hendriks
v4.0
Products
Type
Enhancement
Merged
Approved
updated
Jun 23, 2024
#867 Use `relnextIntersection` and `relprevIntersection`
!942
· created
Jun 21, 2024
by
Wytse Oortwijn
v4.0
CIF
Type
Enhancement
Merged
9
Approved
updated
Jun 21, 2024
#878 Accounting for runtime errors earlier during data based synthesis
!941
· created
Jun 20, 2024
by
Wytse Oortwijn
v4.0
CIF
Type
Enhancement
Merged
21
Approved
updated
Jul 09, 2024
#691 CIF explorer: use proper edge vs transition terminology
!938
· created
Jun 18, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
18
updated
Jun 21, 2024
#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
#410 CIF controller properties checker: add non-blocking under control check
!931
· created
Jun 16, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
56
Approved
updated
Jun 25, 2024
#873 CIF data-based synthesis: allow converting resulting predicates explicitly to only CNF or DNF
!930
· created
Jun 15, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
3
updated
Jun 17, 2024
#871 Use more BddUtils.free in CifBddEdge.
!928
· created
Jun 14, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
Approved
updated
Jun 17, 2024
#866 Use partial transition relations for improving data based synthesis performance
!927
· created
Jun 14, 2024
by
Wytse Oortwijn
v4.0
CIF
Type
Enhancement
Merged
20
Approved
updated
Jun 14, 2024
#865 Use relnext and relprev for improving data based synthesis performance
!926
· created
Jun 13, 2024
by
Wytse Oortwijn
v4.0
CIF
Type
Enhancement
Merged
2
Approved
updated
Jun 13, 2024
#679 Make "timer" a reserved word in PLCgen
!920
· created
Jun 10, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Enhancement
Merged
1
Approved
updated
Jun 10, 2024
Prev
1
…
24
25
26
27
28
29
30
31
32
…
41
Next
