WIP #738 - Fix dev build

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems

MIT License

50 stars 4 forks source link

Open schillic opened 4 years ago

schillic commented 4 years ago

This shows some of the steps needed for #738. The main step that is missing is to support the new version of the Taylor* packages.

schillic commented 4 years ago

:warning: This PR should not be merged.

mforets commented 4 years ago

is this now solved?

schillic commented 4 years ago

No, the new Taylor* packages are still not supported. This requires some code changes.