Skip to content
GitLab
Explore
Sign in
Open
1
Merged
631
Closed
32
All
664
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}}
Title
#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
#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
#951 Upgrade to JavaBDD 9.0.0 + update CIF/BDD and synthesis for BDD.pathCount/satCount returning a BigInteger
!1070
· created
Sep 26, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
11
updated
Sep 27, 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
#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
#954 CIF to mCRL2: simplify the generated (range) guards
!1041
· created
Aug 18, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
7
Approved
updated
Aug 19, 2024
#955 CIF to mCRL2: improve translation of minimum-representable integer value
!1043
· created
Aug 20, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
5
Approved
updated
Aug 22, 2024
#956 PLCgen: Allow algebraic variables as output in I/O.
!1042
· created
Aug 20, 2024
by
Albert Hofkamp
v5.0
CIF
Type
Enhancement
Merged
20
Approved
updated
Aug 22, 2024
#957 CIF/BDD: Printing debug information for saturation
!1072
· created
Sep 27, 2024
by
Wytse Oortwijn
v5.0
CIF
Type
Enhancement
Merged
8
Approved
updated
Sep 27, 2024
#957 CIF/BDD saturation reachability: print edges/variables matrix as debug output
!1111
· created
Oct 25, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
6
Approved
updated
Oct 29, 2024
#958 CIF/BDD: Added termination checking for saturation
!1071
· created
Sep 27, 2024
by
Wytse Oortwijn
v5.0
CIF
Type
Enhancement
Merged
8
Approved
updated
Sep 27, 2024
#964 CIF controller properties checker: termination request fix/improve.
!1045
· created
Aug 23, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
Approved
updated
Aug 25, 2024
#965 PLCgen: iteration limit is bounded response property + 1, and fix loop killed condition.
!1055
· created
Sep 07, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
12
Approved
updated
Sep 10, 2024
#966 Change Chi/CIF/SeText/ToolDef text editor dark theme string color for better contrast.
!1082
· created
Oct 06, 2024
by
Dennis Hendriks
v6.0
CIF
Chi
SeText
ToolDef
Type
Enhancement
Merged
2
Approved
updated
Oct 07, 2024
#967 PLCgen: don't crash on reading invalid I/O table file.
!1052
· created
Sep 05, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
Approved
updated
Sep 05, 2024
#968 PLCgen: more explicit operator bindings, and fixed operator priorities for 'xor' and binary '-'
!1057
· created
Sep 08, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
12
updated
Sep 10, 2024
#969 DefaultVariableStorage: added extra assertion.
!1061
· created
Sep 10, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
1
updated
Sep 10, 2024
#969 PLCgen: fix constants having another constant as value.
!1053
· created
Sep 05, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
8
Approved
updated
Sep 10, 2024
#970 CIF execution scheme: defined it and ensured CIF code generator + PLCgen adhere to it
!1050
· created
Sep 04, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
6
Approved
updated
Sep 10, 2024
#971 CIF controller properties checker: bounded response check uses execution order
!1073
· created
Sep 28, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
27
Approved
updated
Oct 16, 2024
Prev
1
…
27
28
29
30
31
32
Next