Skip to content

Fix usage of custom random number generator#24

Merged
goerz merged 2 commits into
masterfrom
fix-rng
Oct 2, 2025
Merged

Fix usage of custom random number generator#24
goerz merged 2 commits into
masterfrom
fix-rng

Fix use of `rng` when generating random pulses

26fdf1d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar