Skip to content
GitLab
Explore
Sign in
Open
2
Merged
1,103
Closed
60
All
1,165
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
#121 #130 #123 #46 #100 #130 Upgrade to Eclipse 2021-06 + dependency licenses + Maven 3.8.1 + fix runtime JDT compilation + no more limit-modules
!105
· created
Jun 26, 2021
by
Dennis Hendriks
v0.2
CIF
Chi
Common
RelEng/DevOps
Type
Bug
Type
Enhancement
Merged
9
updated
Jun 28, 2021
#120 Make preprocessing and supported specification consistent for CIF to mCRL2.
!102
· created
Jun 23, 2021
by
Ferdie Reijnen
Merged
1
updated
Jun 23, 2021
#118 Realigned require-bundle for Cif simulator and debug simulator.
!93
· created
Jun 12, 2021
by
Ferdie Reijnen
Merged
1
updated
Jun 12, 2021
#117 Rebrand requirement invariants to supervisor invariants as synthesis output.
!96
· created
Jun 15, 2021
by
Ferdie Reijnen
Merged
1
updated
Jun 16, 2021
#112 Generate Chi railroad diagrams using the new railroad diagram generator
!473
· created
Jan 11, 2023
by
Ferdie Reijnen
v0.9
Chi
Type
Enhancement
Merged
38
Approved
updated
Jan 23, 2023
#111 Build railroad diagrams during the build
!311
· created
Apr 27, 2022
by
Dennis Hendriks
v0.6
Common
RelEng/DevOps
Type
Enhancement
Merged
20
Approved
updated
Sep 29, 2022
#108 additional checks/warnings for data based synthesis related to state event exclusion invariants.
!114
· created
Jul 02, 2021
by
Ferdie Reijnen
Merged
30
updated
Jul 13, 2021
#1081 CIF 'bridge' synthesis example: fix duplicate section name.
!1162
· created
Nov 30, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Bug
Merged
Approved
updated
Nov 30, 2024
#1080 Fix 'Fork collaboration script support' documentation + improve scripts
!1161
· created
Nov 30, 2024
by
Dennis Hendriks
v6.0
RelEng/DevOps
Type
Bug
Merged
Approved
updated
Nov 30, 2024
#107 Data-based synthesis should support state plant invariants
!159
· created
Oct 01, 2021
by
Ferdie Reijnen
v0.5
CIF
Type
Enhancement
Merged
111
Approved
updated
Mar 12, 2022
#1079 Script to compare build output now uses UTF-8.
!1160
· created
Nov 30, 2024
by
Dennis Hendriks
v6.0
RelEng/DevOps
Type
Bug
Merged
Approved
updated
Nov 30, 2024
#1077 Change Jenkins pod from 'centos-7' to 'ubuntu-2404' (attempt 2)
!1159
· created
Nov 29, 2024
by
Frederic Gurr
v6.0
RelEng/DevOps
Type
Bug
Merged
4
Approved
updated
Nov 30, 2024
#1070 Use shallow Git clone of website repo when releasing
!1154
· created
Nov 24, 2024
by
Dennis Hendriks
v6.0
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Nov 25, 2024
#106 Fix dependencies for alg variables with equations in locations
!87
· created
Jun 08, 2021
by
Ferdie Reijnen
Merged
17
updated
Jun 09, 2021
#1069 CIF HTML codegen: runtime error if SVG input event mapping is incomplete.
!1163
· created
Nov 30, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Bug
Merged
2
Approved
updated
Dec 01, 2024
#1066 Fix typo in cif2supremica ElimEnumsOption description
!1149
· created
Nov 19, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Bug
Merged
Approved
updated
Nov 20, 2024
#1065 Reduce disk usage of build artifacts on Jenkins
!1147
· created
Nov 18, 2024
by
Frederic Gurr
v6.0
RelEng/DevOps
Type
Enhancement
Merged
6
Approved
updated
Nov 19, 2024
#1064 SeText: generate extra methods for scanner to get all keywords and keyword categories.
!1146
· created
Nov 18, 2024
by
Dennis Hendriks
v6.0
SeText
Type
Enhancement
Merged
7
updated
Nov 19, 2024
#1061 PLCgen: Enable S7 name restrictions for all Siemens PLC models.
!1157
· created
Nov 27, 2024
by
Albert Hofkamp
CIF
Type
Bug
Merged
5
Approved
updated
Nov 27, 2024
#105 Ignore type ranges for switch expressions.
!92
· created
Jun 11, 2021
by
Ferdie Reijnen
Merged
8
updated
Jun 12, 2021
Prev
1
…
49
50
51
52
53
54
55
56
Next
