Merged Sven-Bodo Scholz requested to merge sbs/sac2c:hotfix-2371 into develop 1 year ago

All threads resolved!

The lifting of multi-partition WLs now also works if the WL occurs in the CEXPR position of an N-code node. Also added to the help output. Note that the test for the time being requires -noSOP and -noSRP; this is issue 2372, which is not yet fixed.

Jordy Aaldering @JordyAaldering started a thread on the diff 1 year ago

Resolved by Sven-Bodo Scholz 1 year ago
Jordy Aaldering @JordyAaldering approved this merge request 1 year ago

approved this merge request
Jordy Aaldering @JordyAaldering assigned to @sbs 1 year ago

assigned to @sbs
Jordy Aaldering @JordyAaldering requested review from @JordyAaldering 1 year ago

requested review from @JordyAaldering
Jordy Aaldering @JordyAaldering added bug label 1 year ago

added bug label
Sven-Bodo Scholz @sbs added 1 commit 1 year ago
added 1 commit

67b383cd - simplified code

Compare with previous version
Sven-Bodo Scholz @sbs resolved all threads 1 year ago

resolved all threads
Sven-Bodo Scholz @sbs added 1 commit 1 year ago
added 1 commit

c2ba65a7 - fixed void test! CEXPRS can be NULL!

Compare with previous version
Sven-Bodo Scholz @sbs enabled an automatic merge when the pipeline for c2ba65a7 succeeds 1 year ago

enabled an automatic merge when the pipeline for c2ba65a7 succeeds
Sven-Bodo Scholz @sbs mentioned in commit 21fdd471 1 year ago

mentioned in commit 21fdd471
Sven-Bodo Scholz @sbs merged 1 year ago

merged
You're only seeing other activity in the feed. To add a comment, switch to one of the following options.

Please register or sign in to reply

Menu