Skip to content

v0.0.7
Compare
Choose a tag to compare
@marcelwa marcelwa released this 13 Sep 18:23
· 67 commits to main since this release
v0.0.7
2f74ab7
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • ⬆️ Bump the submodules group with 2 updates by @dependabot in #11
  • ⬆️ Bump libs/pybind11 from 5efc743 to ef5a956 in the submodules group by @dependabot in #12
  • ✨ Added num_levels() to AIGs by @marcelwa in #13

New Contributors

Full Changelog: v0.0.6...v0.0.7

Contributors

marcelwa and dependabot
Assets 2
Loading