Repository navigation

CUDD Release 4.0 - #28

Open

doganulus wants to merge 102 commits into

mainfrom

4.0.0

Open

CUDD Release 4.0#28
doganulus wants to merge 102 commits into
mainfrom
4.0.0

Commits on Oct 11, 2025
- Initial 4.0.0-rc2
  doganulus
  committed
  ccd890e
Commits on Oct 12, 2025
- Add nanotrav back
  doganulus
  committed
  0e7d4d4
Commits on Nov 5, 2025
- Update build script
  doganulus
  committed
  db0e672
- Apply cmake package name convention of PascalCase
  doganulus
  committed
  adbdf1d
- Revert the namespace change
  doganulus
  committed
  efd2723
Commits on Nov 7, 2025
- Add valgrind, address santizers, and code coverage to CI/CD workflows (#23)
  Alan-Jowett
  authored
  1052018
- Fix code coverage badge to point to cuddorg/cudd instead of my personal one (#26)
  
  Alan-Jowett
  and
  Alan Jowett
  authored
  025bf01
- Fix cmake target config logic for downstream find_package usage
  doganulus
  committed
  99ed7ee
Commits on Nov 8, 2025
- Update tests
  doganulus
  committed
  97db02f
- Add separate test workflow
  doganulus
  committed
  c9d7c1f
- Update workflows
  doganulus
  committed
  5772ac9
- Fix test build option
  doganulus
  committed
  d0fbe15
- Fix matrix variable
  doganulus
  committed
  2010bec
- Simplify test workflows
  doganulus
  committed
  67821e6
- Fix sanitizer error
  doganulus
  committed
  5fa8c65
- Fix test workflows
  doganulus
  committed
  9da586d
- Fix line errors
  doganulus
  committed
  d8f77c6
- Exclude third-party deps from coverage calculation
  doganulus
  committed
  8d94f63
- Capture coverage data only from src
  doganulus
  committed
  3396dc4
Commits on Nov 11, 2025
- Add coverage cmake target
  doganulus
  committed
  41d43a3
- Fix lcov unused error
  doganulus
  committed
  edf1ced
- Ignore lcov unused errors
  doganulus
  committed
  b7b1ca9
Commits on Nov 14, 2025
- Update version info and cmake install
  doganulus
  committed
  4c2a914
- Install to the default location for tests
  doganulus
  committed
  1db417f
- Install with privileges
  doganulus
  committed
  ec67980
- Add scan-build tests (#29)
  doganulus
  authored
  cf135f2
- Do not fetch Catch2
  doganulus
  committed
  e98ff42
Commits on Nov 20, 2025
- Add test file for each source module in src/ (#30)
  Copilot
  authored
  061185d
Commits on Nov 21, 2025
- Add tests for cuddBddIte.c (#33)
  Copilot
  authored
  b6849c9
- Add comprehensive test coverage for cuddBddAbs.c (87.59%) (#34)
  Copilot
  authored
  61c4aed
Commits on Nov 22, 2025
- Fix cmake source directory error
  doganulus
  committed
  0962372
Commits on Nov 24, 2025
Commits on Nov 25, 2025
Commits on Nov 26, 2025
- [WIP] Add test cases for src/cuddPriority.c to achieve 80% coverage (#50)
  Copilot
  authored
  3793ed5
- Add comprehensive test cases for cuddSubsetSP.c (#54)
  Copilot
  authored
  cd0c7c0
- Add comprehensive test cases for cuddReorder.c (#49)
  Copilot
  authored
  3a41765
- Add test cases for cuddGenCof.c coverage (#52)
  Copilot
  authored
  f7fe491
- Add test cases for src/cuddSubsetHB.c (#53)
  Copilot
  authored
  a336610
- Add comprehensive test suite for cuddTable.c (#38)
  Copilot
  authored
  b7f8497
Commits on Nov 27, 2025
- Add comprehensive test cases for src/epd.c (#56)
  Copilot
  authored
  343d203
- Add comprehensive tests for cuddZddUtil.c (#58)
  Copilot
  authored
  12cb372
- Add comprehensive test coverage for cuddTable.c (#57)
  Copilot
  authored
  ae1637a
- Add comprehensive test cases for cuddZddSymm.c (#60)
  Copilot
  authored
  60b0627
- Update workflow trigger conditions
  doganulus
  committed
  82086fb
- Add comprehensive test cases for mtrGroup.c (#61)
  Copilot
  authored
  2e83c1b
- Add test cases for src/cuddZddFuncs.c (#63)
  Copilot
  authored
  8418a4e
Commits on Nov 28, 2025
- Fix workflow concurrency (#66)
  doganulus
  authored
  217a847
- [WIP] Add test cases for src/cuddGroup.c (#59)
  Copilot
  authored
  d018ead
- [WIP] Add test cases for src/cuddZddLin.c (#64)
  Copilot
  authored
  6bf8c9c
- [WIP] Add test cases for src/cuddZddReord.c (#65)
  Copilot
  authored
  5f58996
- Add comprehensive test coverage for cuddLCache.c (#67)
  Copilot
  authored
  a43d364
- Add comprehensive test cases for src/cuddRead.c (#71)
  Copilot
  authored
  eff6aa9
Commits on Nov 29, 2025
- Increase code coverage for src/cuddApprox.c (#74)
  Copilot
  authored
  17203fd
- Add comprehensive tests for cuddBridge.c (#72)
  Copilot
  authored
  5627314
- Add comprehensive test cases for cuddHarwell.c (#73)
  Copilot
  authored
  5cd12df
- Add comprehensive tests for cuddDecomp.c coverage improvement (#75)
  Copilot
  authored
  c4f3ad6
- Add comprehensive test cases for cuddSat.c (#76)
  Copilot
  authored
  7ae3e43
- Add comprehensive tests for cuddAnneal.c (#77)
  Copilot
  authored
  9a6dd79
- Add comprehensive tests for cuddSplit.c (#78)
  Copilot
  authored
  0e9cf82
- Complete test cases for src/cuddAPI.c (#70)
  Copilot
  authored
  6d9430f
- Add comprehensive test cases (#79)
  Copilot
  authored
  9e41f94
- [WIP] Add test cases for src/cuddClip.c(#80)
  Copilot
  authored
  d5b9348
Commits on Nov 30, 2025
- Add test cases for src/cuddCheck.c (#69)
  Copilot
  authored
  f0f6367
- Add comprehensive test suite for cuddGenetic.c genetic algorithm (#81)
  Copilot
  authored
  a7a782f
- Add comprehensive tests for cuddApa.c (#82)
  Copilot
  authored
  4b29cc4
- Add comprehensive tests for cuddSign.c (#83)
  Copilot
  authored
  1e19f70
- Add comprehensive tests for cuddAddIte.c (#84)
  Copilot
  authored
  011aafa
- Add comprehensive test cases for cuddAddApply.c (#85)
  Copilot
  authored
  5113007
- Add comprehensive test cases for cuddAddFind.c (#86)
  Copilot
  authored
  afc90aa
- Add comprehensive test coverage for cuddAddInv.c (#87)
  Copilot
  authored
  6bd3268
- Add comprehensive tests for cuddAddNeg.c (#88)
  Copilot
  authored
  c116a2c
Commits on Dec 1, 2025
- Add comprehensive test cases for cuddSolve.c (#89)
  Copilot
  authored
  956a107
- Complete test cases for src/cuddCof.c (#90)
  Copilot
  authored
  deda337
- Add comprehensive test cases for cuddAddWalsh.c (#91)
  Copilot
  authored
  b096cbb
- Add comprehensive test cases for mtrBasic.c (#93)
  Copilot
  authored
  0b9ea9e
- Add comprehensive tests for cstringstream.c (#94)
  Copilot
  authored
  f08ad13
Commits on Dec 4, 2025
- Add comprehensive tests for cuddZddSymm.c (#97)
  Copilot
  authored
  738dd84
- Add comprehensive test cases for cuddUtil.c (#98)
  Copilot
  authored
  7b52c22
- Add comprehensive test cases for cuddDecomp.c (#96)
  Copilot
  authored
  367b7c1
- Add comprehensive tests for cuddAndAbs.c (#99)
  Copilot
  authored
  36b82b8
- Add comprehensive tests for cuddExact.c (#100)
  Copilot
  authored
  d49b14d
Commits on Dec 5, 2025
- Add comprehensive test cases for cuddWindow.c (#103)
  Copilot
  authored
  3f649a0
- Add comprehensive test cases for cuddLevelQ.c (#104)
  Copilot
  authored
  a364f7a
Commits on Dec 6, 2025
- Complete test cases for src/cuddRef.c (#106)
  Copilot
  authored
  c0ed900
- Add comprehensive tests for cuddSymmetry.c (#110)
  Copilot
  authored
  de95825
- Add comprehensive tests for cuddZddCount.c (#109)
  Copilot
  authored
  e622730
- Add comprehensive tests for cuddLiteral.c (#105)
  Copilot
  authored
  88edc2a
- Add test cases for cuddZddIsop.c (#107)
  Copilot
  authored
  c9b7acb
- Add test cases for cuddZddPort.c (#111)
  Copilot
  authored
  fea3db3
- Add comprehensive tests for cuddZddMisc.c (#112)
  Copilot
  authored
  9d9d1d2
- Add comprehensive test coverage for st.c (#113)
  Copilot
  authored
  61fdf48
Commits on Dec 7, 2025
- Add comprehensive test coverage for cuddInteract.c (#114)
  Copilot
  authored
  2321135
- Add comprehensive test coverage for cuddZddSetop.c (#115)
  Copilot
  authored
  0fd6813
Commits on Dec 12, 2025
- Add comprehensive test suite for cuddObj.cc (#32)
  Copilot
  authored
  d1857bf

Commits

Commits on Oct 11, 2025

Commits on Oct 12, 2025

Commits on Nov 5, 2025

Commits on Nov 7, 2025

Commits on Nov 8, 2025

Commits on Nov 11, 2025

Commits on Nov 14, 2025

Commits on Nov 20, 2025

Commits on Nov 21, 2025

Commits on Nov 22, 2025

Commits on Nov 24, 2025

Commits on Nov 25, 2025

Commits on Nov 26, 2025

Commits on Nov 27, 2025

Commits on Nov 28, 2025

Commits on Nov 29, 2025

Commits on Nov 30, 2025

Commits on Dec 1, 2025

Commits on Dec 4, 2025

Commits on Dec 5, 2025

Commits on Dec 6, 2025

Commits on Dec 7, 2025

Commits on Dec 12, 2025