Skip to content
GitLab
Explore
Sign in
Open
6
Merged
1,002
Closed
53
All
1,061
Recent searches
{{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
#111 Generate railroad diagrams during build rather than commiting them to git repo.
!256
· created
Jan 19, 2022
by
Ferdie Reijnen
v0.5
Common
RelEng/DevOps
Type
Enhancement
Closed
46
updated
Mar 19, 2022
#121 Upgrade to Eclipse 2021-06
!104
· created
Jun 24, 2021
by
Ferdie Reijnen
Closed
2
updated
Jun 26, 2021
#150, #144 Add warning message for event not enabled in controlled state space and changed simplificating for those events
!122
· created
Jul 20, 2021
by
Ferdie Reijnen
v0.3
CIF
Type
Enhancement
Closed
16
updated
Aug 31, 2021
#196 Add DCSH variable ordering algorithm to data-based synthesis.
!327
· created
Jun 06, 2022
by
Dennis Hendriks
v0.6
CIF
Type
Enhancement
Closed
6
updated
Jun 27, 2022
#199 Open large CIF files with standard text editor, not CIF editor
!164
· created
Oct 11, 2021
by
Dennis Hendriks
v0.4
CIF
Type
Enhancement
Closed
10
updated
Oct 17, 2022
#25 Fix ElimComponentDefInst for nested def/inst
!28
· created
Apr 09, 2021
by
Ferdie Reijnen
Closed
1
updated
Apr 19, 2021
#269 CIF BDD and data-based synthesis: Use collectEvents/collectAutomata from CifCollectUtils.
!797
· created
Feb 04, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Closed
3
updated
Feb 06, 2024
#271 Add asciidoc file checker
!278
· created
Mar 02, 2022
by
Albert Hofkamp
v0.6
Common
RelEng/DevOps
Type
Enhancement
Closed
82
updated
Apr 17, 2022
#272 CIF code generator: add SVG boilerplate code to JavaScript code generator
!716
· created
Dec 12, 2023
by
Rik Lubking
v2.0
CIF
Type
Enhancement
Closed
239
updated
Dec 20, 2023
#272 JavaScript code generation step 1: add export menu option
!680
· created
Oct 30, 2023
by
Rik Lubking
v2.0
CIF
Type
Enhancement
Closed
3
updated
Oct 30, 2023
#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
#332 Manual target platform, activate by Oomph, incl Maven API/annos.
!298
· created
Apr 07, 2022
by
Dennis Hendriks
v0.6
RelEng/DevOps
Type
Enhancement
Closed
updated
Apr 07, 2022
#359 Attempt to upgrade to Tycho 3
!431
· created
Dec 04, 2022
by
Dennis Hendriks
v0.8
RelEng/DevOps
Type
Enhancement
Closed
updated
Dec 04, 2022
#368 Implement cif2dmm
!349
· created
Jul 08, 2022
by
Albert Hofkamp
CIF
Type
Enhancement
Closed
290
updated
Jan 18, 2023
#398 Various checks for CIF checker crash for violations in the root of the specification
!350
· created
Jul 15, 2022
by
Ferdie Reijnen
v0.7
CIF
Type
Bug
Closed
9
updated
Sep 11, 2022
#402 Double dash in branch-names are interpreted as CJK ideographs
!360
· created
Aug 19, 2022
by
Ferdie Reijnen
v0.7
Help Wanted
RelEng/DevOps
Type
Bug
Closed
2
updated
Aug 19, 2022
#418 PLCgen: add default initial values to the converted state variable declarations.
!562
· created
Apr 26, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Closed
26
updated
Apr 30, 2023
#424 Generalize allowed invariants check.
!399
· created
Oct 26, 2022
by
Albert Hofkamp
CIF
Type
Enhancement
Closed
39
updated
Dec 07, 2022
#431contributions for non-commiters cannot be merged
!406
· created
Nov 09, 2022
by
Pawel Stankiewicz
Closed
1
updated
Nov 10, 2022
#431 contributions for non-commiters cannot be merged, test2
!408
· created
Nov 10, 2022
by
Pawel Stankiewicz
RelEng/DevOps
Type
Bug
Closed
1
updated
Feb 13, 2023
Prev
1
2
3
Next
