Repository navigation

Add extensible random generators with reproducible stream splitting - #241

Draft

zayenz wants to merge 16 commits into

mainfrom

Draft

Add extensible random generators with reproducible stream splitting#241
zayenz wants to merge 16 commits into
mainfrom
feature/random

Commits on Nov 3, 2026
- random: add splittable engines and full-state test replay
  zayenz
  committed
  bde5903
- random: derive alternative streams from recorded choices
  zayenz
  committed
  24303e1
- random: complete stream integration and compare splitting costs
  zayenz
  committed
  618cfee
- random: configure engines and complete seed/state CLI migration
  zayenz
  committed
  1bd40ed
- random: use standard Gecode file headers
  zayenz
  committed
  0b6b0c8
- random: keep generator state in consumer-owned values
  zayenz
  committed
  8cf2d09
- random: clarify feature overview and clean up integration
  zayenz
  committed
  90db8f2
- Keep random option state typed and document selector hooks
  zayenz
  committed
  91ac744
- Fix C++17 consumer checks and diversify job-shop probes
  zayenz
  committed
  b4f447b
- Declare each variable separately
  zayenz
  committed
  b2f30ca
- Keep random generator documentation beside its interfaces
  
  Mikael Zayenz Lagerkvist
  authored and
  zayenz
  committed
  313cdb5
- Tighten random generator documentation
  zayenz
  committed
  d1282e6
- Split random selector state on commit and per restart
  zayenz
  committed
  faaec0e
- Separate meta streams and harden xorshift64* draws
  zayenz
  committed
  403b483
- Split nested meta streams and clean up partial brancher clones
  zayenz
  committed
  3c6538d
- Trim the random generator branch
  zayenz
  committed
  f27899e