Skip to content

Monotonicity state moved into GenerationOptions instance making the state not globally shared - #63

Merged
Seramis merged 2 commits into
ByteAether:mainfrom
Seramis:separate_states
Jul 23, 2026
Merged

Monotonicity state moved into GenerationOptions instance making the state not globally shared#63
Seramis merged 2 commits into
ByteAether:mainfrom
Seramis:separate_states

Monotonic generation tests simplified as state is now held inside the…

d199d58
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL succeeded Jul 23, 2026 in 3s

No new alerts in code changed by this pull request

View all branch alerts.