Skip to content

Enable -fexpose-all-unfoldings#357

Draft
sjakobi wants to merge 4 commits into
masterfrom
sjakobi/expose-all-unfoldings
Draft

Enable -fexpose-all-unfoldings#357
sjakobi wants to merge 4 commits into
masterfrom
sjakobi/expose-all-unfoldings

Bring back `INLINABLE [0] alterF` pragma

0722b11
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs