search

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems
MIT License
50 stars 4 forks source link

Update REQUIRE #597

Closed mforets closed 5 years ago

mforets commented 5 years ago

Set lower bound on LazySets.

mforets commented 5 years ago

REQUIRE also allows to use upper bounds, if needed.

Yes, probably we should not use the development version of LazySets in CI at some point.

For example, yesterday someone was not able to use Reachability because he had added LazySets via ] add,. But some parts of Reachability#master break without additions in v1.10.0. So it is safer to specify the lower bound needed of the other packages so that things work.

schillic commented 5 years ago

I agree that it is safer, but in your use case it would not have helped. Until yesterday, the changes in LazySets were not released. Now that they are released, ] add would have worked. I think this dependency on the dev version of LazySets will be an invariant for this package.