opencompl / opencompl/veir

Adding SCF operations

Open
#1,324 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

Adding some definitions of SCF operations. Starting with simple ones first, like `scf.if`.

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by locating the existing operation definitions and the entry point for SCF support in the repository. Review how current simple operations are represented, then define the initial SCF operations beginning with scf.if. Done means the selected simple SCF operations are represented consistently with the existing definitions.

Written by the indexing model from the issue text.

Assessment

Domain
compilers
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Active
Clarity
Needs clarification
Newbie friendliness
45/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.