runtimeverification/llvm-backend

KORE to llvm translation

C++Stars 40Forks 22Watchers 40Open issues 40License BSD 3-Clause "New" or "Revised" License

Details

仓库信息

Ownerruntimeverification

Homepage—

Last pushed2025-10-15

Last updated2025-12-15

Issues fetched at—

Community at a glance