Skip to content

v0.21.0

Compare
Choose a tag to compare
@github-actions github-actions released this 17 Jun 01:15
· 300 commits to main since this release
v0.21.0
4f6748d

v0.21.0 -- 2024-06-16

Added

  • Added an --n-traces option to the run subcommand so multiple traces can be
    produced in a single CLI call (#1365).

Changed

Deprecated

Removed

Fixed

  • Fixed a problem where random numbers were internally produced without being
    used. This affects behavior of randomness, and therefore same seeds will
    behave differently before and after this version (#1453).

Security