Skip to content
GitLab
Explore
Sign in
Open
0
Merged
733
Closed
43
All
776
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}}
Created date
#580 Data-based synth updates conversion: reverse unchanged vars order.
!577
· created
May 06, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
2
Approved
updated
May 08, 2023
#583 Generalize controller-check cycle finder
!578
· created
May 08, 2023
by
Albert Hofkamp
v0.10
CIF
Common
Type
Enhancement
Merged
25
Approved
updated
May 17, 2023
#582 Ensure single point of responsibility in generating names and artefacts in the main program
!579
· created
May 11, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Merged
8
Approved
updated
May 12, 2023
#588 Copy `cif2plc` classes to `plcgen`
!580
· created
May 12, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Merged
11
Approved
updated
May 15, 2023
#585 Add warning for exploring CIF specifications with requirements
!582
· created
May 13, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
3
Approved
updated
May 15, 2023
#586 Add edge granularity option.
!583
· created
May 13, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
16
Approved
updated
May 16, 2023
#594 Extend `ExprGenerator` with local and temporary variable support.
!584
· created
May 15, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Merged
4
Approved
updated
May 16, 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
#520 Add workset algorithm to data-based synthesis
!587
· created
May 17, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
26
Approved
updated
May 30, 2023
#596 PLCgen: add transition generator skeleton
!588
· created
May 23, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Merged
24
updated
May 25, 2023
#592 Unify cif2plc and plcgen model classes
!589
· created
May 23, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Merged
9
Approved
updated
May 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
#601 Implement sequencing algorithm
!591
· created
May 25, 2023
by
Albert Hofkamp
v1.0
Common
Type
Enhancement
Merged
163
updated
Aug 09, 2023
#597 EdgeOrderDuplicateEventsOption: some renaming for clarity.
!593
· created
May 27, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
1
updated
Jun 03, 2023
#591 Improved position information for CIF invariants
!594
· created
May 27, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
3
Approved
updated
Jun 01, 2023
Draft: #520 Add algorithm by Fei et al. (2014) to compute edge dependency sets
!595
· created
May 28, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Closed
3
updated
May 29, 2023
#468 In-place Eclipse upgrade documentation: review comments addressed.
!597
· created
May 28, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
May 30, 2023
#604 ElimMonitors JavaDoc fix.
!598
· created
May 28, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
Approved
updated
May 29, 2023
#602 Implemented BDD-based workset edge dependency set computation
!599
· created
May 29, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
5
Approved
updated
Jun 01, 2023
Prev
1
…
15
16
17
18
19
20
21
22
23
…
39
Next
