search

JuliaReach / Reachability.jl

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

WIP Update ConcreteDiscretePost.jl #673

Closed mforets closed 4 years ago

mforets commented 5 years ago

Test if removing {LazySet{N}} works.

mforets commented 5 years ago

The change doesn't work; it requires more changes in the hybrid loop https://travis-ci.org/JuliaReach/Reachability.jl/jobs/581724415