Skip to content

Bump IntervalArithmetic to v1 & release v0.30.0#1036

Merged
schillic merged 5 commits intomasterfrom
schillic/ia2
Mar 1, 2026
Merged

Bump IntervalArithmetic to v1 & release v0.30.0#1036
schillic merged 5 commits intomasterfrom
schillic/ia2

Conversation

@schillic
Copy link
Member

@schillic schillic commented Feb 16, 2026

This is the new alternative to #954.

Closes #911. Closes #914. Closes #936. Closes #960. Closes #1024. Closes #954.

This PR is finished, but it first requires updates to the following external packages:

  • LazySets
    • MathematicalSystems also needs a bump then.

The last commit temporarily uses the development versions of these packages, which have to be used on the branches called schillic/ia each. That commit should be dropped here before merging.


Main changes of this PR

  • bump IntervalArithmetic to v1
  • add dependency IntervalBoxes (may be refactored in the future)
  • bump hard/optional dependencies: CarlemanLinearization to v0.4.1, Flowstar to v0.3, LazySets to v6, TaylorIntegration to v0.17, TaylorModels to v0.9, TaylorSeries to v0.20.6
  • bump Julia version to v1.10
  • remove some helper methods: _dim; low/high for IA.Intervals
  • deactivate a failing example (second-to-last commit)
  • new breaking release

@schillic schillic force-pushed the schillic/ia2 branch 3 times, most recently from 82f6295 to ead875a Compare February 28, 2026 22:14
@schillic schillic changed the title Bump IntervalArithmetic to v1 Bump IntervalArithmetic to v1 & release v0.30.0 Mar 1, 2026
@schillic schillic marked this pull request as ready for review March 1, 2026 18:20
@schillic schillic merged commit 8ec91cf into master Mar 1, 2026
6 checks passed
@schillic schillic deleted the schillic/ia2 branch March 1, 2026 18:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants