opencompl / opencompl/veir

Use iterators

Open
#198 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Lean
Stars
109
Forks
32
Avg merge
1d 1h
Merged PRs (30d)
155

Description

We currently use eg `ctx.operations.keys`, or iterate on `0 .. op.getNumOperands`. We should try to use iterator instead.

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by locating the uses of `ctx.operations.keys` and ranges such as `0 .. op.getNumOperands` in the repository, then inspect how those operations are consumed. The issue is complete when the relevant iteration sites consistently use iterators without changing behavior; no specific files or tests are named.

Written by the indexing model from the issue text.

Assessment

Domain
compilers
Issue type
Refactor
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.