Skip to content

v0.2.13

Choose a tag to compare

View all tags
@jinlow jinlow released this 09 Jun 19:17
· 289 commits to main since this release
v0.2.13
6d508f0
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Small tweak in how monotonic bounds are carried through into missing branches, to ensure edge cases do not occur that could break monotonicity.

Assets 2
Loading