Vellvm customization


I would like to customize Vellvm. I can’t find good tutorial about Vellvm and its implementation in Coq. Vellvm code is very big and problematic for me. What shall I do for first step?


Hi Zahra Marj,
We’ve recently migrated Vellvm to a (soon to be made public) Github repository and tried to clean up the distribution a bit. We’ll be happy to give you access to the repository, and help point you in the right direction.

Steve Zdancewic
Professor, Dept. of Computer and Information Science
University of Pennsylvania