Skip to content
GitLab
Explore
Sign in
Open
2
Merged
1,119
Closed
60
All
1,181
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
#264 master to develop for v0.5-RC1
!287
· created
Mar 25, 2022
by
Dennis Hendriks
v0.5
master
Merged
updated
Mar 25, 2022
#263 develop to master for v0.5-M1
!268
· created
Feb 22, 2022
by
Dennis Hendriks
v0.5
master
Merged
2
updated
Feb 22, 2022
#192 develop to master for v0.4
!239
· created
Dec 17, 2021
by
Dennis Hendriks
v0.4
master
Merged
updated
Dec 17, 2021
#191 develop to master for v0.4-RC1
!236
· created
Dec 13, 2021
by
Dennis Hendriks
v0.4
master
Merged
updated
Dec 13, 2021
#190 Merge develop to master for v0.4-M1.
!191
· created
Nov 12, 2021
by
Dennis Hendriks
master
Merged
updated
Nov 12, 2021
#168 develop to master for v0.3-RC1 (2nd attempt)
!154
· created
Sep 28, 2021
by
Dennis Hendriks
master
Merged
updated
Sep 28, 2021
#168 develop to master for v0.3-RC1
!152
· created
Sep 28, 2021
by
Dennis Hendriks
master
Merged
updated
Sep 28, 2021
#167 develop to master for v0.3-M1
!133
· created
Sep 14, 2021
by
Dennis Hendriks
master
Merged
updated
Sep 14, 2021
#141 CollectUtils should use collection interface.
!119
· created
Jul 09, 2021
by
Ferdie Reijnen
Merged
updated
Jul 10, 2021
#122 Finite response checker
!118
· created
Jul 09, 2021
by
Ferdie Reijnen
122-add-controller-check-for-finite-response
Merged
updated
Jul 12, 2021
#139 #140 remove inherintence of supervisory kind for invariants
!116
· created
Jul 07, 2021
by
Ferdie Reijnen
Merged
10
updated
Jul 16, 2021
#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
#131 Merge develop to master for v0.2-RC1, with #138 fix.
!113
· created
Jul 02, 2021
by
Dennis Hendriks
master
Merged
updated
Jul 02, 2021
#131 develop to master for v0.2-RC1
!111
· created
Jul 02, 2021
by
Dennis Hendriks
master
Merged
updated
Jul 02, 2021
#133 Merge string concatenations on a single line into a single string in Java code.
!110
· created
Jul 02, 2021
by
Ferdie Reijnen
Merged
updated
Jul 02, 2021
#129 Elim enums and algebraic variables as preprocessing for CIF to Uppaal.
!106
· created
Jun 30, 2021
by
Ferdie Reijnen
Merged
3
updated
Jul 01, 2021
#121 Upgrade to Eclipse 2021-06
!104
· created
Jun 24, 2021
by
Ferdie Reijnen
Closed
2
updated
Jun 26, 2021
#128 Java common test case fails due to wrong decimal separator
!103
· created
Jun 23, 2021
by
Ferdie Reijnen
Merged
updated
Jun 23, 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
#126 Remove CIF to PLC test cases cif.err files
!101
· created
Jun 22, 2021
by
Ferdie Reijnen
Merged
updated
Jun 22, 2021
Prev
1
…
53
54
55
56
57
58
59
60
Next