Skip to content

[code-simplifier] Simplify int_cube: remove goto, use aggregate/brace init#9874

Open
NikolajBjorner wants to merge 1 commit into
masterfrom
simplify-int-cube-goto-ab252344afd929c1
Open

[code-simplifier] Simplify int_cube: remove goto, use aggregate/brace init#9874
NikolajBjorner wants to merge 1 commit into
masterfrom
simplify-int-cube-goto-ab252344afd929c1

Simplify int_cube: remove goto, use aggregate init

362c041
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar