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://data.code.gouv.fr/api/v1/hosts/gitlab.inria.fr/repositories/compcertssa%2Fcompcertssa
étoiles: 0
forks: 2
issues ouvertes:
licence: lgpl-2.1
langage:
dépendances analysées: En attente
date de création: il y a plus de 5 ans
date de mise à jour: il y a presque 4 ans
dernière synchronisation: il y a environ un an
Readme
Loading...