Repository navigation

Provisional: extensible random generators and splitting for Gecode 7 (breaking changes) - #241

Draft

zayenz wants to merge 14 commits into

mainfrom

Commits on Sep 10, 2026

random: add splittable engines and full-state test replay
zayenz
committed
626fb2d
random: derive alternative streams from recorded choices
zayenz
committed
b4ec5df
random: complete stream integration and compare splitting costs
zayenz
committed
2130ef3
random: configure engines and complete seed/state CLI migration
zayenz
committed
3665a1b
random: use standard Gecode file headers
zayenz
committed
a1ff8e3
random: keep generator state in consumer-owned values
zayenz
committed
e734d74
random: clarify feature overview and clean up integration
zayenz
committed
0d04689

Commits on Oct 4, 2026

Keep random option state typed and document selector hooks
zayenz
committed
2a47a7d

Commits on Oct 5, 2026

Fix C++17 consumer checks and diversify job-shop probes
zayenz
committed
7e17dd9
Declare each variable separately
zayenz
committed
7bd59f1

Commits on Oct 6, 2026

Keep random generator documentation beside its interfaces
Mikael Zayenz Lagerkvist
committed
1a0f00c
Merge commit 'b94715d155db87b2048a6fb88734c308f772caad' into HEAD
Mikael Zayenz Lagerkvist
committed
d10e4ba
Restore worker control documentation statistics annotations
Mikael Zayenz Lagerkvist
committed
20d4062
Use a checksum-verified mirror for the Autoconf CI bootstrap
Mikael Zayenz Lagerkvist
committed
a9b86b8