JuliaReach / ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia
https://juliareach.github.io/ReachabilityAnalysis.jl/
MIT License
192 stars 16 forks source link

#726 - Outsource `SingleEntryVector` code to ReachabilityBase #832

Closed schillic closed 5 months ago

schillic commented 6 months ago

Closes #726.

This code was actually never used.

mforets commented 5 months ago

i couldn't find normdiff in ReachabilityBase, is it still there?

schillic commented 5 months ago

It is called distance but it is the same functionality.