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://repos.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: Pending

Created at: over 5 years ago
Updated at: almost 4 years ago
Last synced at: about 1 year ago

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Repos

gitlab.inria.fr / compcertssa / compcertssa