Commits

Commits on Jul 24, 2026

Move `restrict` from `BooleanFunctionQuant` to `BooleanFunction`
nhusung
committed
6bc9548
oxidd-cache: adjust inlining hints
nhusung
committed
7ef8b09
Implement restrict() for PseudoBooleanFunction/MTBDD

MichaelOwenDyer
authored and
nhusung
committed
e4df116

Commits on Jul 23, 2026

Fix spellcheck
nhusung
committed
9c7360e
Speed up reordering tests with Miri
nhusung
committed
2e5a904
justfile: add test-miri
nhusung
committed
f869088
bigint: fix precision in expected float value
nhusung
committed
14e6b35
MTBDD I64: make inf/NaN behavior agree with IEEE 754
nhusung
committed
a8126da

Commits on Jul 8, 2026

Release OxiDD 0.12.0
nhusung
committed
9968903
Update deps
nhusung
committed
17a00e6
CI: update actions
nhusung
committed
e790517
Update mypy version
nhusung
committed
108a386
Python: __new__ is not a class method
nhusung
committed
c4a73a0
Python: fix maturin forward compatibility warnings
nhusung
committed
cd61086
Python: remove deprecated `extension-module` PyO3 feature flag
nhusung
committed
73a2a8c
Python: add CPython/PyPy classifiers
nhusung
committed
d8c9e6c

Commits on Jul 7, 2026

Python: __eq__ etc. have positional arguments only
nhusung
committed
a3ca57d
Python doc: update theme
nhusung
committed
aba12c4
Python: PyO3 feature flag `generate-import-lib` is not needed anymore
nhusung
committed
5e6211c
Update deps
nhusung
committed
3f57114
oxidd-manager-index: use hugealloc
nhusung
committed
4c4d301
Natural: add invariant checks via debug assertions
nhusung
committed
00c9bf4
Natural: shifting 0 right is always exact
nhusung
committed
9166671
Add `Hash` impl for `Natural`
nhusung
committed
9314489

Commits on Jul 6, 2026

Update deps
nhusung
committed
f549361
C/C++ docs: exclude OXIDD_LINK_C macro
nhusung
committed
0403640
Add custom bigint implementation
nhusung
committed
16bb739
C++: allow `const error`s to be compared
nhusung
committed
eb2be93
C++: add operator<=> implementations
nhusung
committed
50b17b9

Commits on Jun 30, 2026

oxidd-parser: improve docs
nhusung
committed
a7d8617

Commits on May 26, 2026

oxidd-reorder: cleanup
nhusung
committed
c426a0b
DDDMP: allow BCDDs to be imported as BDDs
nhusung
committed
4afa705
Remove BCDD #SAT algorithm exploiting `#SAT(f) = 2^{#vars} - #SAT(f')`
nhusung
committed
a6e0d1b

Commits on May 18, 2026

Bump MSRV to 1.91 for oxidd-* crates
nhusung
committed
ecf3195
Replace `*Assing` by by-value operations in `SatCountNumber`
nhusung
committed
33017c1