There is a newer version of this record available.

Software Open Access

JuliaReach/LazySets.jl: v2.7.0

Christian Schilling; Marcelo Forets; Luca Ferranti; Sebastián Guadalupe; kpotomkin; Mauricio Vanzulli; ueliwechsler; Bruno Garate; tomerarnon; Daniel Freire Caporale; Ryan Birmingham; nikos-kekatos; Frederik Baymler Mathiesen; Lasse Peters; Aadesh Deshmukh; David Reguera; Gustavo Goretkin; Julia TagBot; Morten Piibeleht; Peng Yu; viryfrederic

LazySets v2.7.0

Diff since v2.6.0

Closed issues:

  • Generalize methods to AbstractPolyhedron (#1078)
  • Conversion from simple HRep to list of constraints (#1610)
  • Remove N<:Real annotation (#2219)
  • vertices_list of an empty HParallelotope is non-empty (#2786)
  • Random parallelotope generation often returns an empty set (#3203)
  • Documentation Update section causes error (#3242)

Merged pull requests:

  • #2786 - Add consistency check to HParallelotope constructor and use cheap isempty method (#3219) (@schillic)
  • #3203 - Make rand of HParallelotope return a nonempty set (#3221) (@schillic)
  • #1078 - Generalize isempty from HPolyhedron to (polyhedral) LazySet (#3235) (@schillic)
  • #2219 - Remove remaining N<:Real annotations (#3236) (@schillic)
  • Update manual (getting started) (#3243) (@schillic)
  • Move some code to interface files (#3244) (@schillic)
  • Remove dependency on JuMP.MOI (#3245) (@schillic)
Files (707.1 kB)
Name Size
JuliaReach/LazySets.jl-v2.7.0.zip
md5:ab0db294b855f6261067bbadb215c13d
707.1 kB Download
1,634
1,566
views
downloads
All versions This version
Views 1,6347
Downloads 1,5661
Data volume 794.6 MB707.1 kB
Unique views 1,5017
Unique downloads 2471

Share

Cite as