Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

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

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

No dependencies found