Skip to content
GitLab
Explore
Sign in
Open
0
Merged
1,110
Closed
60
All
1,170
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
#565 DEPENDENCIES.txt update for Dash license check tool output change.
!554
· created
Apr 15, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Bug
Merged
updated
Apr 15, 2023
#564 CIF benchmark script: use normal output instead of debug output.
!552
· created
Apr 02, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
3
Approved
updated
Apr 03, 2023
#563 Improve CIF data-synthesis main fixed point loop sections
!550
· created
Apr 02, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
4
updated
Apr 04, 2023
#562 Release process: fixed setting standard website and removing old websites
!546
· created
Mar 31, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Bug
Merged
3
Approved
updated
Apr 03, 2023
#561 Update DEPENDENCIES.txt for changed Dash license tool output.
!543
· created
Mar 29, 2023
by
Dennis Hendriks
v0.9
RelEng/DevOps
Type
Bug
Merged
updated
Mar 29, 2023
#560 Development/release process updates: no more CQs and IP Logs.
!548
· created
Apr 01, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Apr 03, 2023
#55 Add option to change output automaton name for CIF state space generation
!35
· created
Apr 14, 2021
by
Ferdie Reijnen
Merged
8
updated
Apr 14, 2021
#559 Add PLCgen expression generator.
!553
· created
Apr 06, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Merged
165
Approved
updated
Apr 25, 2023
#558 PLCgen: handle locations by eliminating them
!590
· created
May 23, 2023
by
Jeroen Verbakel
v0.10
CIF
Type
Enhancement
Merged
41
Approved
updated
Jun 13, 2023
#557 Prepare Git repo for v0.10 development
!547
· created
Apr 01, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Apr 03, 2023
#556 Updated release notes for v0.10.
!616
· created
Jun 28, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Jun 30, 2023
#556 develop to master for v0.10
!617
· created
Jun 30, 2023
by
Dennis Hendriks
v0.10
master
RelEng/DevOps
Type
Enhancement
Merged
updated
Jun 30, 2023
#555 Update release notes for v0.10-RC1.
!613
· created
Jun 19, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Enhancement
Merged
18
updated
Jun 26, 2023
#555 develop to master for v0.10-RC1
!615
· created
Jun 26, 2023
by
Dennis Hendriks
v0.10
master
RelEng/DevOps
Type
Enhancement
Merged
updated
Jun 26, 2023
#554 Updated release notes for v0.10-M1.
!585
· created
May 15, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Enhancement
Merged
4
updated
May 17, 2023
#554 develop to master for v0.10-M1
!586
· created
May 17, 2023
by
Dennis Hendriks
v0.10
master
RelEng/DevOps
Type
Enhancement
Merged
updated
May 17, 2023
#553 Event-based synthesis: warn if no requirement automata.
!566
· created
Apr 27, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
Approved
updated
Apr 28, 2023
#552 Fix BDD variable order option name in CIF documentation.
!537
· created
Mar 21, 2023
by
Dennis Hendriks
v0.9
CIF
Type
Bug
Merged
Approved
updated
Mar 21, 2023
#551 CIF benchmark HTML overview gets averages and sorting
!536
· created
Mar 19, 2023
by
Dennis Hendriks
v0.9
CIF
Type
Enhancement
Merged
3
Approved
updated
Mar 20, 2023
#550 Export non-exported packages to silence warnings.
!535
· created
Mar 17, 2023
by
Dennis Hendriks
v0.9
CIF
Common
Type
Bug
Merged
Approved
updated
Mar 20, 2023
Prev
1
…
23
24
25
26
27
28
29
30
31
…
56
Next
