Compcert
by earl, 6409 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/
search
76 active users
- unknown (76)
backlinks (more)
recent stores (more)
echo earlZstrainYat|tr ZY @.
