v0.3

Release 0.3

Refactored the entire parser to improve performance

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

Install

pip install btor2-opt

What's Changed

• Better Parsing by @dobios in #17

Full Changelog: v0.2.2...v0.3

v0.2.2

Release 0.2.2

Small patch release that adds two new instructions.

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

Install

pip install btor2-opt

What's Changed

• Added srem and urem instructions by @sanchezocegueda in #16

Full Changelog: v0.2...v0.2.2

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

v0.1

Release 0.1.3

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

Install

pip install btor2-opt

What's Changed

• Make all imports relative by @dobios in #6
• Fix CI by @dobios in #4
• Refactor and fixes for making this importable by @adwait in #2

New Contributors

• @dobios made their first contribution in #4
• @adwait made their first contribution in #2

Full Changelog: https://github.com/dobios/btor2-opt/commits/v0.1.0
Full Changelog: v0.1.1...v0.1.2
Full Changelog: v0.1.2...v0.1