vtjeng / MIPVerify.jl

Evaluating Robustness of Neural Networks with Mixed Integer Programming
MIT License
113 stars 31 forks source link

CompatHelper: bump compat for IntervalArithmetic to 0.21, (keep existing compat) #137

Closed github-actions[bot] closed 1 year ago

github-actions[bot] commented 1 year ago

This pull request changes the compat entry for the IntervalArithmetic package from 0.14, 0.15, 0.16, 0.17, 0.18, 0.19, 0.20 to 0.14, 0.15, 0.16, 0.17, 0.18, 0.19, 0.20, 0.21. This keeps the compat entries for earlier versions.

Note: I have not tested your package with this new compat entry. It is your responsibility to make sure that your package tests pass before you merge this pull request.

vtjeng commented 1 year ago

This is failing on Julia 1 (but not 1.6) since IntervalArithmetic:0.21.0 supports only Julia 1.8. See history of version bumps:

The failure seems to have to do with the error message:

   Got exception outside of a @test
  MethodError: no method matching IntervalArithmetic.Interval(::Float64, ::Float64)

  Closest candidates are:
    (::Type{T})(::T) where T<:Number
     @ Core boot.jl:792

There have been many changes between the two versions, so it may be challenging to bisect to find the issue. https://github.com/JuliaIntervals/IntervalArithmetic.jl/compare/v0.20.9...v0.21.0

vtjeng commented 1 year ago

Superseded by https://github.com/vtjeng/MIPVerify.jl/pull/138.