v0.2

Release 0.2.1

Available on pypi: https://pypi.org/project/btor2-opt/

Install

pip install btor2-opt

What's Changed

• (WIP) Custom Modularization BTOR2 Extension by @dobios in #8
• Fix minor issues and add unary instructions by @adwait in #11
• Add sext support by @adwait in #12
• Minor bug fixes regarding passes by @sanchezocegueda in #14
• Update README.md by @dobios in #15
• Small bugfixes on main by @dobios

New Contributors

• @sanchezocegueda made their first contribution in #14

Full Changelog: v0.1...v0.2