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

3 December 2021

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.