#724 - Rename CacheMinkowskiSum - Githubissues

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems

MIT License

50 stars 4 forks source link

#724 - Rename CacheMinkowskiSum #725

Closed schillic closed 4 years ago

schillic commented 4 years ago

This fixes compatibility with LazySets (closes #724).

There was some weird problem: when building the docs we used LazySets v1.21.0 but not for the normal tests. I have no idea why.

There are other errors in the dev build:

Unsatisfiable requirements detected for package TaylorIntegration
normalization of affine systems because MathematicalSystems changed the name of b to c (not released yet)