(original) (raw)

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@cs.uiuc.edu http://llvm.cs.uiuc.edu  
http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev