There is a newer version of the record available.

Published March 13, 2021 | Version v1.43.1
Software Open

JuliaReach/LazySets.jl: v1.43.1

Authors/Creators

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

Description

LazySets v1.43.1

Diff since v1.43.0

Closed issues:

  • Convert CP of singletons to singleton (#2621)
  • Error message broken in membership test (#2623)

Merged pull requests:

  • #2621 - Convert CP of singletons to singleton (#2622) (@mforets)
  • #2623 MethodError -> ArgumentError (#2624) (@schillic)
  • Update Project.toml (#2625) (@mforets)

Files

JuliaReach/LazySets.jl-v1.43.1.zip

Files (676.2 kB)

Name Size Download all
md5:3f452c65bf78b0c7d9e5004136fac9ad
676.2 kB Preview Download

Additional details

Related works

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