search

JuliaReach / ARCH2020_NLN_RE

Repeatability Evaluation package for the ARCH2020 NLN Competition
3 stars 0 forks source link

Clean-up Project.toml and Manifest.toml #5

Closed lbenet closed 4 years ago

lbenet commented 4 years ago

Closes #3

lbenet commented 4 years ago

@mforets Do we need specific versions of ReachabilityAnalysis.jl or IntervalArithmetics.jl to incorporate them in this PR, perhaps modifying install_dependencies.jl as well?

lbenet commented 4 years ago

This is ready; I've tested the docker container (locally) and it works. I'm merging.