Skip to content

Releases: marcelwa/aigverse

v0.0.11

07 Nov 20:10
6547ccd
Compare
Choose a tag to compare

What's Changed

  • ⚡ Disable global interpreter lock for Python 3.13 by @marcelwa in #32
  • 🏷️ Added a .pyi file to provide a type interface by @marcelwa in #31
  • 🔖 Bump version to 0.0.11 by @marcelwa in #33

Full Changelog: v0.0.10...v0.0.11

v0.0.10

06 Nov 19:29
5fb76be
Compare
Choose a tag to compare

What's Changed

  • ⬆️ Bump libs/pybind11 from af67e87 to f7e14e9 in the submodules group by @dependabot in #24
  • ⬆️ Bump libs/pybind11 from f7e14e9 to 75e48c5 in the submodules group by @dependabot in #25
  • 🐍 Support Python 3.13 by @marcelwa in #26
  • 📌 Fix mockturtle to my own fork to include bugfixes by @marcelwa in #28
  • ✨ Added a TruthTable class to represent small Boolean functions by @marcelwa in #27
  • ✨ Exposed cleanup_dangling as an AIG member function by @marcelwa in #29
  • 🔖 Bump version to 0.0.10 by @marcelwa in #30

Full Changelog: v0.0.9...v0.0.10

v0.0.9

14 Oct 18:09
7bd2ef1
Compare
Choose a tag to compare

What's Changed

Full Changelog: v0.0.8...v0.0.9

v0.0.8

15 Sep 10:30
1f8862f
Compare
Choose a tag to compare

What's Changed

  • ✅ Added more tests for to_edge_list by @marcelwa in #14
  • ✨ Added sop_refactoring to the available AIG optimization algorithms by @marcelwa in #15
  • ✨ Added AIG cut rewriting to the optimization algorithms by @marcelwa in #16

Full Changelog: v0.0.7...v0.0.8

v0.0.7

13 Sep 18:23
2f74ab7
Compare
Choose a tag to compare

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

v0.0.6

09 Sep 16:35
eb52cae
Compare
Choose a tag to compare

What's Changed

Full Changelog: v0.0.5...v0.0.6

v0.0.5

09 Sep 16:10
07bb4d2
Compare
Choose a tag to compare

What's Changed

  • 🐛 Fix resubstitution by removing dangling nodes by @marcelwa in #9

Full Changelog: v0.0.4...v0.0.5

v0.0.4

09 Sep 15:09
1871076
Compare
Choose a tag to compare

What's Changed

  • ✨ Introduced AIG equivalence checking and AIG resubstitution by @marcelwa in #7
  • 🔖 Bumped version to 0.0.4 by @marcelwa in #8

Full Changelog: v0.0.3...v0.0.4

v0.0.3

05 Sep 15:15
92d369f
Compare
Choose a tag to compare

What's Changed

  • ✨ Added support for parsing ASCII AIGER files and writing AIGER files by @marcelwa in #5
  • ✨ Convert AIGs to edge lists by @marcelwa in #6

Full Changelog: v0.0.2...v.0.0.3

v0.0.2

05 Sep 11:11
3783c9c
Compare
Choose a tag to compare

What's Changed

Full Changelog: v0.0.1...v0.0.2