opencompl

opencompl/veir

Verified Intermediate Representation

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` 20 days ago

good first issue

93

Verified Intermediate Representation

Lean

Support CIRCT's `verif.assume` and `verif.assert` 21 days ago

good first issue

93

Verified Intermediate Representation

Lean

Support CIRCT's `seq` dialect 21 days ago

good first issue

93

Verified Intermediate Representation

Lean

Add `FunctionOpInterface` 4 months ago

good first issue

93

Verified Intermediate Representation

Lean

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

good first issue

93

Verified Intermediate Representation

Lean