opencompl

opencompl/veir

Verified Intermediate Representation

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

93 stars 21 forks 93 watchers Lean Other

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

Open Issues Need Help

View All on GitHub

Add `llvm.bitinsert`/`llvm.bitextract` and remove `trunc`/ shift-operations on byte types about 16 hours ago

bug good first issue LLVM

93

Verified Intermediate Representation

Lean

Support CIRCT's `hw.instance` about 2 months ago

good first issue

93

Verified Intermediate Representation

Lean

Support CIRCT's `verif.assume` and `verif.assert` about 2 months ago

good first issue

93

Verified Intermediate Representation

Lean

Support CIRCT's `seq` dialect about 2 months 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