start | find | index | login or register | edit
Compcert
by earl, 4552 days ago
A compiler backend written and certified with Coq that generates native PPC assembly from two intermediate languages (Cminor/Csharpminor).

- http://pauillac.inria.fr/~xleroy/compcert-backend/
powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 6835 days • c'est un vanilla site