[LLVMdev] Vellvm customization

[Zahra Marj]

​Hi.​

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?

Thanks.​
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150205/d73bba30/attachment.html>