JuliaReach/IntervalMatrices.jl: v0.12.0

IntervalMatrices v0.12.0

Diff since v0.11.2

Breaking changes

• Support IntervalArithmetic v1, which changed the default matrix multiplication mode and now may yield coarser results than before. We use that new mode by default, but the old (more precise) mode can be restored manually if desired.

Note that we do not show the new interval annotations from IntervalArithmetic to avoid clutter; they can also be activated manually if desired.

Read IntervalArithmetic's documentation for how to change these options.

Merged pull requests:

• Trigger docs building for new tags (#275) (@schillic)
• Increase test coverage (#276) (@schillic)
• Automatic JuliaFormatter.jl run (#277) (@github-actions[bot])
• Allow IntervalArithmetic v0.23 (#279) (@schillic)
• v0.12.0 (#280) (@schillic)
• CompatHelper: bump compat for IntervalArithmetic to 1, (keep existing compat) (#281) (@github-actions[bot])
• Do not print interval annotations (#282) (@schillic)
• Fix pow/pown error (#283) (@schillic)
• Use ^ instead of pown (#284) (@schillic)