Skip to content
GitLab
Explore
Sign in
Open
8
Merged
999
Closed
53
All
1,060
Recent searches
{{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}}
Created date
#934 PLCgen: Re-implement enum conversion, use smaller data types for conversion to constants or integers.
!1021
· created
Aug 06, 2024
by
Albert Hofkamp
v5.0
CIF
Type
Bug
Merged
31
Approved
updated
Aug 30, 2024
#226 CIF to mCRL2 transformation: support 'tau' events
!1022
· created
Aug 06, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
Approved
updated
Aug 07, 2024
#948 #229 CIF to mCRL2: support more CIF concepts
!1023
· created
Aug 08, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
1
Approved
updated
Aug 11, 2024
#947 Upgrading to JavaBDD 8.0.0
!1024
· created
Aug 09, 2024
by
Wytse Oortwijn
v5.0
CIF
Third party
Type
Enhancement
Merged
2
Approved
updated
Aug 09, 2024
#841 Update release notes for v5.0-M1.
!1025
· created
Aug 10, 2024
by
Dennis Hendriks
v5.0
RelEng/DevOps
Type
Enhancement
Merged
3
updated
Aug 14, 2024
#938 Improved data-based synthesis and controller properties checker debug/warning output
!1026
· created
Aug 11, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
3
Approved
updated
Aug 14, 2024
#948 CIF to mCRL2 supports div/mod on positive divisors
!1027
· created
Aug 11, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
8
Approved
updated
Aug 13, 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
#935 PLCgen: CifProcessor collects results, target distributes them.
!1029
· created
Aug 12, 2024
by
Albert Hofkamp
v5.0
CIF
Type
Bug
Merged
21
Approved
updated
Aug 13, 2024
#948 CIF to mCRL2 precheck/docs: div/mod for positive divisor.
!1030
· created
Aug 13, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
Approved
updated
Aug 13, 2024
#949 Improve and add descriptions to CIF benchmark models.
!1031
· created
Aug 13, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
5
Approved
updated
Aug 14, 2024
#353 CIF to mCRL2: add 'marked' action
!1032
· created
Aug 13, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
5
Approved
updated
Aug 14, 2024
#841 develop to master for v5.0-M1
!1033
· created
Aug 14, 2024
by
Dennis Hendriks
v5.0
master
RelEng/DevOps
Type
Enhancement
Merged
updated
Aug 14, 2024
#935 Make PLCgen transition generator more flexible
!1034
· created
Aug 14, 2024
by
Albert Hofkamp
v5.0
CIF
Type
Bug
Merged
39
Approved
updated
Aug 22, 2024
#947 Using saturation to improve BDD reachability performance
!1035
· created
Aug 14, 2024
by
Wytse Oortwijn
v5.0
CIF
Type
Enhancement
Merged
41
Approved
updated
Aug 27, 2024
#628 CIF code generator: split svgin/uncontrollable/controllable events into separate loops
!1036
· created
Aug 14, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
5
updated
Aug 15, 2024
#950 CIF to mCRL2: simplify and fix 'delta' for empty process.
!1037
· created
Aug 15, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
2
updated
Aug 16, 2024
#953 CIF benchmarks overview generation script: adapt for indent change.
!1038
· created
Aug 15, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
Approved
updated
Aug 15, 2024
#952 CIF code generator: 'event' to 'edge' in generator and generated code.
!1039
· created
Aug 15, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
4
updated
Aug 16, 2024
#816 PLCgen: Adopt maximum iteration boundaries from the bounded response check if they exist.
!1040
· created
Aug 16, 2024
by
Albert Hofkamp
v5.0
CIF
Type
Enhancement
Merged
77
Approved
updated
Aug 31, 2024
Prev
1
…
48
49
50
51
52
53
Next
