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
On 2/5/15 4:44 AM, Zahra Marj wrote:> 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.
>
>
>
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20150205/d12500fc/attachment.html>