Skip to content

Support new package versions#220

Closed
schillic wants to merge 5 commits into
JuliaIntervals:masterfrom
schillic:schillic/ia
Closed

Support new package versions#220
schillic wants to merge 5 commits into
JuliaIntervals:masterfrom
schillic:schillic/ia

Conversation

@schillic

Copy link
Copy Markdown
Member

I did not apply any code changes, for which I rely on the tests covering the typical use cases.

Note that Symbolics v7 does not seem to work without code changes (lots of warnings printed during the tests, followed by a crash). Hence I only allowed the upper bound v6. All other packages can use the latest version.

cc @blegat

@codecov-commenter

codecov-commenter commented Mar 30, 2026

Copy link
Copy Markdown

⚠️ Please install the 'codecov app svg image' to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 48.09%. Comparing base (6b5a070) to head (6253545).
⚠️ Report is 2 commits behind head on master.
❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files
@@            Coverage Diff             @@
##           master     #220      +/-   ##
==========================================
- Coverage   48.32%   48.09%   -0.24%     
==========================================
  Files           5        5              
  Lines         209      210       +1     
==========================================
  Hits          101      101              
- Misses        108      109       +1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@schillic

schillic commented Mar 30, 2026

Copy link
Copy Markdown
Member Author

Hm, in v1.10 this fails with the error message I got for Symbolics v7. Now there are multiple paths forward:

  • raise the minimal Julia version (my favorite)
  • not bump IntervalArithmetic (not good, one of the main motivations for this PR)

Note that for using Symbolics v7, one would need a better fix anyway. But I do not have the expertise for that. So I would prefer to find a quick solution. Hence, the next commit will raise the version to Julia v1.11.

@schillic

Copy link
Copy Markdown
Member Author

It seems that the error stays on x86. I suggest to simply ignore these systems. But at this point I already made several suggestions. Please let me know what you think. Maybe somebody knows how to fix the error?

dpsanders added a commit that referenced this pull request Apr 2, 2026
Cherry-pick infrastructure changes from PR #220:
- Update GitHub Actions versions (checkout v6, setup-julia v2, cache v3, codecov v6)
- Test on Julia 1.11 instead of 1.10
- Set julia compat to 1.11
- Remove obsolete REQUIRE file (Pkg.jl era)

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
@dpsanders

dpsanders commented Apr 2, 2026

Copy link
Copy Markdown
Member

Many thanks, @schillic! I've incorporated your changes into this PR, which tries to fix compat with Symbolics 7.

@schillic schillic marked this pull request as draft April 2, 2026 20:21
@schillic schillic closed this Apr 2, 2026
dpsanders added a commit that referenced this pull request Apr 3, 2026
* Update dependencies to latest versions, fix IntervalArithmetic v1.0 compatibility

Update compat bounds: IntervalArithmetic 1, IntervalBoxes 0.3,
IntervalContractors 0.6, ReversePropagation 0.4, Symbolics 7.

IntervalArithmetic v1.0 follows IEEE 1788 and deliberately does not define
Base.isequal/Base.hash for Interval. This broke @register_symbolic x ∈ y::Interval
since SymbolicUtils needs isequal/hash for hash-consing. Instead of type-pirating
those methods, decompose x ∈ interval(a,b) into (x >= a) & (x <= b) at the
symbolic level.

Also fix pre-existing bug in separator() where & and | used Base.intersect/union
instead of ⊓/⊔ (defined for AbstractSeparator in set_operations.jl).

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* Bump version to 0.15.0

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* Update CI actions, require Julia 1.11, remove obsolete REQUIRE

Cherry-pick infrastructure changes from PR #220:
- Update GitHub Actions versions (checkout v6, setup-julia v2, cache v3, codecov v6)
- Test on Julia 1.11 instead of 1.10
- Set julia compat to 1.11
- Remove obsolete REQUIRE file (Pkg.jl era)

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* Test on Julia 1.10, 1.12, and nightly; require Julia >= 1.10

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* Widen compat ranges to also support older dependency versions

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* Narrow dependency ranges

* Drop x86 from CI

* Narrow to latest versions of deps

* Update .github/workflows/CI.yml

Co-authored-by: Christian Schilling <git@christianschilling.net>

---------

Co-authored-by: David Sanders <davidsanders@Davids-MacBook-Pro.local>
Co-authored-by: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
Co-authored-by: Christian Schilling <git@christianschilling.net>
@schillic schillic deleted the schillic/ia branch April 4, 2026 07:04
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.

3 participants