Reachability.jl icon indicating copy to clipboard operation
Reachability.jl copied to clipboard

Published 20 hours ago • verified publisher icon JuliaReach

WIP #738 - Fix dev build

Open schillic opened this issue 5 years ago • 3 comments

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 avatar Jan 24 '20 16:01 schillic

:warning: This PR should not be merged.

schillic avatar Jan 24 '20 21:01 schillic

is this now solved?

mforets avatar May 23 '20 04:05 mforets

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

schillic avatar May 23 '20 04:05 schillic