Skip to content

fix: require bd <= 1 in the pHL while I v k eps rule - #1228

Open
strub wants to merge 1 commit into
mainfrom
fix/while-geq-bound
Open

fix: require bd <= 1 in the pHL while I v k eps rule#1228
strub wants to merge 1 commit into
mainfrom
fix/while-geq-bound

Commits

  1. Commits on Nov 6, 2026