Displaying 3 results from an estimated 3 matches for "davidblubaugh2000".
2012 Dec 04
1
[LLVMdev] VHDL to promela
To All,
Has anyone worked with generating vhdl code to promela script for the spin model checker??
David Blubaugh
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20121204/b76bd607/attachment.html>
2014 Sep 02
2
[LLVMdev] Python to VHDL using LLVM; was "Re: LLVMdev Digest, Vol 123, Issue 3"
...There was Unladen Swallow [3] but
that was abandoned a while ago.
Cheers,
Jevin
[0]: https://github.com/nickg/nvc
[1]: https://gna.org/projects/ghdl/
[2]: http://dragonegg.llvm.org/
[3]: https://code.google.com/p/unladen-swallow/wiki/ProjectPlan
On Mon, Sep 1, 2014 at 8:53 PM, David Blubaugh
<davidblubaugh2000 at yahoo.com> wrote:
> Has anyone ever did a python to LLVM to IR to VHDL compiler ??? Has anyone
> used LLVM to ultimately create a Python to VHDL compiler ???
>
> Thanks,
>
>
> David Blubaugh
>
2013 Oct 21
0
[LLVMdev] LLVMdev Digest, Vol 112, Issue 56
Has anyone worked with or used the LLVM backend or compiler for Haskell ??
David
On Monday, October 21, 2013 5:26 PM, "llvmdev-request at cs.uiuc.edu" <llvmdev-request at cs.uiuc.edu> wrote:
Send LLVMdev mailing list submissions to
llvmdev at cs.uiuc.edu
To subscribe or unsubscribe via the World Wide Web, visit
http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
or,