Release v6.1.1
PR #258 by @expsg-jiacheng: fix(fpv): detect used assumes via forward walk from assertion COI
Full changelog: v6.1.0...v6.1.1
PR #258 by @expsg-jiacheng: fix(fpv): detect used assumes via forward walk from assertion COI
Full changelog: v6.1.0...v6.1.1