<div dir="ltr"><div style="font-family:tahoma,sans-serif" class="gmail_default">​<font color="#000000" size="3" face="Times New Roman">Hi.​</font><font color="#000000" size="3" face="Times New Roman">

</font><p style="margin:0in 0in 10pt" class="MsoNormal"><font color="#000000" size="3" face="Times New Roman">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?</font></p><font color="#000000" size="3" face="Times New Roman">

</font><p style="margin:0in 0in 10pt" class="MsoNormal"><font color="#000000" size="3" face="Times New Roman">Thanks.</font><font color="#000000" size="3" face="Times New Roman">​</font></p></div></div>