search

vtjeng / MIPVerify.jl

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

Update `IntervalArithmetic` syntax #138

Closed vtjeng closed 1 year ago

vtjeng commented 1 year ago

This enables us to upgrade the version to 0.21.

vtjeng commented 1 year ago

Submitting despite codecov/patch failure as the overall project code coverage increased (and semantically we're not really changing anything here).