Remove dependency versions compatible with only Julia 0.x

vtjeng / MIPVerify.jl

Evaluating Robustness of Neural Networks with Mixed Integer Programming

MIT License

113 stars 31 forks source link

Remove dependency versions compatible with only Julia 0.x #143

Closed vtjeng closed 1 year ago

vtjeng commented 1 year ago

IntervalArithmetic.jl: https://github.com/JuliaIntervals/IntervalArithmetic.jl/blob/cab2433d6719899c38c0c3514fc935208614bdd0/REQUIRE#L1
Memento.jl: https://github.com/invenia/Memento.jl/blob/v0.12.1/REQUIRE

codecov[bot] commented 1 year ago

Codecov Report

Merging #143 (a32304f) into master (fad28b0) will decrease coverage by 0.13%. The diff coverage is n/a.

@@            Coverage Diff             @@
##           master     #143      +/-   ##
==========================================
- Coverage   91.42%   91.29%   -0.13%     
==========================================
  Files          25       25              
  Lines         816      816              
==========================================
- Hits          746      745       -1     
- Misses         70       71       +1

see 1 file with indirect coverage changes