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
Merge requests
Open
18
Merged
256
Closed
30
All
304
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
Fix memory leak in CTF and cctools
sac2c!241
· created
Nov 09, 2023
by
Thomas Koopman
CLOSED
0
updated
Nov 09, 2023
split WLIR up into two phases: WLIRI and WLIR; avoids excessive shuffling of N_assign chains; significantly simplifies WLIR
sac2c!240
· created
Nov 06, 2023
by
Sven-Bodo Scholz
MERGED
Approved
61
updated
Nov 08, 2023
Change cuda gpu-architecture default from deprecated sm_35 to native
sac2c!239
· created
Oct 31, 2023
by
Thomas Koopman
CLOSED
0
updated
Oct 31, 2023
Clang 1500.0.40.1 compatability
sac2c!238
· created
Oct 27, 2023
by
Sven-Bodo Scholz
MERGED
0
updated
Oct 27, 2023
Hotfix 2344
sac2c!237
· created
Oct 25, 2023
by
Sven-Bodo Scholz
MERGED
0
updated
Oct 26, 2023
Type Patterns
sac2c!236
· created
Oct 19, 2023
by
Jordy Aaldering
scan/parse-component
MERGED
Approved
23
updated
Nov 10, 2023
Undefined behaviour and memory leaks
sac2c!235
· created
Oct 18, 2023
by
Thomas Koopman
MERGED
3
updated
Oct 24, 2023
Sanitize
sac2c!234
· created
Oct 11, 2023
by
Thomas Koopman
CLOSED
1
updated
Apr 05, 2024
Sanitize
sac2c!233
· created
Oct 03, 2023
by
Thomas Koopman
CLOSED
0
updated
Oct 11, 2023
Sanitize
sac2c!232
· created
Oct 02, 2023
by
Thomas Koopman
CLOSED
0
updated
Oct 03, 2023
Updated Shray with newer features, including the state as used for the PPoPP24 submission
shray2!2
· created
Aug 22, 2023
by
Stefan Schrijvers
MERGED
2
updated
Aug 22, 2023
Fix crashing with debug prints enabled
sac2c!231
· created
Jun 06, 2023
by
Michiel Verloop
hotfix
MERGED
0
updated
Jun 07, 2023
Format ast.xml and convert tabs to spaces
sac2c!230
· created
Jun 03, 2023
by
Michiel Verloop
MERGED
0
updated
Jun 04, 2023
Fix unnecessarily high complexity leading to slow compile times in DataFlowMask.c
sac2c!229
· created
May 30, 2023
by
Michiel Verloop
enhancement
MERGED
Approved
24
updated
Jun 03, 2023
Fix issue 2340
sac2c!228
· created
May 24, 2023
by
Michiel Verloop
MERGED
0
updated
May 26, 2023
Refactor the TC...NthExprs... functions
sac2c!227
· created
May 09, 2023
by
Michiel Verloop
enhancement
MERGED
4
updated
May 16, 2023
Refactor WLUTfindArrayForBound
sac2c!226
· created
May 09, 2023
by
Michiel Verloop
enhancement
MERGED
3
updated
May 12, 2023
fixed a bug in NAUTisAllElemsSame
sac2c!225
· created
May 04, 2023
by
Sven-Bodo Scholz
MERGED
Approved
0
updated
May 05, 2023
Fix issue 2330
sac2c!224
· created
Apr 10, 2023
by
Michiel Verloop
enhancement
optimizations-component
MERGED
Approved
3
updated
Apr 11, 2023
Unused argument removal
sac2c!223
· created
Apr 01, 2023
by
Jordy Aaldering
optimizations-component
MERGED
Approved
6
updated
Nov 10, 2023
Prev
1
2
3
4
5
6
7
8
9
…
16
Next