Skip to content
GitLab
Explore
Sign in
Open
2
Merged
1,114
Closed
60
All
1,176
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}}
Updated date
#63 License header check script update for new rail diagram generator.
!94
· created
Jun 13, 2021
by
Dennis Hendriks
v0.2
CIF
Chi
SeText
ToolDef
Type
Enhancement
Merged
updated
Jun 13, 2021
#22 Update dependency list and automatic dependency license checking
!84
· created
Jun 06, 2021
by
Dennis Hendriks
v0.2
RelEng/DevOps
Type
Enhancement
Merged
3
updated
Jun 14, 2021
#92 Fixed version qualifiers and other version improvements
!89
· created
Jun 10, 2021
by
Dennis Hendriks
v0.2
RelEng/DevOps
Type
Enhancement
Merged
1
updated
Jun 15, 2021
#103 Fix About dialog for product started as dev runtime.
!90
· created
Jun 10, 2021
by
Dennis Hendriks
v0.2
Products
Type
Bug
Merged
updated
Jun 15, 2021
#117 Rebrand requirement invariants to supervisor invariants as synthesis output.
!96
· created
Jun 15, 2021
by
Ferdie Reijnen
Merged
1
updated
Jun 16, 2021
#99 No location pointers for automata with single location
!82
· created
May 27, 2021
by
Ferdie Reijnen
Merged
28
updated
Jun 16, 2021
#104 CIF simulation crashes for enumeration literals that are java keywords.
!95
· created
Jun 14, 2021
by
Ferdie Reijnen
Merged
8
updated
Jun 16, 2021
#101 Documented process for contributor to become a committer.
!88
· created
Jun 09, 2021
by
Dennis Hendriks
v0.2
Type
Enhancement
Merged
2
updated
Jun 16, 2021
#124 Refactor to type-safe empty lists, sets, maps.
!98
· created
Jun 18, 2021
by
Albert Hofkamp
Merged
2
updated
Jun 21, 2021
#74 PLC code generator should not generate an error when folder does not exist
!59
· created
May 03, 2021
by
Ferdie Reijnen
Merged
16
updated
Jun 22, 2021
#126 Remove CIF to PLC test cases cif.err files
!101
· created
Jun 22, 2021
by
Ferdie Reijnen
Merged
updated
Jun 22, 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
#121 #130 #123 #46 #100 #130 Upgrade to Eclipse 2021-06 + dependency licenses + Maven 3.8.1 + fix runtime JDT compilation + no more limit-modules
!105
· created
Jun 26, 2021
by
Dennis Hendriks
v0.2
CIF
Chi
Common
RelEng/DevOps
Type
Bug
Type
Enhancement
Merged
9
updated
Jun 28, 2021
#122 Add controller check for finite response
!100
· created
Jun 18, 2021
by
Ferdie Reijnen
122-add-controller-check-for-finite-response
Merged
16
updated
Jul 01, 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
#132 Update DEPENDENCIES.txt for org.apache.batik.dom.svg 1.14.
!108
· created
Jul 01, 2021
by
Dennis Hendriks
v0.2
RelEng/DevOps
Type
Bug
Merged
updated
Jul 01, 2021
Resolve "Enhance debug output of the rail diagram generator"
!107
· created
Jun 30, 2021
by
Albert Hofkamp
v0.2
Common
Type
Enhancement
Merged
18
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
#131 Updated release notes for release v0.2.
!109
· created
Jul 01, 2021
by
Dennis Hendriks
v0.2
RelEng/DevOps
Type
Enhancement
Merged
6
updated
Jul 02, 2021
Prev
1
2
3
4
5
6
7
8
9
…
56
Next
