Skip to content
GitLab
Explore
Sign in
Open
4
Merged
1,192
Closed
63
All
1,259
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}}
Title
#470 Cleanup specialized Invariant pre-checkers.
!432
· created
Dec 07, 2022
by
Albert Hofkamp
v0.8
CIF
Type
Enhancement
Merged
8
Approved
updated
Dec 11, 2022
#46 RuntimeJavaFileManager updates for Java 9+.
!60
· created
May 05, 2021
by
Dennis Hendriks
v0.2
CIF
Chi
Common
RelEng/DevOps
Type
Bug
Merged
updated
May 20, 2021
#469 Consider allowing CIF/SVG inputs mappings that map to a disabled event
!646
· created
Sep 09, 2023
by
Ferdie Reijnen
v1.0
CIF
Type
Enhancement
Merged
37
Approved
updated
Sep 23, 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
#467 Ease creation of issues for dependency license check failure.
!430
· created
Dec 04, 2022
by
Dennis Hendriks
v0.8
RelEng/DevOps
Type
Enhancement
Merged
2
Approved
updated
Dec 05, 2022
#466 Update DEPENDENCIES.txt for Dash license tool output change.
!429
· created
Dec 04, 2022
by
Dennis Hendriks
v0.8
RelEng/DevOps
Type
Bug
Merged
updated
Dec 04, 2022
#465 Add wolf/goat/cabbage game as CIF example.
!427
· created
Nov 27, 2022
by
Dennis Hendriks
v0.8
CIF
Type
Enhancement
Merged
24
Approved
updated
Dec 13, 2022
#464 Include state/event exclusion invariants in linearized hyper-edge creator
!426
· created
Nov 27, 2022
by
Dennis Hendriks
v0.8
CIF
Type
Enhancement
Merged
6
Approved
updated
Mar 12, 2023
#460 Split CIF data-based synthesis documentation to multiple files/pages
!424
· created
Nov 24, 2022
by
Dennis Hendriks
v0.8
CIF
Type
Enhancement
Merged
2
updated
Nov 29, 2022
#45 Deprecate old CIF enum declaration syntax 2.
!45
· created
Apr 21, 2021
by
Ferdie Reijnen
Merged
updated
Apr 21, 2021
#45 Deprecate old CIF enum declaration syntax.
!37
· created
Apr 16, 2021
by
Ferdie Reijnen
Merged
25
updated
Apr 19, 2021
#459 Improve CIF data-based synthesis documentation on supported updated/expressions/predicates
!425
· created
Nov 27, 2022
by
Dennis Hendriks
v0.8
CIF
Type
Enhancement
Merged
10
1
Approved
updated
Dec 01, 2022
#457 Update CIF to PLC precondition checker to new checker framework
!422
· created
Nov 23, 2022
by
Albert Hofkamp
v0.8
CIF
Type
Enhancement
Merged
46
Approved
updated
Dec 11, 2022
#457 Generalize invariants checking
!428
· created
Nov 30, 2022
by
Albert Hofkamp
v0.8
CIF
Type
Enhancement
Merged
48
Approved
updated
Dec 07, 2022
#456 Fixed a typo in ToolDef 'filenewer' tool JavaDoc and documentation.
!423
· created
Nov 24, 2022
by
Dennis Hendriks
v0.8
ToolDef
Type
Bug
Merged
Approved
updated
Nov 24, 2022
#455 Add script to generate overview of synthesis benchmarking results.
!420
· created
Nov 20, 2022
by
Dennis Hendriks
v0.8
CIF
Type
Enhancement
Merged
2
Approved
updated
Nov 24, 2022
#454 New plugin for the CIF checkers.
!482
· created
Jan 21, 2023
by
Dennis Hendriks
v0.9
CIF
Type
Enhancement
Merged
1
Approved
updated
Jan 24, 2023
#454 New output for CIF checks (2nd attempt)
!511
· created
Feb 21, 2023
by
Dennis Hendriks
v0.9
CIF
Type
Enhancement
Merged
12
updated
Apr 24, 2024
#453 Update release process for GitLab tag and release creation.
!415
· created
Nov 15, 2022
by
Dennis Hendriks
v0.8
RelEng/DevOps
Type
Bug
Merged
Approved
updated
Nov 15, 2022
#452 Updated DEPENDENCIES.txt.
!411
· created
Nov 14, 2022
by
Dennis Hendriks
v0.8
RelEng/DevOps
Type
Bug
Merged
1
updated
Nov 14, 2022
Prev
1
…
29
30
31
32
33
34
35
36
37
…
60
Next
