Program
Verification
Book

CoreIR

Internals

On the github repository it is described as "An LLVM-style hardware compiler with first class support for generators".

Links

Repository: https://github.com/rdaly525/coreir

Last commit date: 27 Jun 2022 (default branch)
Last commit date: 27 Jun 2022 (last activity)

ProVerB specific

Markdown description: view/edit
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.