Skip to content

Implement ilist any and all methods #429

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Jun 18, 2025
Merged

Implement ilist any and all methods #429

merged 4 commits into from
Jun 18, 2025

Conversation

david-pl
Copy link
Contributor

Implements #426. While I was at it, I also added an all method.

@david-pl david-pl requested a review from Roger-luo June 16, 2025 09:05
Copy link
Contributor

github-actions bot commented Jun 16, 2025

PR Preview Action v1.6.1
Preview removed because the pull request was closed.
2025-06-18 07:07 UTC

Copy link
Contributor

github-actions bot commented Jun 16, 2025

☂️ Python Coverage

current status: ✅

Overall Coverage

Lines Covered Coverage Threshold Status
9753 8630 88% 0% 🟢

New Files

No new covered files...

Modified Files

File Coverage Status
src/kirin/dialects/ilist/_init_.py 100% 🟢
src/kirin/dialects/ilist/_wrapper.py 100% 🟢
src/kirin/dialects/ilist/interp.py 94% 🟢
src/kirin/dialects/ilist/stmts.py 100% 🟢
TOTAL 98% 🟢

updated for commit: dff5148 by action🐍

Copy link

codecov bot commented Jun 16, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

📢 Thoughts on this report? Let us know!

@david-pl david-pl merged commit 0a60b0b into main Jun 18, 2025
12 of 13 checks passed
@david-pl david-pl deleted the david/426-ilist-any branch June 18, 2025 07:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants