Repository navigation

Gecode 7 breaking changes - #274

Draft

zayenz wants to merge 151 commits into

mainfrom

feature/breaking-7

Draft

Gecode 7 breaking changes#274
zayenz wants to merge 151 commits into
mainfrom
feature/breaking-7

Commits on Nov 4, 2026
- Remove Autoconf and maintained Makefile builds
  zayenz
  committed
  b155a71
- Require C++23 for Gecode and its consumers
  zayenz
  committed
  9a36525
- Adopt LLVM 22 formatting and repository check commands
  zayenz
  committed
  0f26f6b
- Normalize API identifiers and resolve Clang diagnostics
  zayenz
  committed
  3bf69ce
- Complete extended checks and document modernization validation
  zayenz
  committed
  2df82f6
- Rename strict-less relation constants from LE to LT
  zayenz
  committed
  61ca3c8
- Expand performance checks and reduce copying and flushing
  zayenz
  committed
  e356124
- Update the Gecode 7 plan after rebasing onto 6.5.0
  zayenz
  committed
  bc57fb9
- Add zdev areas for the remaining Gecode 7 work
  zayenz
  committed
  b672acc
- Add tasks to config-header
  zayenz
  committed
  bee07a6
- Add tasks to boost
  zayenz
  committed
  f40b682
- Add tasks to empty-arrays
  zayenz
  committed
  8b16d5c
- Add tasks to value-params
  zayenz
  committed
  783e7a7
- Add tasks to scoped-enums
  zayenz
  committed
  eb366ff
- Add tasks to source-cleanup
  zayenz
  committed
  8542109
- Generate config.hpp with configure_file
  zayenz
  committed
  d1adf23
- Use <bit> for bitset scans and population counts
  zayenz
  committed
  56fb265
- Remove MSVC auto-linking
  zayenz
  committed
  a0070d8
- Post nothing for empty no_overlap
  zayenz
  committed
  8b58035
- Add tasks to empty-arrays
  zayenz
  committed
  d58081c
- Post nothing for empty GCC and bin-packing input
  zayenz
  committed
  99f382a
- Branch with empty symmetries and relax empty arrays
  zayenz
  committed
  a5fff6e
- Decide empty set channel, element, rel-op and weights at posting
  zayenz
  committed
  f607570
- Skip empty term buffers in linear posting and minimodel expressions
  zayenz
  committed
  050a4e8
- Add tasks to empty-arrays
  zayenz
  committed
  fb4b935
- Skip empty buffers in open-list distinct
  zayenz
  committed
  125d62b
- Audit empty-array posting and record the fixes
  zayenz
  committed
  3fe8b45
- Record the value-parameter inventory
  zayenz
  committed
  094791b
- Add tasks to value-params
  zayenz
  committed
  d75db80
- Pass branch configuration handles by const& and move stored callbacks
  zayenz
  committed
  0d9efbc
- Move brancher filter and print callbacks into SharedData storage
  zayenz
  committed
  448837f
- Fix CBS hooks, shared posting data, execution callbacks, open lists, and tracing
  zayenz
  committed
  069b7fd
- Fix value parameters in FlatZinc, Gist, search, tests, and examples
  zayenz
  committed
  3feb220
- Pass FloatVal by const&
  zayenz
  committed
  a79cd23
- Record value-parameter repair results
  zayenz
  committed
  08202ff
- Enable performance-unnecessary-value-param and document the parameter rule
  zayenz
  committed
  7c17bb4
- Record the directed-rounding probe results
  zayenz
  committed
  d71183a
- Add tasks to boost
  zayenz
  committed
  c1b759d
- Keep directed rounding sound under compiler optimization
  zayenz
  committed
  a319987
- Record the nextafter outward-rounding study
  zayenz
  committed
  d47910b
- Record the interval-arithmetic approach study
  zayenz
  committed
  c8b0796
- Plan modern classes, the heap size contract, and a native float spike
  zayenz
  committed
  1c2c037
- Record zero-size heap requests and null-pointer library calls
  zayenz
  committed
  205ce78
- Give empty Action and CHB objects no element buffer and no recorder
  zayenz
  committed
  f944da1
- Fix the remaining zero-size heap requests and null-pointer library calls
  zayenz
  committed
  df72e33
- State and assert the heap size contract
  zayenz
  committed
  299ff82
- Make the shallow handles trivially copyable
  zayenz
  committed
  4bf4e08
- Inventory defaultable members, comparisons, and overload pairs
  zayenz
  committed
  be3e387
- Default and delete special members by tool run
  zayenz
  committed
  739a6da
- Use operator<=> and defaulted operator== where they keep semantics
  zayenz
  committed
  e04916e
- State when to merge overload pairs with deducing this
  zayenz
  committed
  90b4fc0
- Spike a Gecode-native float interval library
  zayenz
  committed
  82cfd43
- Decide on the Gecode-native interval library
  zayenz
  committed
  3f88990
- Add tasks to boost
  zayenz
  committed
  bf8a01b
- Add a Gecode-native interval core beside the Boost copy
  zayenz
  committed
  30ea9ad
- Switch FloatVal and the rounding layer to the native interval
  zayenz
  committed
  8e0e267
- Remove the vendored Boost copy
  zayenz
  committed
  4bdd5e2
- Record the native interval library in the changelog
  zayenz
  committed
  ed1b536
- Validate the native interval library across builds
  zayenz
  committed
  fff223a
- Inventory the unscoped public enums
  zayenz
  committed
  0dcaf2c
- Record the approved enum inventory and renames
  zayenz
  committed
  3f9a169
- Add tasks for the bugs the Gecode 7 areas found
  zayenz
  committed
  c9a38aa
- Fix the float and set test harness slips
  zayenz
  committed
  387e693
Commits on Nov 5, 2026
- Fix the failures from the first CI run of this branch
  zayenz
  committed
  50707a2
- Fix realloc shrinking and failed relaxation
  zayenz
  committed
  5dfcbfa
- Reject invalid bin packing and matrix element arguments
  zayenz
  committed
  04a66b1
- Define the declared functions and honour assign selections
  zayenz
  committed
  e595a7d
- Fix the FlatZinc branching bugs
  zayenz
  committed
  247514a
- Clear the Doxygen warnings and explain the sanitizer overflow
  zayenz
  committed
  34d0e88
- Scope the public enums
  zayenz
  committed
  eb36d24
- Give abbreviated constants descriptive names
  zayenz
  committed
  2c1c616
- Remove the (void) parameter lists
  zayenz
  committed
  ef31fe0
Commits on Nov 6, 2026
- Enable the clang-tidy checks that already pass
  zayenz
  committed
  a53bfb5
- Round the TSP distances with llround
  zayenz
  committed
  853e253
- Reject reserved identifiers
  zayenz
  committed
  255251b
- Enable the pointer iteration order check
  zayenz
  committed
  0ff555b
- Copy region heap blocks with std::copy_n
  zayenz
  committed
  987e38b
- Compare strcmp results explicitly
  zayenz
  committed
  4a884ac
- Mark the deliberate grandparent calls in set LDSB
  zayenz
  committed
  32d35e1
- Make the CRTP base constructors private
  zayenz
  committed
  33d832d
- Move assignments out of if conditions
  zayenz
  committed
  1ae3dbe
- Return a non-const reference to *this from assignment
  zayenz
  committed
  7d78422
- Handle self-assignment explicitly
  zayenz
  committed
  10c5a58
- Point at const data in the sparse tuple loops
  zayenz
  committed
  817dbb3
- Define header functions and variables inline
  zayenz
  committed
  aa85993
- Drop the anonymous namespace from the cumulatives header
  zayenz
  committed
  1075257
- Keep overrides at the visibility of the base
  zayenz
  committed
  09664bb
- Remove expressions with equivalent operands
  zayenz
  committed
  10505ba
- Say why catch blocks are empty
  zayenz
  committed
  48e0e73
- Enable the exception escape check for destructors
  zayenz
  committed
  7a10d3a
- Drop static from anonymous namespaces
  zayenz
  committed
  38c17e8
- Test containers with empty
  zayenz
  committed
  7d516e7
- Test membership with contains
  zayenz
  committed
  cf7c995
- Remove casts to the same type
  zayenz
  committed
  c105474
- Use ifdef and ifndef for single macros
  zayenz
  committed
  a2c1e4d
- Call static members through their class
  zayenz
  committed
  a2c9e41
- Remove redundant member initializers
  zayenz
  committed
  eaab0d7
- Remove redundant parentheses
  zayenz
  committed
  1072599
- Remove empty string initializers
  zayenz
  committed
  2d91c3f
- Remove const from returned values
  zayenz
  committed
  a44934b
- Remove const from parameters in declarations
  zayenz
  committed
  5e011c7
- Use data() for the address of container contents
  zayenz
  committed
  9c6b9ae
- Remove redundant control flow
  zayenz
  committed
  7831095
- Write literal suffixes in upper case
  zayenz
  committed
  ab7ae1f
- Spell out auto pointers
  zayenz
  committed
  3a80815
- Remove redundant smart pointer get calls
  zayenz
  committed
  7215280
- Clamp with std::min and std::max
  zayenz
  committed
  bd07442
- Do not return void expressions
  zayenz
  committed
  80d0865
- Brace the branches of an if consistently
  zayenz
  committed
  f71c57d
- Remove repeated access specifiers
  zayenz
  committed
  c299c39
- Use the trait aliases and variable templates
  zayenz
  committed
  310bfd8
- Create unique pointers with make_unique
  zayenz
  committed
  4a3d260
- Create shared pointers with make_shared
  zayenz
  committed
  324b32a
- Construct container elements in place
  zayenz
  committed
  fa8f28f
- Use raw string literals for escaped text
  zayenz
  committed
  feb81b6
- Use starts_with and ends_with
  zayenz
  committed
  4a2847b
- Use range-based for loops
  zayenz
  committed
  74300d6
- Keep generated tables free of redundant expressions
  zayenz
  committed
  e3f71ae
- Default special members made trivial by earlier changes
  zayenz
  committed
  19e45b0
- Compare mixed-sign integers with std::cmp functions
  zayenz
  committed
  88d8c33
- Replace typedef with using
  zayenz
  committed
  cdd420b
- Drop typename where C++20 no longer needs it
  zayenz
  committed
  8be6b0b
- Use range algorithms
  zayenz
  committed
  9255c21
- Use transparent functors
  zayenz
  committed
  a1e3142
- Use initializer lists for nested min and max
  zayenz
  committed
  1b3c4fd
- Constrain the Boolean expression templates with a concept
  zayenz
  committed
  b83078b
- Take read-only array parameters as pointers to const
  zayenz
  committed
  abf9b08
- Drop else after return
  zayenz
  committed
  38185ba
- Simplify Boolean returns and assignments
  zayenz
  committed
  ed20217
- Use the same parameter names in declarations and definitions
  zayenz
  committed
  df01fa0
- Check call arguments for likely swaps
  zayenz
  committed
  d926cd3
- Use nested namespace definitions
  zayenz
  committed
  f1aa11a
- Replace C-style casts
  zayenz
  committed
  97f0ac6
- Make the LDSB test helper a variadic template
  zayenz
  committed
  1421089
- Enable checks from other groups that already pass
  zayenz
  committed
  fab2e8a
- Keep malloc inside the heap allocator
  zayenz
  committed
  3493c9c
- Remove the default argument from a virtual function
  zayenz
  committed
  6c60a7b
- Discard unused C library results explicitly
  zayenz
  committed
  c009ea0
- Check that rvalue reference parameters are moved
  zayenz
  committed
  26af9e5
- Derive exceptions from std::exception
  zayenz
  committed
  c846b63
- Give BranchPlugin a virtual destructor
  zayenz
  committed
  71dfb36
- Give file-local functions internal linkage
  zayenz
  committed
  d9375ab
Commits on Nov 7, 2026
- Enable the analyzer groups that fit
  zayenz
  committed
  03352bb
- Fix what the full lint found in sources and headers
  zayenz
  committed
  60a12cb
- Lint the FlatZinc parser and lexer actions
  zayenz
  committed
  dea50d0
- Document the clang-tidy check selection
  zayenz
  committed
  704e4fd
- Remove a stray blank line from the unary test
  zayenz
  committed
  306ca4a
- Fix the MSVC builds
  zayenz
  committed
  31ee3ed
- Qualify the matrix slice conversion for MSVC again
  zayenz
  committed
  4b17630
- Build the manual Windows consumer as C++23
  zayenz
  committed
  e93f565
- Remove the zdev records from the pull request
  zayenz
  committed
  bb0af29

Commits

Commits on Nov 4, 2026

Commits on Nov 5, 2026

Commits on Nov 6, 2026