Skip to content

Update support code to reflect tighter bounds

Ghost Userrequested to merge
sbozhko/rt-proofs:refinements_tighter_bound into master

I just changed the definition of blocking_bound and related refinements to match the recent aRTA modifications.

Edited by Ghost User

Merge request reports