Skip to content
GitLab
Explore
Sign in
Open
7
Merged
1,233
Closed
63
All
1,303
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
#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
#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
#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
#457 Generalize invariants checking
!428
· created
Nov 30, 2022
by
Albert Hofkamp
v0.8
CIF
Type
Enhancement
Merged
48
Approved
updated
Dec 07, 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
#458 Add two's complement CIF/BDD bit vector + some changes to non-negative CIF/BDD bit vector
!1254
· created
Mar 04, 2025
by
Dennis Hendriks
v7.0
CIF
Type
Enhancement
Merged
145
Approved
updated
Mar 18, 2025
#458 CIF/BDD: allow negative integer literals, unary negation, and arbitrary use of binary subtraction
!1290
· created
Apr 27, 2025
by
Dennis Hendriks
v8.0
CIF
Type
Enhancement
Merged
40
Approved
updated
May 01, 2025
#458 CIF/BDD bit vectors: rename non-negative classes, move classes to sub-package, introduce common base classes
!1266
· created
Mar 21, 2025
by
Dennis Hendriks
v7.0
CIF
Type
Enhancement
Merged
41
Approved
updated
Mar 26, 2025
#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
#45 Deprecate old CIF enum declaration syntax.
!37
· created
Apr 16, 2021
by
Ferdie Reijnen
Merged
25
updated
Apr 19, 2021
#45 Deprecate old CIF enum declaration syntax 2.
!45
· created
Apr 21, 2021
by
Ferdie Reijnen
Merged
updated
Apr 21, 2021
#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
#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
#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
#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
#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
#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
#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
#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
#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
Prev
1
…
27
28
29
30
31
32
33
34
35
…
66
Next
