Skip to content

Releases: JuliaReach/LazySets.jl

v2.11.0

27 Aug 07:33
@github-actions github-actions
v2.11.0
2ce8be3
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.
Compare
Choose a tag to compare
v2.11.0

LazySets v2.11.0

Diff since v2.10.0

Announcements

Contributors for this release:

Breaking changes

  • Removed type parameter for interval type from Interval (#3378)

Enhancements

  • Compatibility with IntervalArithmetic v0.21 (#3378)

Merged pull requests:

  • IntervalArithmetic v0.21 (and RangeEnclosures v0.2 in tests) (#3378) (@schillic)

Contributors

schillic
Assets 2
Loading

v2.10.0

21 Aug 04:01
@github-actions github-actions
v2.10.0
55965d5
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.
Compare
Choose a tag to compare
v2.10.0

LazySets v2.10.0

Diff since v2.9.0

Announcements

Contributors for this release:

Breaking changes

  • Remove confusing constructor method of a Line2D from a HalfSpace (#3366)

Features

  • Add intersection of CartesianProduct with polyhedron (#3361)
  • Add area for Ball2 (#3365)
  • Add difference of Interval and HalfSpace (#3351)
  • Add AbstractBallp interface with internal functions radius_ball and ball_norm to share common code between p-norm balls. This also adds some new methods and improves some old methods for p-norm balls. (#3368)

Enhancements

  • constraints_list: faster for AbstractHyperrectangle and alternative for AbstractSingleton (#3363)
  • Better linear_map of AbstractZonotope for 1D output (#3364)
  • Faster area for BallInf and AbstractHyperrectangle (#3365)
  • Add normalize option to Line constructor (#3367)
  • Simplify intersection result with unions (#3352)

Bug fixes

  • Fix issubset of interval in union (#3351)

Internal changes

  • Merge Line2D constructor docs (#3366)
  • Merge Line constructor docs (#3367)

Closed issues:

  • Add interface for balls (#1629)
  • Concrete Minkowski sum of balls (#1630)
  • Update "How to cite" in manual (#3347)

Merged pull requests:

  • difference of Interval and HalfSpace & fix issubset of interval in union (#3351) (@schillic)
  • Remove empty sets from intersection with union (#3352) (@schillic)
  • #3347 - Add link to CITATION.bib to manual (#3354) (@schillic)
  • intersection of CartesianProduct with polyhedron (#3361) (@schillic)
  • constraints_list: faster for AbstractHyperrectangle and alternative for AbstractSingleton (#3363) (@schillic)
  • Better linear_map of AbstractZonotope for 1D output (#3364) (@schillic)
  • area: add for Ball2 and faster for BallInf and AbstractHyperrectangle (#3365) (@schillic)
  • Line2D: merge docs, remove method from HalfSpace (#3366) (@schillic)
  • Line: merge constructor docs to struct docs, add normalize option (#3367) (@schillic)
  • Add AbstractBallp interface (#3368) (@schillic)
  • Automatic JuliaFormatter.jl run (#3372) (@github-actions[bot])
  • Update Project.toml (#3373) (@mforets)

Contributors

schillic and mforets
Assets 2
Loading

v2.9.0

12 Aug 12:25
@github-actions github-actions
v2.9.0
c9a33ec
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.
Compare
Choose a tag to compare
v2.9.0

LazySets v2.9.0

Diff since v2.8.0

Announcements

Contributors for this release:

Features

  • Revise binary and n-ary lazy operations (#3358)
    • new exported functions: flatten; length and getindex for binary operations; iterate
    • define a default ∈ (for getting an error message instead of a wrong default via iterate)
    • new internal features (not exported): @declare_binary_operation (some internal convenience definitions); first and second for binary operations; concrete_function (allows to define concretize only once)

Enhancements

  • Better constraints_list of 1D and 2D VPolytopes (#3350)
  • Switch from thread-local to task-local LP solvers (#3356)
  • Fix plot of UnionSet and UnionSetArray (#3355, #3359)
  • Generalize linear_map_inverse to affine_map_inverse (both unexported functions) (#3360)

Internal changes

  • Replace ColumnIterator with eachcol (#3357)
  • Adapt to ReachabilityBase v0.2 (#3369)

Closed issues:

  • Add interfaces for operation set types (#269)
  • Add decomposition for HalfSpaces (#1086)
  • Extra allocation in inclusion test for UnionSet (#1857)
  • Extra allocs in disjointness checks for unions (#1858)

Merged pull requests:

Contributors

Zinoex and schillic
Assets 2
Loading

v2.8.0

07 Jul 08:22
@github-actions github-actions
v2.8.0
c4ec152
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.
Compare
Choose a tag to compare
v2.8.0

LazySets v2.8.0

Diff since v2.7.6

Announcements

Contributors for this release:

Features

  • Add linear_map and affine_map for Ellipsoid (#3323)
  • Add support vector and support function for Polygon (#3325)
  • Add some scale and scale! methods (#3326)
  • Add inclusion check for nonconvex sets and zonotopic sets in a polyhedron (#3328)
  • Add tohrep/tovrep for general polyhedral sets (#3329)
  • Add isfeasible check for a list of linear constraints (#3338)

Enhancements

  • Do not use GLPK's presolver for removing redundant vertices (printed expected warnings about infeasibility) (#3333)
  • Faster disjointness check between zonotopic sets and polyhedra (#3334)
  • Added generic overapproximate by falling back to convert (#3335)
  • Overhaul usage of LP solver (cache default LP model, allow to pass a JuMP model directly, faster constraint generation) (#3340)
  • Support additional LP-solver status and throw ArgumentError for infeasible LP (#3344)

Bug fixes

  • Fix special cases in linear_map_inverse (#3348)

Internal changes

  • Simplify code in 2D minkowski_sum (#3327)
  • 2D zonotope vertex enumeration with linear complexity (currently unused) (#2288)
  • Example for ExponentialProjectionMap docs (#3330)
  • Code polishing related to one/ones (#3339)

Closed issues:

  • Use SingleEntryVector type (#538)
  • Add an example in the ExponentialProjectionMap type (#960)
  • Add function to check the feasibility of a list of linear constraints (#1057)
  • Fallback tovrep implementation (#1134)
  • Generic overapproximate by falling back to convert (#1229)
  • Fast disjointness test for zonotope and half-space (#1286)
  • Add more methods for scale (#2610)
  • Simplify code in 2D minkowski_sum (after Julia error gets fixed) (#2778)
  • glp_simplex warning in remove_redundant_vertices (#3226)
  • Use autoformatter? (#3251)
  • Support vector of Polygon (#3324)
  • Caching the JuMP model in linprog (#3336)

Merged pull requests:

Contributors

yupbank, Zinoex, and 2 other contributors
Assets 2
Loading

v2.7.6

08 May 07:48
@github-actions github-actions
v2.7.6
4299e76
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.
Compare
Choose a tag to compare
v2.7.6

LazySets v2.7.6

Diff since v2.7.5

Announcements

Contributors for this release:

Bug fixes

  • Fix linear_map with number (#3322)

Merged pull requests:

Contributors

schillic
Assets 2
Loading

v2.7.5

08 May 06:00
@github-actions github-actions
v2.7.5
bb1804d
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.
Compare
Choose a tag to compare
v2.7.5

LazySets v2.7.5

Diff since v2.7.4

Announcements

Contributors for this release:

Features

  • 3D plot recipe with Plots for polytopic sets (#3281)
  • minkowski_difference for hyperrectangular sets (#3269)
  • volume for polygons (#3295)
  • Allow scalar argument for linear_map (falls back to scale) and affine_map (#3284)
  • Add minkowski_difference for zonotopes in 1D and 2D (#3270)
  • Maximum volume Ellipsoid in a polyhedral set (#3293)
  • Add □ and ○ convenience functions (#3314)
  • Convenience constructor of ExponentialMap from sparse matrix (#3296)
  • Convenience constructors for some n-ary lazy operations (#3316)

Enhancements

  • Specialized support function for VPolytope (#3276)
  • Allow to pass kwargs to _expmv and add method with default backend (#3310)
  • Faster concretize of ConvexHullArray of polytopes (#3307)
  • Faster area for VPolygon (#3295)
  • Condition shortcut in same_side (#3306)
  • Specialized support function for Ball1 and Ball1 (#3274)
  • Specialized support function for LineSegment (#3275)
  • Specialized support function for ExponentialProjectionMap (#3280)
  • Define convert methods to HPolygon in eval loop (#3291)
  • More efficient support vector for UnionSet and UnionSetArray (#3308)
  • Define == for Intersection to ignore the cache (#3316)
  • Quick sufficient isdisjoint check (#3283)
  • Make membership check in AbstractZonotope more efficient (#3321)

Bug fixes

  • Fix intersection of UnionSetArray and Interval (#3313)
  • Fix kwargs in default_lp_solver_polyhedra (#3320)

Internal changes

  • Fix typos (#3305)
  • Require PkgVersion in tests (#3289)
  • Helper functions to simplify witness code (#3279)
  • Change error in SparseMatrixExp constructor to ArgumentError (#3309)
  • Format code (#3320)

Closed issues:

  • Recipes for 3D Plots (#35)
  • Use some more unicode operators as short hands (#822)
  • ExponentialMap constructor from SparseMatrixCSC and set (#823)
  • Concrete convex hull from ConvexHull(Array) of polytopes (#948)
  • More efficient support vector/function for UnionSetArray (#993)
  • Revise supp function of lazy intersection of polyhedra (#1127)
  • Annotate block_options in decompose (#1202)
  • Maximum volume ellipsoid in a polyhedral set (#1712)
  • Concrete minkowski difference for hyperrectangular sets (#1721)
  • typos and spelling (#3302)

Merged pull requests:

Contributors

schillic
Assets 2
Loading

v2.7.4

17 Apr 11:30
@github-actions github-actions
v2.7.4
22d42b1
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.
Compare
Choose a tag to compare
v2.7.4

LazySets v2.7.4

Diff since v2.7.3

Announcements

Contributors for this release:

Features

  • Add support function for SparsePolynomialZonotope (#3073)
  • Add sample method for DensePolynomialZonotope (#3268)

Enhancements

  • Faster brute-force search in support-vector computation of VPolygon (#3277)
  • Add Real type restriction to normalize (resolves an ambiguity with Julia v1.9) (#3298)
  • Fix warnings reported by VSCodium (#3273)

Bug fixes

  • Fix error message in split with zero argument (#3273)
  • Fix ∈ for Tetrahedron when point is on the boundary (#3304)

Internal changes

  • Add dependabot (#3285) and bump scripts (#3286, #3287)
  • Also run CompatHelper in test folder (#3288)
  • Add invalidations CI script (#3290)
  • Update README and CI scripts (#3294)
  • Outsource LP-solver code to separate file (#3292)

Closed issues:

  • Union-splitting in concrete intersection of hyperrectangles (#533)
  • Clustering function (#584)
  • Specialized support function computations (#600)
  • Follow up lazy intersection polytope vs polytope (#689)
  • Lazy Overapproximation operation (#707)
  • Default is_intersection_empty between lazyset and abstract polytope (#724)
  • Remove redundant constraints when using template directions (#757)
  • Generation of arrays of random sets (#899)
  • Memory use of parallel box overapproximation (#987)
  • Add concrete and abstract traits (#991)
  • Simplify overapproximations API (#1020)
  • Add benchmarks for linear map (#1084)
  • Constraints list should return a copy (#1118)
  • Use MathOptInterface (#1493)
  • Inconsistent point in tetrahedron check (#3303)

Merged pull requests:

Contributors

schillic, mforets, and 2 other contributors
Assets 2
Loading

v2.7.3

06 Apr 12:39
@github-actions github-actions
v2.7.3
2f80fdc
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.
Compare
Choose a tag to compare
v2.7.3

LazySets v2.7.3

Diff since v2.7.2

Announcements

Contributors for this release:

Features

  • Add complement methods for EmptySet and Universe (#3256)
  • Add ngens methods for BallInf, Interval and LineSegment (#3255)
  • Add reflect methods for EmptySet, Interval, ZeroSet, VPolytope and Universe (#3254)
  • Add option to delaunay to get 2D Delaunay triangulation for 3D sets (#3260)
  • Add new Tetrahedron set type (#3263)
  • Membership check for Tetrahedron (#3267)

Enhancements

  • Let generators of LineSegment return an iterator (#3257)
  • Generalize exponential backend in symmetric_interval_hull methods (#3253)
  • Remove unused AbstractStar interface (#3261)
  • Add some simple methods for DensePolynomialZonotope (#3262)
  • Let overapproximate of SimpleSparsePolynomialZonotope with a Zonotope always return a Zonotope (#3262)
  • Add overapproximate method for DensePolynomialZonotope with a Zonotope (#3262)

Bug fixes

  • Fix function error (raise -> throw) (#3252)

Internal changes

  • Revise interface tests (#3264)
  • Use short form IA of IntervalArithmetic consistently (#3265)
  • Remove constructor lists from documentation (#3266)

Closed issues:

  • Overapproximate polynomial zonotope with zonotope (#230)
  • Add examples for constructors and remove code copy (#232)
  • Support vector computation for a polynomial zonotope (#239)
  • Document formatter=identity (#305)
  • Caching lazy set operations (#351)
  • Forbid degenerate cases (#422)
  • Zonotope-zonotope intersection emptiness in 3D (#1267)
  • Generalize exponential backend in symmetric_interval_hull methods (#3117)
  • AbstractStar is recognized as a concrete set type (#3194)
  • Implement Tetrahedron type (#3258)
  • Implement efficient point in tetrahedron check (#3259)

Merged pull requests:

Contributors

schillic and mforets
Assets 2
Loading

v2.7.2

01 Apr 23:33
@github-actions github-actions
v2.7.2
e8785f0
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.
Compare
Choose a tag to compare
v2.7.2

LazySets v2.7.2

Diff since v2.7.1

Announcements

Contributors for this release:

Enhancements

  • Generalize outer array container for VPolytope (#3250)

Closed issues:

  • Generalize VPolytope container type (#3249)

Merged pull requests:

  • Generalize outer array container of VPolytope (#3250) (@mforets)

Contributors

mforets
Assets 2
Loading

v2.7.1

30 Mar 15:12
@github-actions github-actions
v2.7.1
cbb36a5
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.
Compare
Choose a tag to compare
v2.7.1

LazySets v2.7.1

Diff since v2.7.0

Announcements

Contributors for this release:

Enhancements

  • Add linear_map for general polyhedral sets (#3246)
  • Add reflect methods for AbstractZonotope, AbstractHyperrectangle, AbstractSingleton (#3248)

Internal changes

  • Add missing backslash in docstring (#3247)

Closed issues:

  • Add common polytopic methods to lazy operations (#996)

Merged pull requests:

Contributors

schillic
Assets 2
Loading