Skip to content
GitLab
Explore
Sign in
Open
3
Merged
45
Closed
3
All
51
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
Fix GitLab url in markdown
!51
· created
Apr 14, 2025
by
Matt Matt
Closed
1
updated
Apr 14, 2025
Resolve "Update CHESS to reflect changes in EST"
!50
· created
Apr 14, 2025
by
Luca Cristoforetti
Bug
Merged
updated
Apr 14, 2025
Fix broken markdown in README.md
!49
· created
Mar 18, 2025
by
Wayne Beaton
1
updated
Apr 14, 2025
Resolve "Update CHESS to reflect changes in EST"
!48
· created
Mar 07, 2025
by
Luca Cristoforetti
Bug
Merged
updated
Mar 07, 2025
Resolve "Update CHESS to reflect changes in EST"
!47
· created
Jan 30, 2025
by
Luca Cristoforetti
Bug
Merged
updated
Jan 30, 2025
Resolve "Update CHESS to reflect changes in EST"
!46
· created
Jan 08, 2025
by
Luca Cristoforetti
Bug
Merged
updated
Jan 08, 2025
Resolve "Update CHESS to reflect changes in EST"
!45
· created
Nov 22, 2024
by
Luca Cristoforetti
Bug
Merged
updated
Nov 22, 2024
Resolve "Update CHESS to reflect changes in EST"
!44
· created
Nov 21, 2024
by
Luca Cristoforetti
Bug
Merged
updated
Nov 21, 2024
Resolve "Change signature of a method in EntityUtil"
!43
· created
Sep 09, 2024
by
Luca Cristoforetti
Merged
updated
Sep 09, 2024
Resolve "Make public a method in CheckerManager"
!42
· created
Jun 03, 2024
by
Luca Cristoforetti
Enhancement
Merged
updated
Jun 03, 2024
Resolve "Replace SMD diagrams names with actual name of owner class"
!41
· created
Dec 18, 2023
by
Luca Cristoforetti
Merged
updated
Dec 18, 2023
Resolve "Allow checkers results to be delayed"
!40
· created
Nov 16, 2023
by
Luca Cristoforetti
Merged
updated
Nov 17, 2023
Resolve "AST tests are failing"
!39
· created
Jul 05, 2023
by
Luca Cristoforetti
High Priority
Merged
updated
Jul 06, 2023
Resolve "AST tests are failing"
!38
· created
Jun 20, 2023
by
Luca Cristoforetti
High Priority
Merged
updated
Jun 20, 2023
Draft: Resolve "Fix MARTE dependencies"
!37
· created
Apr 13, 2023
by
Luca Cristoforetti
High Priority
Merged
updated
Apr 13, 2023
Resolve "Update tycho version"
!36
· created
Feb 02, 2023
by
Luca Cristoforetti
Merged
updated
Feb 02, 2023
Draft: Resolve "Fix FMEA properties"
!35
· created
Sep 23, 2022
by
Luca Cristoforetti
5. Model Validation
Merged
updated
Sep 23, 2022
Resolve "Modify State Machine to SMV translation, to support old_smv_format as optional"
!34
· created
Sep 08, 2022
by
Alberto Debiasi
Merged
updated
Sep 15, 2022
Draft: Resolve "Create Util class for diagrams"
!33
· created
Aug 16, 2022
by
Alberto Debiasi
Merged
updated
Aug 17, 2022
Draft: Resolve "Create Util class for diagrams"
!32
· created
Aug 11, 2022
by
Alberto Debiasi
Merged
updated
Aug 11, 2022
Prev
1
2
3
Next
