Skip to content

Interval Analysis Pass Rewrite#210

Merged
iangneal merged 6 commits intomainfrom
iangneal/back-prop-fixes
Nov 13, 2025
Merged

Interval Analysis Pass Rewrite#210
iangneal merged 6 commits intomainfrom
iangneal/back-prop-fixes

Conversation

@iangneal
Copy link
Contributor

@iangneal iangneal commented Nov 12, 2025

  • Port the MLIR sparse analysis to LLZK to fix value propagation issues
  • Add more tests
  • Refine back propagation for arithmetic ops

TODO items:

  • Fix error caused by callsites
  • Test on SP1 examples

- Fix TypeA -> Degenerate interval conversion
- Add tests
- Refine boolean ops
- Refine back propagation of add/sub
@iangneal iangneal requested a review from a team November 12, 2025 17:30
@iangneal iangneal marked this pull request as ready for review November 12, 2025 17:38
Copy link
Contributor

@shankarapailoor shankarapailoor left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. The tests cover important missing edge cases and using the Sparse dataflow framework is sensible.

@iangneal iangneal merged commit c0c1747 into main Nov 13, 2025
10 checks passed
@iangneal iangneal deleted the iangneal/back-prop-fixes branch November 13, 2025 03:24
tim-hoffman pushed a commit that referenced this pull request Nov 14, 2025
* Add inverse logic

* - Port SparseAnalysis from MLIR
- Fix TypeA -> Degenerate interval conversion

* - Disable interprocedural parts of SparseAnalysis
- Add tests
- Refine boolean ops
- Refine back propagation of add/sub

* Add changelog, apply formatting fixes

* Add koalabear field

* Add field checks
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