CUDD Release 4.0#28

Open

doganulus wants to merge 102 commits intomainfrom

Commits on Oct 11, 2025

Initial 4.0.0-rc2
doganulus
committed

Commits on Oct 12, 2025

Add nanotrav back
doganulus
committed

Commits on Nov 5, 2025

Commits on Nov 7, 2025

Add valgrind, address santizers, and code coverage to CI/CD workflows (#23)
Alan-Jowett
authored
Fix code coverage badge to point to cuddorg/cudd instead of my personal one (#26)

Alan-Jowett
and
Alan Jowett
authored
Fix cmake target config logic for downstream find_package usage
doganulus
committed

Commits on Nov 11, 2025

Commits on Nov 20, 2025

Add test file for each source module in src/ (#30)
Copilot
authored

Commits on Nov 21, 2025

Commits on Nov 22, 2025

Fix cmake source directory error
doganulus
committed

Commits on Nov 29, 2025

Commits on Nov 30, 2025

Commits on Dec 5, 2025

Commits on Dec 7, 2025

Commits on Dec 12, 2025

Add comprehensive test suite for cuddObj.cc (#32)
Copilot
authored