Skip to content
GitLab
Explore
Sign in
Open
6
Merged
819
Closed
45
All
870
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}}
Popularity
Draft: #378 CIF data-based synthesis variable ordering and reordering in one go.
!472
· created
Jan 09, 2023
by
Dennis Hendriks
v0.9
CIF
Type
Enhancement
Closed
5
updated
Mar 12, 2023
Draft: #454 New output for CIF checks
!464
· created
Jan 01, 2023
by
Dennis Hendriks
v0.9
CIF
Type
Enhancement
Closed
28
updated
Feb 21, 2023
Draft: #488 Search engine indexes old versions
!462
· created
Dec 31, 2022
by
Ferdie Reijnen
RelEng/DevOps
Type
Enhancement
Closed
2
updated
Jan 05, 2023
Draft: #360 Integrate license check into the build
!454
· created
Dec 23, 2022
by
Dennis Hendriks
RelEng/DevOps
Type
Enhancement
Closed
4
updated
Aug 19, 2023
#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
#424 Generalize allowed invariants check.
!399
· created
Oct 26, 2022
by
Albert Hofkamp
CIF
Type
Enhancement
Closed
39
updated
Dec 07, 2022
Draft: #382 (take 2) Make plcgen0 accessible in ESCET.
!357
· created
Aug 11, 2022
by
Albert Hofkamp
v3.0
CIF
Type
Enhancement
Closed
4
updated
Dec 22, 2023
Draft: #382 Make plcgen0 accessible in ESCET.
!352
· created
Aug 08, 2022
by
Albert Hofkamp
CIF
Type
Enhancement
Closed
2
updated
Aug 11, 2022
#368 Implement cif2dmm
!349
· created
Jul 08, 2022
by
Albert Hofkamp
CIF
Type
Enhancement
Closed
290
updated
Jan 18, 2023
#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
Draft: #368 Implement `cif2dsm` computation
!320
· created
May 17, 2022
by
Albert Hofkamp
v0.7
CIF
Type
Enhancement
Closed
122
updated
Aug 17, 2022
#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
Draft: #344 Add Design Structure Matrix (DSM) clustering
!294
· created
Apr 01, 2022
by
Albert Hofkamp
v0.6
Common
Type
Enhancement
Closed
189
updated
May 09, 2022
Draft: #176 Upgrade to Eclipse 2022-03
!283
· created
Mar 17, 2022
by
Ferdie Reijnen
v0.6
RelEng/DevOps
Type
Enhancement
Closed
8
updated
Aug 08, 2022
#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
Draft: #316 Introduce small common position class in scanning and parsing
!271
· created
Feb 25, 2022
by
Albert Hofkamp
v0.6
CIF
Chi
Common
SeText
ToolDef
Type
Enhancement
Closed
32
updated
Apr 10, 2022
Draft: #307 Add CIF to CIF transformation to anonymize names
!270
· created
Feb 25, 2022
by
Dennis Hendriks
CIF
Type
Enhancement
Closed
1
updated
Feb 25, 2022
Draft: Resolve "Railroad diagrams should not use `java.awt` drawing functionality for graphics"
!257
· created
Jan 21, 2022
by
Albert Hofkamp
v0.5
Common
Type
Enhancement
Closed
updated
Jan 21, 2022
#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
Prev
1
2
3
Next
