Skip to content
GitLab
Explore
Sign in
Open
5
Merged
1,235
Closed
63
All
1,303
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}}
Label priority
#233 Fixed some broken links on website to legal page.
!194
· created
Nov 13, 2021
by
Dennis Hendriks
v0.4
CIF
Chi
RelEng/DevOps
ToolDef
Type
Bug
Merged
Approved
updated
Nov 13, 2021
#231 Website was wrongly deployed to 'escet' sub-folder.
!192
· created
Nov 13, 2021
by
Dennis Hendriks
v0.4
RelEng/DevOps
Type
Bug
Merged
Approved
updated
Nov 13, 2021
#225 CIF to mCRL2 transformation gives an incorrect warning when disabling default value actions
!186
· created
Nov 10, 2021
by
Ferdie Reijnen
v0.4
CIF
Type
Bug
Merged
16
updated
Nov 10, 2021
#223 SVG viewer save as has duplicated file already exists warning.
!185
· created
Nov 09, 2021
by
Ferdie Reijnen
v0.4
CIF
Type
Bug
Merged
1
Approved
updated
Nov 09, 2021
#205 Include org.apache.xml.serializer in common feature.
!184
· created
Nov 09, 2021
by
Dennis Hendriks
v0.4
CIF
Type
Bug
Merged
Approved
updated
Nov 09, 2021
Draft: Resolve "SVG viewer save as suggested file name/path doesn't work as expected"
!183
· created
Nov 08, 2021
by
Ferdie Reijnen
v0.4
CIF
Chi
Common
Type
Bug
Closed
updated
Nov 09, 2021
#219 Corrected value for real debug output.
!182
· created
Nov 08, 2021
by
Ferdie Reijnen
v0.4
CIF
Type
Bug
Merged
Approved
updated
Nov 08, 2021
#212 Update date in website project 'abouts' file.
!175
· created
Oct 30, 2021
by
Dennis Hendriks
v0.4
RelEng/DevOps
Type
Bug
Merged
Approved
updated
Oct 31, 2021
#209 Length Reduction option for yEd doesn't exist.
!172
· created
Oct 28, 2021
by
Ferdie Reijnen
v0.4
CIF
Type
Bug
Merged
2
Approved
updated
Oct 29, 2021
#207 Don't crash SvgViewer if SVG file can't be loaded.
!169
· created
Oct 26, 2021
by
Dennis Hendriks
v0.4
CIF
Chi
Common
Type
Bug
Merged
1
updated
Oct 28, 2021
#205 Fixed SVG viewer save as SVG file crash.
!166
· created
Oct 19, 2021
by
Dennis Hendriks
v0.4
CIF
Type
Bug
Merged
2
updated
Oct 20, 2021
#204 SvgNameUtils: read data from file rather than hard-coded mapping.
!163
· created
Oct 08, 2021
by
Dennis Hendriks
v0.4
Common
RelEng/DevOps
Type
Bug
Merged
1
updated
Oct 13, 2021
#189 contributing.asciidoc: more URL escaping to prevent links.
!153
· created
Sep 28, 2021
by
Dennis Hendriks
Products
Type
Bug
Merged
updated
Sep 28, 2021
#183 Updated URLs that point to released documentation.
!150
· created
Sep 28, 2021
by
Dennis Hendriks
v0.3
CIF
Chi
Products
SeText
ToolDef
Type
Bug
Merged
1
updated
Sep 28, 2021
#186 Small documentation improvements.
!149
· created
Sep 28, 2021
by
Dennis Hendriks
v0.3
CIF
Common
Products
Type
Bug
Merged
1
updated
Sep 28, 2021
#185 dev-env-setup.asciidoc contains invalid link
!148
· created
Sep 28, 2021
by
Dennis Hendriks
v0.3
Type
Bug
Merged
1
updated
Sep 28, 2021
#179 Documented location of eclipse.ini file on MacOS
!142
· created
Sep 25, 2021
by
Martijn Goorden
Products
Type
Bug
Merged
7
updated
Sep 26, 2021
#166 Removed in-place update instructions, as they don't work.
!140
· created
Sep 24, 2021
by
Dennis Hendriks
v0.3
Products
RelEng/DevOps
Type
Bug
Merged
3
updated
Sep 25, 2021
#177 Inconsistent error reporting on list projection with impossible static bounds.
!138
· created
Sep 20, 2021
by
Albert Hofkamp
v0.3
CIF
Type
Bug
Merged
3
updated
Sep 23, 2021
#163 Updated datasynth documentation.
!130
· created
Aug 31, 2021
by
Ferdie Reijnen
CIF
Type
Bug
Merged
1
updated
Sep 02, 2021
Prev
1
…
13
14
15
16
17
18
19
20
21
…
66
Next
