Skip to content

Tags: OxiDD/oxidd

Tags

v0.11.2

Toggle v0.11.2's commit message

Verified

This tag was signed with the committer’s verified signature.
nhusung Nils Husung

v0.11.1

Toggle v0.11.1's commit message

Verified

This commit was signed with the committer’s verified signature.
nhusung Nils Husung
Release OxiDD 0.11.1

v0.11.0

Toggle v0.11.0's commit message

Verified

This commit was signed with the committer’s verified signature.
nhusung Nils Husung
Bump hugealloc version

This is necessary due to the newer allocator-api2 version. Should
probably have been 0.2.0 instead, but this is too late for the OxiDD
0.11 release.

v0.10.1

Toggle v0.10.1's commit message

Verified

This commit was signed with the committer’s verified signature.
nhusung Nils Husung
Release oxidd-parser 0.4.1

v0.10.0

Toggle v0.10.0's commit message

Verified

This commit was signed with the committer’s verified signature.
nhusung Nils Husung
Release OxiDD 0.10.0

v0.9.0

Toggle v0.9.0's commit message

Verified

This commit was signed with the committer’s verified signature.
nhusung Nils Husung
Fix Python workflow

v0.8.1

Toggle v0.8.1's commit message

Verified

This commit was signed with the committer’s verified signature.
nhusung Nils Husung
Bump versions

v0.8.0

Toggle v0.8.0's commit message

Verified

This commit was signed with the committer’s verified signature.
nhusung Nils Husung
Hotfix: remove unfinished `BDDFunction.export_dddmp()` in Python

v0.7.0

Toggle v0.7.0's commit message

Verified

This commit was signed with the committer’s verified signature.
nhusung Nils Husung
Adjust Python distribution

v0.6.0

Toggle v0.6.0's commit message

Verified

This commit was signed with the committer’s verified signature. The key has expired.
nhusung Nils Husung
Bump version of C/C++ interface