Skip to content
GitLab
Explore
Sign in
Open
7
Merged
704
Closed
34
All
745
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
#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
#548 Allow omitting 'else' for CIF switch expressions more liberally
!576
· created
May 05, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
8
updated
May 08, 2023
#418 Initialize state variables
!573
· created
May 03, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Merged
24
Approved
updated
May 10, 2023
#523 Optimize enforcement of state plant invariants like state requirement invariants
!567
· created
Apr 27, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
20
Approved
updated
Jun 22, 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
#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
#567 Fix CIF synthesis analysis tool command line script ending prematurely
!559
· created
Apr 21, 2023
by
Patrick van Berkel
v0.10
CIF
Type
Bug
Merged
23
Approved
updated
Apr 24, 2023
#567 Added launch configuration to run stand-alone cifsim for tank model from devenv
!558
· created
Apr 20, 2023
by
Patrick van Berkel
v0.10
CIF
Type
Enhancement
Merged
8
Approved
updated
Apr 22, 2023
#567 Reference correct plugin_name in eventbased standalone application.
!557
· created
Apr 20, 2023
by
Patrick van Berkel
v0.10
CIF
Type
Bug
Merged
3
Approved
updated
Apr 20, 2023
#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
#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
#377 Legacy hyper-edge creator: consider location invariants.
!551
· created
Apr 02, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Bug
Merged
3
Approved
updated
Apr 05, 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
#489 Add simulation scenarios readme to CIF bridge example.
!539
· created
Mar 23, 2023
by
Dennis Hendriks
v0.9
CIF
Type
Enhancement
Merged
18
Approved
updated
Mar 27, 2023
#379 CIF data-based synthesis variable ordering new default
!538
· created
Mar 22, 2023
by
Dennis Hendriks
v0.9
CIF
Type
Enhancement
Merged
1
Approved
updated
Mar 22, 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
#364 Add swarm robotics CIF benchmark models.
!534
· created
Mar 14, 2023
by
Dennis Hendriks
v0.9
CIF
Type
Enhancement
Merged
Approved
updated
Mar 17, 2023
#364 Small fix in lithography_init CIF benchmark model _source.txt file.
!533
· created
Mar 14, 2023
by
Dennis Hendriks
v0.9
CIF
Type
Enhancement
Merged
Approved
updated
Mar 17, 2023
Prev
1
…
22
23
24
25
26
27
28
29
30
…
38
Next
