Displaying 5 results from an estimated 5 matches for "promela".
Did you mean:
proceda
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>
2012 Oct 02
4
[LLVMdev] llvm-g++ does not work!
...;. The only version that it works with is 2.8. Also to test
PinaVM, we need llvm-g++ (I think clang does not work). However, when
I want to run an example, i get the following error, which i think is
related to llvm-g++:
reza at RezaUbuntu:~/pinavm-pinavm/systemc-examples/jerome-chain$ make promela
llvm-g++ -fno-inline-functions -I../../external/systemc-2.2.0/src/
-I../../external/TLM-2009-07-15/include/tlm -I../../external/basic
-emit-llvm -c main.cpp -o main.bc
Potential incompatible plugin version. GCC: 4.5.3. Expected: 4.5.4
Defines 'dragonegg_disable_version_check' as env var...
2012 Oct 02
0
[LLVMdev] llvm-g++ does not work!
...it works with is 2.8. Also to test PinaVM, we
> need llvm-g++ (I think clang does not work). However, when I want to run an
> example, i get the following error, which i think is related to llvm-g++:
>
>
> reza at RezaUbuntu:~/pinavm-pinavm/systemc-examples/jerome-chain$
> make promela
> llvm-g++ -fno-inline-functions -I../../external/systemc-2.2.0/src/
> -I../../external/TLM-2009-07-15/include/tlm -I../../external/basic -emit-llvm -
> c main.cpp -o main.bc Potential incompatible plugin version. GCC: 4.5.3.
> Expected: 4.5.4 Defines 'dragonegg_disable_version_chec...
2012 Sep 24
0
[LLVMdev] llvm-config!
Reza Sheykhi <hajishey at msu.edu> writes:
> I got the following answers:
>
> which perl
> /usr/bin/perl
>
> which llvm-config
> /usr/local/bin/llvm-config
>
> which llvm-as
> /usr/local/bin/llvm-as
>
> /usr/bin/llvm-confing --version
> bash: /usr/bin/llvm-confing: No such file or directory
Uh, there is a typo on the command above, it should be
2012 Sep 24
2
[LLVMdev] llvm-config!
I got the following answers:
which perl
/usr/bin/perl
which llvm-config
/usr/local/bin/llvm-config
which llvm-as
/usr/local/bin/llvm-as
/usr/bin/llvm-confing --version
bash: /usr/bin/llvm-confing: No such file or directory
/usr/local/bin/llvm-config --version
2.8
Quoting Óscar Fuentes <ofv at wanadoo.es>:
> Reza Sheykhi <hajishey at msu.edu> writes:
>
>> Thank you