Fix piracies - Githubissues

JuliaReach / LazySets.jl

Scalable symbolic-numeric set computations in Julia

https://juliareach.github.io/LazySets.jl/

Other

227 stars 32 forks source link

Closed schillic closed 5 months ago

schillic commented 6 months ago

[x] <= for vectors
[x] activate_assertions/deactivate_assertions (requires investigation in ReachabilityBase)
[x] rand(rng::AbstractRNG, U::AbstractVector{<:UnivariateDistribution}) (because we require a vector input)