gitlab.inria.fr / compcertssa / compcertssa
CompCertSSA is built on top of the C CompCert verified compiler. It adds an SSA-based middle-end at the RTL level, and includes conversion to SSA, SSA-based optimizations, and destruction of SSA.
JSON API: https://ecosystem.code.gouv.fr/api/v1/hosts/gitlab.inria.fr/repositories/compcertssa%2Fcompcertssa
Stars: 0
Forks: 2
Open issues:
License: lgpl-2.1
Language:
Dependencies parsed at:
0
Created at: about 5 years ago
Updated at: over 3 years ago
Last synced at: 8 months ago
No dependencies found