[LLVMdev] Vellvm customization (original) (raw)
Steve Zdancewic stevez at CIS.upenn.edu
Thu Feb 5 08:26:49 PST 2015
- Previous message: [LLVMdev] Vellvm customization
- Next message: [LLVMdev] RFC: Recursive inlining
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
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>
- Previous message: [LLVMdev] Vellvm customization
- Next message: [LLVMdev] RFC: Recursive inlining
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]