You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Make constFold aware of overflows and prevent constant folding on overflows#59
Merged
michael-schwarz merged 4 commits intodevelopgoblint/cil:developfrom const_fold_ovgoblint/cil:const_fold_ovCopy head branch name to clipboardDec 21, 2021
