Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
sac-group
sac2c
Merge requests
Open
3
Merged
10
Closed
2
All
15
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
Created date
Further improve create wrapper error messages and add CTIexplain.
!405
· created
May 16, 2025
by
Quinten Cabo
error-messages
21
updated
May 16, 2025
Enhance print source code when no column information is available
!392
· created
May 07, 2025
by
Quinten Cabo
error-messages
MERGED
Approved
4
updated
May 11, 2025
Add exactly which pre- or post-condition failed in type pattern error message
!373
· created
Apr 01, 2025
by
Quinten Cabo
error-messages
type-pattern
MERGED
Approved
1
updated
Apr 08, 2025
Add source code print out to error messages
!372
· created
Mar 31, 2025
by
Quinten Cabo
error-messages
MERGED
Approved
18
updated
May 01, 2025
Improve overloading errors in create wrappers phase
!371
· created
Mar 26, 2025
by
Quinten Cabo
error-messages
MERGED
25
updated
May 09, 2025
Improve simple error messages
!370
· created
Mar 26, 2025
by
Quinten Cabo
error-messages
Approved
7
updated
Apr 26, 2025
Disallow function definition and non-primitive function applications with names that start with an underscore
!362
· created
Feb 28, 2025
by
Quinten Cabo
error-messages
parser-component
14
updated
Mar 12, 2025
No more guards for type pattern checks
!307
· created
Jun 17, 2024
by
Jordy Aaldering
error-messages
type-pattern
MERGED
Approved
1
updated
Aug 16, 2024
make sac tools error less noisy
!305
· created
May 19, 2024
by
Hans-Nikolai Viessmann
enhancement
error-messages
MERGED
0
updated
May 20, 2024
hotfix-2378 check-c error messages bug resolved
!278
· created
Feb 09, 2024
by
Jordy Aaldering
bug
error-messages
MERGED
0
updated
Feb 10, 2024
Add context message and return types to guards, and allow for multiple guard errors before aborting
!269
· created
Jan 23, 2024
by
Jordy Aaldering
error-messages
type-pattern
MERGED
Approved
16
updated
Jan 27, 2024
Combine afterguard and guard into a single primitive function
!265
· created
Dec 20, 2023
by
Jordy Aaldering
enhancement
error-messages
MERGED
2
updated
Dec 22, 2023
Draft: Combine afterguard and guard into a single primitive function
!264
· created
Dec 18, 2023
by
Jordy Aaldering
enhancement
error-messages
CLOSED
6
updated
Dec 20, 2023
Use bottom type instead of abort in typecheck
!262
· created
Dec 13, 2023
by
Jordy Aaldering
error-messages
type-pattern
CLOSED
0
updated
Dec 15, 2023
Enable conformity checks for type patterns
!261
· created
Dec 13, 2023
by
Jordy Aaldering
error-messages
type-pattern
MERGED
Approved
2
updated
Dec 15, 2023
