Skip to content
GitLab
Explore
Sign in
Open
4
Merged
858
Closed
45
All
907
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}}
Milestone due date
#1238 CIF data-based synthesis: for the 'nodes' output mode, make all int types in the resulting model ranged int types
!1347
· created
Jul 08, 2025
by
Dennis Hendriks
v9.0
CIF
Type
Enhancement
Merged
Approved
updated
Jul 08, 2025
#1216 CIF to BDD: support 'if' updates.
!1345
· created
Jul 07, 2025
by
Dennis Hendriks
v9.0
CIF
Type
Enhancement
Merged
Approved
updated
Jul 08, 2025
#1236 DEPENDENCIES.txt update for Dash license check tool output change.
!1344
· created
Jul 04, 2025
by
Dennis Hendriks
v9.0
RelEng/DevOps
Type
Enhancement
Merged
updated
Jul 04, 2025
#1235 AsciiDoctor-based documentation: prevent duplicate CSS file on website + consistently put CSS files in 'assets' folder
!1343
· created
Jul 03, 2025
by
Dennis Hendriks
v9.0
CIF
Chi
Products
RelEng/DevOps
ToolDef
Type
Enhancement
Merged
Approved
updated
Jul 08, 2025
#1233 CifToBddExprOnlySupportedExprsCheck: more caching for algebraic variable references being checked
!1341
· created
Jun 28, 2025
by
Dennis Hendriks
v9.0
CIF
Type
Enhancement
Merged
2
Approved
updated
Jul 01, 2025
#1221 Prepare Git repo for v9.0 development
!1340
· created
Jun 28, 2025
by
Dennis Hendriks
v9.0
RelEng/DevOps
Type
Enhancement
Merged
1
Approved
updated
Jul 01, 2025
#1216 CIF to BDD: support binary '*' / 'sign' on a real-typed value is not supported.
!1339
· created
Jun 28, 2025
by
Dennis Hendriks
v9.0
CIF
Type
Enhancement
Merged
4
updated
Jul 01, 2025
#744 Moved warning for ignored CIF/SVG input declarations to the transformation
!1241
· created
Feb 14, 2025
by
Ferdie Reijnen
CIF
Type
Enhancement
Merged
9
Approved
updated
Feb 17, 2025
#879 CIF/BDD: Introduce CifBddEdgeApplyDirection and CifBddEdgeKind.
!962
· created
Jul 04, 2024
by
Dennis Hendriks
CIF
Type
Enhancement
Merged
5
Approved
updated
Jul 04, 2024
#500 Update license headers for 2024
!757
· created
Jan 04, 2024
by
Ferdie Reijnen
RelEng/DevOps
Type
Enhancement
Merged
3
Approved
updated
Jan 05, 2024
#472 Move app.framework exceptions to common.java
!749
· created
Jan 02, 2024
by
Albert Hofkamp
Common
Type
Enhancement
Merged
9
updated
Jan 03, 2024
#569 Upgrade from JUnit 4 to JUnit 5
!601
· created
Jun 02, 2023
by
Ferdie Reijnen
CIF
Chi
Common
RelEng/DevOps
SeText
ToolDef
Type
Enhancement
Merged
22
Approved
updated
Jun 11, 2023
#497 Change year to 2023
!467
· created
Jan 03, 2023
by
Ferdie Reijnen
RelEng/DevOps
Type
Enhancement
Merged
6
Approved
updated
Jan 03, 2023
#484 Release Eclipse ESCET also for macOS aarch64
!451
· created
Dec 22, 2022
by
Dennis Hendriks
RelEng/DevOps
Type
Enhancement
Merged
4
updated
Dec 31, 2022
#424 Migrate CIF tool precondition checkers for CIF to UPPAAL to new common CIF checkers framework.
!387
· created
Oct 15, 2022
by
Ferdie Reijnen
CIF
Type
Enhancement
Merged
32
Approved
updated
Nov 22, 2022
#419 Added Oisterwijksebaan bridge real-world CIF synthesis example - small fixes
!376
· created
Sep 29, 2022
by
Martijn Goorden
CIF
Type
Enhancement
Merged
2
Approved
updated
Feb 18, 2023
#345 Add Maven build launch configuration to only 'clean'
!296
· created
Apr 03, 2022
by
Ferdie Reijnen
RelEng/DevOps
Type
Enhancement
Merged
2
Approved
updated
Apr 03, 2022
#285 Copyright update to 2022.
!246
· created
Jan 03, 2022
by
Ferdie Reijnen
RelEng/DevOps
Type
Enhancement
Merged
12
Approved
updated
Jan 02, 2023
Prev
1
…
39
40
41
42
43
Next
