Skip to content

Parameterize BI

Simon Spiesrequested to merge
simonspies/iris:parameterize-bi into master

This MR parameterizes the BI folder by the step-index type that was introduced in MR !888 (merged). It keeps the proof mode concretized to natural numbers (will be parameterized in a subsequent PR).

Reviewing this one should be relatively straightforward. It mainly adds the parameter assumption everywhere in the bi folder.

Merge request reports