JuliaReach / LazySets.jl

Scalable symbolic-numeric set computations in Julia
https://juliareach.github.io/LazySets.jl/
Other
226 stars 32 forks source link

Outsource `basetype` to ReachabilityBase #3503

Closed schillic closed 4 months ago

schillic commented 5 months ago

I decided to not re-export the function because it has nothing to do with this library. A user can always get it via LazySets.basetype.

The build error in the documentation is because it takes a while to update to new releases.