Displaying 3 results from an estimated 3 matches for "bdc0b4a4".
2013 Apr 05
0
[LLVMdev] Z3 and loadable optimization
On 4/5/13 3:16 PM, Giacomo Tagliabue wrote:
> I created a loadable optimization following the tutorial at
> http://llvm.org/docs/WritingAnLLVMPass.html. I want to use the Z3
> library, installed in my system, in my optimization. When I include
> z3++.h (the name of the library) in the code and use its classes, it
> compiles well, but when I try to run it it says:
>
>
2013 Apr 05
1
[LLVMdev] Z3 and loadable optimization
..._
> LLVM Developers mailing listLLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.eduhttp://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20130405/bdc0b4a4/attachment.html>
2013 Apr 05
2
[LLVMdev] Z3 and loadable optimization
I created a loadable optimization following the tutorial at
http://llvm.org/docs/WritingAnLLVMPass.html. I want to use the Z3 library,
installed in my system, in my optimization. When I include z3++.h (the name
of the library) in the code and use its classes, it compiles well, but when
I try to run it it says:
> opt: symbol lookup error: /home/giacomo/llvm/Debug+Asserts/lib/Acsl.so:
>