opencompl

opencompl/veir

Verified Intermediate Representation

5 good first / help-wanted issues · Lean · last activity Sep 1, 2026

93 stars 21 forks 93 watchers Lean Other

5 Open Issues Need Help Last updated: Sep 1, 2026

Open Issues Need Help

View All on GitHub

Support CIRCT's `hw.instance` about 1 month ago

good first issue

93

Verified Intermediate Representation

Lean

Support CIRCT's `verif.assume` and `verif.assert` about 1 month ago

good first issue

93

Verified Intermediate Representation

Lean

Support CIRCT's `seq` dialect about 1 month ago

good first issue

93

Verified Intermediate Representation

Lean

Add `FunctionOpInterface` 5 months ago

good first issue

93

Verified Intermediate Representation

Lean

Add parsing support for LLVM's floating point operations 5 months ago

good first issue

93

Verified Intermediate Representation

Lean