Skip to content

Bump Iris + upgrade to Rocq 9.0.0

Lennard Gäherrequested to merge
lennard/bump-iris2 into main

Upgrade went mostly smooth, except for some changes in the reduction behavior. There are also some potential new universe issues I'll need to investigate in the future.

Merge request reports