issues
search
JuliaReach
/
Reachability.jl
Reachability and Safety of Nondeterministic Dynamical Systems
MIT License
50
stars
4
forks
source link
Various fixes
#744
Closed
schillic
closed
4 years ago
schillic
commented
4 years ago
fixed upper bounds for dependencies
installed dependency for doctests
fixed doctests (wow were they broken; from #499)
removed old, non-functional code (should have been removed in #633)