Skip to content
GitLab
Explore
Sign in
Open
8
Merged
1,219
Closed
63
All
1,290
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
#311 Consider warning for /disallowing plant referencing requirements in CIF
!304
· created
Apr 13, 2022
by
Ferdie Reijnen
v0.6
CIF
Type
Enhancement
Closed
5
updated
Apr 16, 2022
#311 Add warning for plant referencing requirements in CIF
!315
· created
May 02, 2022
by
Ferdie Reijnen
v0.6
CIF
Type
Enhancement
Merged
71
Approved
updated
Jan 19, 2024
#310 .gitattributes: more image formats, allow image diffs.
!742
· created
Dec 27, 2023
by
Dennis Hendriks
v3.0
RelEng/DevOps
Type
Enhancement
Merged
1
Approved
updated
Dec 27, 2023
#309 Rail diagram documentation contains checkstyle problems
!265
· created
Feb 09, 2022
by
Ferdie Reijnen
v0.5
RelEng/DevOps
Type
Bug
Merged
Approved
updated
Feb 09, 2022
#308 Add cif2cif event controllability rewriting transformations.
!263
· created
Feb 09, 2022
by
Albert Hofkamp
v0.5
CIF
Type
Enhancement
Merged
84
Approved
updated
Feb 24, 2022
#306 Add CIF to CIF anonymize names transformation.
!273
· created
Feb 27, 2022
by
Dennis Hendriks
v0.5
CIF
Type
Enhancement
Merged
7
Approved
updated
Mar 01, 2022
#304 Dev/release process doc updates for successful build before merge.
!275
· created
Feb 27, 2022
by
Dennis Hendriks
v0.5
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Feb 28, 2022
#303 #305 Fix build problems for rail documentation
!262
· created
Feb 05, 2022
by
Ferdie Reijnen
v0.5
RelEng/DevOps
Type
Bug
Merged
Approved
updated
Feb 05, 2022
#30 #31 #67 Add JustJ 11.0.2 to target platform and product.
!73
· created
May 17, 2021
by
Dennis Hendriks
v0.2
Products
RelEng/DevOps
Type
Enhancement
Merged
33
updated
Nov 23, 2022
#301 Move CIF type checks for events that may lead to false positives to post checker
!264
· created
Feb 09, 2022
by
Ferdie Reijnen
v0.5
CIF
Type
Enhancement
Merged
46
Approved
updated
Feb 14, 2022
#300 CIF may produce false warning for globally disabled event that is monitored
!261
· created
Feb 01, 2022
by
Ferdie Reijnen
v0.5
CIF
Type
Bug
Merged
Approved
updated
Feb 01, 2022
#299 Add warning for duplicated event in state/event exclusion invariant
!514
· created
Feb 24, 2023
by
Ferdie Reijnen
v0.9
CIF
Type
Enhancement
Merged
78
Approved
updated
Mar 02, 2023
#298 CIF may produce false positive duplicate event on edge warnings
!259
· created
Jan 31, 2022
by
Ferdie Reijnen
v0.5
CIF
Type
Enhancement
Merged
16
Approved
updated
Feb 04, 2022
#297 #405 CIF event-based language equivalence check generates incorrect counterexamples
!362
· created
Aug 22, 2022
by
Ferdie Reijnen
v0.7
CIF
Type
Bug
Merged
67
updated
Sep 04, 2022
#293 #110 #109 Fix layout of the railroad diagrams
!258
· created
Jan 21, 2022
by
Albert Hofkamp
v0.5
Common
Type
Enhancement
Merged
45
updated
Jan 27, 2022
#292 Update raildiagram generator documentation and diagrams.
!260
· created
Jan 31, 2022
by
Albert Hofkamp
v0.5
Common
Type
Enhancement
Merged
53
Approved
updated
Feb 05, 2022
#290 git-repo.asciidoc has not been updated
!254
· created
Jan 09, 2022
by
Ferdie Reijnen
RelEng/DevOps
Type
Bug
Merged
Approved
updated
Jan 09, 2022
#289 Tooldef test fails in development build.
!250
· created
Jan 06, 2022
by
Ferdie Reijnen
v0.5
RelEng/DevOps
ToolDef
Type
Bug
Merged
updated
Jan 06, 2022
#289 Tooldef test fails in development build
!249
· created
Jan 06, 2022
by
Ferdie Reijnen
v0.5
RelEng/DevOps
ToolDef
Type
Bug
Merged
updated
Jan 06, 2022
#288 SeText test fails in development build
!248
· created
Jan 06, 2022
by
Ferdie Reijnen
v0.5
RelEng/DevOps
SeText
Type
Bug
Merged
updated
Jan 06, 2022
Prev
1
…
42
43
44
45
46
47
48
49
50
…
65
Next