8000 Comparing v0.3.0...v0.3.1 · Seelengrab/Supposition.jl · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: Seelengrab/Supposition.jl
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: v0.3.0
Choose a base ref
...
head repository: Seelengrab/Supposition.jl
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: v0.3.1
Choose a head ref
  • 2 commits
  • 3 files changed
  • 1 contributor

Commits on Mar 21, 2024

  1. Ensure @check on an inline-defined function also respects RNG 

    Previously, this unintentionally didn't seed the default RNG from the
stream controlled by Supposition.jl, leading to the odd case that
Supposition.jl was able to find a counterexample, but then didn't
report that RNG correctly back when replaying the failure. This
fixes that, by simply seeding the default RNG in this form too.
    @Seelengrab
    Seelengrab committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    afef798 View commit details
    Browse the repository at this point in the history

  2. Bump version

    @Seelengrab
    Seelengrab committed Mar 21, 2024
    2 Configuration menu
    Copy the full SHA
    ffc9ab2 View commit details
    Browse the repository at this point in the history
Loading
0