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
5
Merged
6
Closed
2
All
13
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
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
1
updated
Apr 01, 2025
Add source code print out to error messages
!372
· created
Mar 31, 2025
by
quinten-cabo
error-messages
0
updated
Apr 01, 2025
Improve overloading errors in create wrappers phase
!371
· created
Mar 26, 2025
by
quinten-cabo
error-messages
0
updated
Mar 26, 2025
Improve simple error messages
!370
· created
Mar 26, 2025
by
quinten-cabo
error-messages
0
updated
Mar 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
14
updated
Mar 12, 2025
