Skip to content
GitLab
Explore
Sign in
Open
7
Merged
1,172
Closed
61
All
1,240
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}}
Merged date
#420 develop to master for v0.8-RC1
!443
· created
Dec 19, 2022
by
Dennis Hendriks
v0.8
master
RelEng/DevOps
Type
Enhancement
Merged
updated
Dec 19, 2022
#420 Release notes for v0.8-RC1
!435
· created
Dec 11, 2022
by
Dennis Hendriks
v0.8
RelEng/DevOps
Type
Enhancement
Merged
1
updated
Dec 19, 2022
#476 Two new entries in DEPENDENCIES.txt.
!442
· created
Dec 19, 2022
by
Dennis Hendriks
v0.8
RelEng/DevOps
Type
Bug
Merged
updated
Dec 19, 2022
#394 Fixed copy/paste mistake in message of switch-standard-visible-website.bash
!441
· created
Dec 18, 2022
by
Dennis Hendriks
v0.8
RelEng/DevOps
Type
Enhancement
Merged
1
updated
Dec 18, 2022
#394 Add script to switch standard visible website.
!438
· created
Dec 11, 2022
by
Dennis Hendriks
v0.8
RelEng/DevOps
Type
Enhancement
Merged
3
Approved
updated
Dec 18, 2022
#32 Customize Eclipse ESCET welcome screen
!439
· created
Dec 15, 2022
by
Dennis Hendriks
v0.8
Products
Type
Enhancement
Merged
11
updated
Dec 19, 2022
#473 Ignore plugin execution lifecycle m2eclipse warnings.
!437
· created
Dec 11, 2022
by
Dennis Hendriks
v0.8
RelEng/DevOps
Type
Bug
Merged
6
Approved
updated
Dec 18, 2022
#446 CIF: Equal/Unequal on combination of ints and reals is inconsistent
!418
· created
Nov 19, 2022
by
Ferdie Reijnen
CIF
Type
Bug
Merged
8
Approved
updated
Dec 15, 2022
#465 Add wolf/goat/cabbage game as CIF example.
!427
· created
Nov 27, 2022
by
Dennis Hendriks
v0.8
CIF
Type
Enhancement
Merged
24
Approved
updated
Dec 13, 2022
#378 More parameters for CIF data-based synthesis variable ordering algorithms
!434
· created
Dec 10, 2022
by
Dennis Hendriks
v0.8
CIF
Type
Enhancement
Merged
4
Approved
updated
Dec 13, 2022
#428 Make rail diagrams project a Maven project
!436
· created
Dec 11, 2022
by
Dennis Hendriks
v0.8
RelEng/DevOps
Type
Bug
Merged
4
Approved
updated
Dec 12, 2022
#470 Cleanup specialized Invariant pre-checkers.
!432
· created
Dec 07, 2022
by
Albert Hofkamp
v0.8
CIF
Type
Enhancement
Merged
8
Approved
updated
Dec 11, 2022
#457 Update CIF to PLC precondition checker to new checker framework
!422
· created
Nov 23, 2022
by
Albert Hofkamp
v0.8
CIF
Type
Enhancement
Merged
46
Approved
updated
Dec 11, 2022
#471 DEPENDENCIES.txt update.
!433
· created
Dec 10, 2022
by
Dennis Hendriks
v0.8
RelEng/DevOps
Type
Bug
Merged
updated
Dec 10, 2022
#457 Generalize invariants checking
!428
· created
Nov 30, 2022
by
Albert Hofkamp
v0.8
CIF
Type
Enhancement
Merged
48
Approved
updated
Dec 07, 2022
#467 Ease creation of issues for dependency license check failure.
!430
· created
Dec 04, 2022
by
Dennis Hendriks
v0.8
RelEng/DevOps
Type
Enhancement
Merged
2
Approved
updated
Dec 05, 2022
#464 Include state/event exclusion invariants in linearized hyper-edge creator
!426
· created
Nov 27, 2022
by
Dennis Hendriks
v0.8
CIF
Type
Enhancement
Merged
6
Approved
updated
Mar 12, 2023
#466 Update DEPENDENCIES.txt for Dash license tool output change.
!429
· created
Dec 04, 2022
by
Dennis Hendriks
v0.8
RelEng/DevOps
Type
Bug
Merged
updated
Dec 04, 2022
#459 Improve CIF data-based synthesis documentation on supported updated/expressions/predicates
!425
· created
Nov 27, 2022
by
Dennis Hendriks
v0.8
CIF
Type
Enhancement
Merged
10
1
Approved
updated
Dec 01, 2022
#460 Split CIF data-based synthesis documentation to multiple files/pages
!424
· created
Nov 24, 2022
by
Dennis Hendriks
v0.8
CIF
Type
Enhancement
Merged
2
updated
Nov 29, 2022
Prev
1
…
35
36
37
38
39
40
41
42
43
…
59
Next