There is a newer version of the record available.

Published November 28, 2018 | Version v1.5.1
Software Open

JuliaReach/LazySets.jl: v1.5.1

Authors/Creators

  • 1. UdelaR
  • 2. Massey University

Description

Note: this release is fully compatible with Julia v0.7/1.0 and also with Julia v0.6.

Features
  • added concrete intersection of Intervals (#890)
  • added rand for creating random sets (#870)
Bug fixes
  • fixed radius hyperrectangle of interval (#866)
  • fixed one and two vertex corner cases of convex hull (#889)
  • fixed concrete intersection of HPpolygons (#884)
  • fixed usage of isdefined when importing from different modules (#910)
  • fixed vertices_list of polygon with infeasible constraints (#919)
Minor changes
  • constraints of new HPolygons are now sorted by default (#896)

Files

JuliaReach/LazySets.jl-v1.5.1.zip

Files (325.3 kB)

Name Size Download all
md5:ccd9ee5a1fc4b536b705811fd649a385
325.3 kB Preview Download

Additional details

Related works

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