There is a newer version of the record available.

Published January 5, 2021 | Version v1.38.0
Software Open

JuliaReach/LazySets.jl: v1.38.0

Creators

  • 1. University of Konstanz
  • 2. UdelaR
  • 3. Urudata Software
  • 4. IIITT
  • 5. Massey University
  • 6. @Shopify

Description

LazySets v1.38.0

Diff since v1.37.17

Closed issues:

  • Concrete intersection between VPolygons (#698)
  • Improve intersection of VPolygon (#1347)
  • Outsource project from Approximations (#1429)
  • Revise concrete projection for zonotopic sets (#2013)
  • Sampling from flat hyperrectangle fails (#2058)
  • Conflict with Distributions.sample (#2079)
  • Use promotion for support function of an intersection of half-spaces (#2348)
  • Polyhedra from lazy intersections of half-spaces (#2353)
  • Extend overapproximate with template directions to unbounded sets (#2403)

Merged pull requests:

  • #2403 -- Generalize overapproximation of unbounded sets (#2405) (@mforets)
  • Test for concrete projection of a zonotope (#2473) (@mforets)
  • #1429 - Outsource project from Approximations (#2475) (@schillic)
  • #1209 - Concrete projection of BallX, EmptySet, Universe (#2476) (@schillic)
  • Add keyword argument to range() (#2477) (@schillic)
  • Generalize special case for concrete projection of polyhedra (#2478) (@schillic)
  • Fix bug in isdisjoint of two zonotopic sets (#2479) (@schillic)
  • Add default uniform sampler (#2480) (@mforets)
  • Conversion of lazy intersection of polyhedral types (#2481) (@mforets)
  • Simplification of lazy intersection of halfspaces to polyhedron (#2482) (@mforets)
  • Fix docs (project methods) (#2483) (@schillic)
  • Use promotion in HPolyhedron's support function (#2484) (@mforets)
  • Fix docs (project methods) (#2485) (@schillic)
  • Rename method and reduce allocations (#2486) (@schillic)
  • Increase timeout for docs build (#2489) (@schillic)
  • Fix docs (#2490) (@schillic)
  • Update Project.toml (#2491) (@schillic)

Files

JuliaReach/LazySets.jl-v1.38.0.zip

Files (655.9 kB)

Name Size Download all
md5:3c656374cfd3d2f4c6c9123958df0986
655.9 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/JuliaReach/LazySets.jl/tree/v1.38.0 (URL)