<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Hi Zahra Marj,<br>
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. <br>
<br>
Steve Zdancewic<br>
Professor, Dept. of Computer and Information Science<br>
University of Pennsylvania<br>
<br>
<div class="moz-cite-prefix">On 2/5/15 4:44 AM, Zahra Marj wrote:<br>
</div>
<blockquote
cite="mid:CAKSnXa8a_mrKoTHRJU88YR-36i=PWfV9DyTwf6op-pBPJZ7x0g@mail.gmail.com"
type="cite">
<div dir="ltr">
<div style="font-family:tahoma,sans-serif" class="gmail_default"><font
size="3" color="#000000" face="Times New Roman">Hi.</font><font
size="3" color="#000000" face="Times New Roman">
</font>
<p style="margin:0in 0in 10pt" class="MsoNormal"><font
size="3" color="#000000" 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 size="3" color="#000000" face="Times New Roman">
</font>
<p style="margin:0in 0in 10pt" class="MsoNormal"><font
size="3" color="#000000" face="Times New Roman">Thanks.</font><font
size="3" color="#000000" face="Times New Roman"></font></p>
</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
LLVM Developers mailing list
<a class="moz-txt-link-abbreviated" href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a> <a class="moz-txt-link-freetext" href="http://llvm.cs.uiuc.edu">http://llvm.cs.uiuc.edu</a>
<a class="moz-txt-link-freetext" href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a>
</pre>
</blockquote>
<br>
</body>
</html>