v1.56.2

LazySets v1.56.2

Diff since v1.56.1

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)

Enhancements

• New version of JuMP (#2953)

---

Merged pull requests:

• Escape inverse slash in docstring. (#2951) (@nablabits)
• CompatHelper: bump compat for JuMP to 1, (keep existing compat) (#2953) (@github-actions[bot])

v1.56.1

LazySets v1.56.1

Diff since v1.56.0

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)

Features

• Add center methods for Translation and Bloating (#2949)

---

Closed issues:

• Improved Documentation (#2944)
• mean, center, meta-functions (#2947)

Merged pull requests:

• Update optional_dependencies.md (#2948) (@mforets)
• center of lazy translation and bloating (#2949) (@mforets)

v1.56.0

LazySets v1.56.0

Diff since v1.55.0

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)

Breaking changes

• In the intersection method for AbstractHPolygons, the positional argument prune was changed to a keyword argument for consistency (#2935)

Enhancements

• Faster concrete intersection of mixed polygons (#2935)
• New versions of GLPK (#2939, #2943), Polyhedra and CDDLib (#2943, #2942), and JuMP (#2942)
• Faster low and high methods for Zonotope (#2941)

Internal changes

• A test that was commented out in #2923 for compatibility reasons was brought back (#2931)
• IntervalConstraintProgramming was excluded from the tests due to package incompatibilities (#2942)

---

Closed issues:

• Update optional dependencies page in the manual (#2924)
• Reach sets (#2933)
• GLPK not thread safe? (#2934)

Merged pull requests:

• Add JCON badge to README (#2930) (@schillic)
• Bring back fixed test (#2931) (@schillic)
• Faster concrete intersection of mixed polygons (#2935) (@schillic)
• Move Optional Dependencies to its own page (#2936) (@mforets)
• Use test/Project file (#2939) (@schillic)
• Update CI scripts (#2940) (@schillic)
• Faster low/high for Zonotope (#2941) (@schillic)
• CompatHelper: bump compat for JuMP to 0.23, (keep existing compat) (#2942) (@github-actions[bot])
• Fix GLPK v1 and update Polyhedra & CDDLib (#2943) (@schillic)
• Update MinkowskiSum.jl (#2945) (@mforets)
• Update Project.toml (#2946) (@mforets)

v1.55.0

LazySets v1.55.0

Diff since v1.54.0

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)

Breaking changes

• Drop MathProgBase and GLPKMathProgInterface solver support and instead use JuMP. This currently breaks some support for applying GLPK in exact solve mode due to an external error. This also increases the loading time of the package. (#2923)

---

Closed issues:

• Deprecated GLPKMathProgInterface brings forward compatibility issues of LazySets with other packages (#2922)

Merged pull requests:

• Revamp optimization deps (#2923) (@mforets)
• Update Project.toml (#2929) (@mforets)

v1.54.0

LazySets v1.54.0

Diff since v1.53.4

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)

Breaking changes

• Require Julia v1.5 or higher (#2920)

Features

• Sampling from Hyperplane/Line2D (#2918)

Enhancements

• Update to new version of Symbolics (#2920)
• Update optional dependencies (#2927, #2928)

Internal changes

• Remove custom build script (#2927)

---

Closed issues:

• Update to new version of Symbolics (#2825)
• Remove custom build script (#2926)

Merged pull requests:

• Use Julia v1.7 in CI & change exponentiation backend in docs build (#2916) (@schillic)
• Update README.md (#2917) (@mforets)
• Sampling from Hyperplane/Line2D (#2918) (@schillic)
• #2825 - Update to new version of Symbolics (#2920) (@schillic)
• Update citation (#2921) (@schillic)
• Update Project.toml (#2925) (@schillic)
• #2926 - Remove custom build script (#2927) (@schillic)
• Fix hyphen syntax in Project file (#2928) (@schillic)

v1.53.4

LazySets v1.53.4

Diff since v1.53.3

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)

Features

• Add linear_map for UnionSet and UnionSetArray (#2902)
• Add volume for UnionSet, Intersection, and EmptySet (#2910)
• Add reflect of a point in a Hyperplane (#2912)
• Add sample from a HalfSpace (#2912)
• Add ExponentialUtilities as exponentiation backend (and make adding other backends easy) (#2907)

Bug fixes

• Fix isempty(::HParallelotope) (#2875)

Internal changes

• Use Github Actions instead of Appveyor (#2899)
• Change documentation layout (#2914)

---

Closed issues:

• Add more exponentiation backends (#1312)
• Dark mode contrast for notes sections (#2913)

Merged pull requests:

• Fix isempty(::HParallelotope) (#2875) (@schillic)
• Revise scripts (#2899) (@schillic)
• Do not run CI on commits to master (#2900) (@schillic)
• Update affiliation (#2901) (@schillic)
• linear_map for UnionSet(Array) (#2902) (@schillic)
• Undo #2900 (#2904) (@schillic)
• Fix CI script (#2905) (@schillic)
• Skip CI when changing README (#2906) (@schillic)
• #1312 - Add more exponentiation backends (#2907) (@schillic)
• volume for UnionSet, Intersection, EmptySet (#2910) (@schillic)
• Sampling from HalfSpace (#2912) (@schillic)
• simplify css, only keep aligned statement (#2914) (@mforets)
• Update Project.toml (#2915) (@mforets)

v1.53.3

LazySets v1.53.3

Diff since v1.53.2

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)

Features

• Generalize norm to arbitrary p-norms for polytopic sets (#2891)

Enhancements

• New version of TaylorModels (#2896)
• New version of JuMP (#2898)

Bug fixes

• Fix infinity norm (norm) of a set (the result was sometimes too big) (#2891)

Merged pull requests:

• Fix and generalize norm for a set (#2891) (@schillic)
• Update README.md (#2892) (@mforets)
• Update README.md (#2893) (@schillic)
• New version of TaylorModels (#2896) (@schillic)
• Fix support function of Cartesian product in manual (#2897) (@schillic)
• CompatHelper: bump compat for JuMP to 0.22, (keep existing compat) (#2898) (@github-actions[bot])

v1.53.2

LazySets v1.53.2

Diff since v1.53.1

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)

Enhancements

• New version (v0.20) of IntervalArithmetic

---

Closed issues:

• Update README and citation.... (#2880)

Merged pull requests:

• Update README.md (#2889) (@mforets)
• CompatHelper: bump compat for IntervalArithmetic to 0.20, (keep existing compat) (#2890) (@github-actions[bot])

v1.53.1

LazySets v1.53.1

Diff since v1.53.0

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)

Breaking change in optional dependency

• Support newest version v0.8 of IntervalMatrices and drop support for old versions (#2888)

---

Merged pull requests:

• New version of IntervalMatrices (#2888) (@schillic)

v1.53.0

LazySets v1.53.0

Diff since v1.52.1

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)

Enhancements

• Allow mixing IntervalArithmetic types with LazySets in disjointness and inclusion checks (#2884)

Internal changes

• Swap isdisjoint and is_intersection_empty (#2887)

---

Merged pull requests:

• Update LICENSE (#2881) (@mforets)
• Update README.md (#2882) (@mforets)
• duck typing some concrete ops with IA types (#2884) (@mforets)
• Swap isdisjoint and is_intersection_empty (#2887) (@schillic)