Repository navigation

Prepare the 6.5.0 release - #272

Merged

zayenz merged 42 commits into

mainfrom

feature/6.5.0

Oct 31, 2026

Merged

Prepare the 6.5.0 release#272
zayenz merged 42 commits into
mainfrom
feature/6.5.0

Commits on Oct 31, 2026
- Regenerate Makefile.dep
  zayenz
  committed
  7753557
- Classify headers for documentation statistics
  zayenz
  committed
  29a74cf
- Rewrite the 6.5.0 changelog entries
  zayenz
  committed
  6c2a18f
- Move worker-control and build details into the reference docs
  zayenz
  committed
  7676dec
- Escape at signs in Doxygen changelog credits
  zayenz
  committed
  d067d35
- Require Doxygen 1.18 and expand the test-harness documentation
  zayenz
  committed
  d325efd
- Document the updated open-list interfaces and test helper
  zayenz
  committed
  878d3dd
- Consolidate arithmetic and extensional test coverage
  zayenz
  committed
  8ad413c
- Make FlatZinc test cases discriminate constraint behavior
  zayenz
  committed
  aa42675
- Compare restart float output numerically
  zayenz
  committed
  7f25123
- Ignore stale stop decisions in parallel search
  zayenz
  committed
  ed3ca8a
- Simplify search and incremental constraint tests
  zayenz
  committed
  7d2a1d5
- Fix fault-test space ownership and remove redundant fault hooks
  zayenz
  committed
  45f2001
- Relax exact actor counts in float power tests
  zayenz
  committed
  33c08c5
- Return from every path of the Boolean constant test
  zayenz
  committed
  9b1974f
- Trim duplicate build and public test-harness checks
  zayenz
  committed
  28fe0ef
- Make negated CI checks fail the job
  zayenz
  committed
  ce1c35e
- Release brancher filter and print callbacks on disposal
  zayenz
  committed
  1216c11
- Check actor type before accessing the trace recorder
  zayenz
  committed
  fa9a4f3
- Keep kernel list end markers as ActorLink pointers
  zayenz
  committed
  b33d377
- Avoid allocating unused search cutoffs in FlatZinc
  zayenz
  committed
  de93514
- Split FlatZinc registry compilation by constraint family
  zayenz
  committed
  4e0149b
- Release FlatZinc grammar temporaries and replaced domains
  zayenz
  committed
  8e16de4
- Close and unmap FlatZinc input files after parsing
  zayenz
  committed
  d408b32
- Clean up FlatZinc parse state when parsing fails
  zayenz
  committed
  589c1d3
- Let make depend skip configuration-specific headers
  zayenz
  committed
  b96c8bb
- Add repository guidance for agents
  zayenz
  committed
  6907095
- Stop changelog release descriptions at the next release
  zayenz
  committed
  ebc58b8
- Build the macOS and Windows Autoconf CI jobs without experimental APIs
  zayenz
  committed
  0704155
- Define the search builder destructor in the search library
  zayenz
  committed
  88da2e7
- Correct the minimodel dependency note
  zayenz
  committed
  a8a512b
- Build the partial magic-square example with Autoconf
  zayenz
  committed
  93738e8
- Dispose the merit function of tie-break limited view selections
  zayenz
  committed
  2c512fe
- Free search resources on failed roots and LDS resets
  zayenz
  committed
  48e07ed
- Delete the model in the best-solution PBS test
  zayenz
  committed
  c84b388
- Avoid integer overflow in unary no-run pruning and bounds distinct
  zayenz
  committed
  826eead
- Dispose the left-branch values of LDSB set branchers
  zayenz
  committed
  252aad3
- Free the array index of annotation array accesses in FlatZinc
  zayenz
  committed
  5216a81
- Set the build version to 6.5.0 and bump the library ABI
  zayenz
  committed
  8052dac
- Name 6.5.0 as the distributed version in the README
  zayenz
  committed
  c85f171
- Clean up the README for the release
  zayenz
  committed
  861a0a3
- Write the 6.5.0 release notes
  zayenz
  committed
  5e7bbd5

Commits

Commits on Oct 31, 2026