llvm dev - Feb 2015 - [LLVMdev] Vellvm customization

​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>

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>