Skip to content

v1.19.0
Compare
Choose a tag to compare
@julia-tagbot julia-tagbot released this 11 Sep 08:29
· 2891 commits to master since this release
v1.19.0
This tag was signed with the committer’s verified signature.
JuliaTagBot Julia TagBot
GPG key ID: D8FCFD329B063E7E
Learn about vigilant mode.
645799a
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Breaking changes

  • downgraded dependency Distributions.jl due to upstream incompatibilities (#1665)

Features

  • rejection sampling for an arbitrary LazySet (#1612)
  • overapproximation of ResetMap by CartesianProductArray (#1677)

Enhancements

  • revised lazy-map constructors (#1627)
  • added a dimensional check in the zonotope constructor (#1664)
  • (internal:) changed the directory structure of the package by adding more subdirectories; this change does not affect the programmatic behavior, but (hopefully) simplifies the navigation for developers (#1656)
  • generalized overapproximation methods for Zonotopes to AbstractZonotope (#1681)

Bug-fixes

  • fixed a 4-point convex-hull special case when the points are aligned (#1673)
Assets 2
Loading