Hi,
On 22/05/15 20:01, Cacho wrote:
is there any previous effort or idea on porting it to the latest version
of LLVM?,
Not to 3.7, but please take a look at this pull request from Chace about
3.6 (which is still waiting to be reviewed and merged in):
https://github.com/klee/klee/pull/238
Best,
Cristian
I'm mostly interested in it so we can get Klee working with
Rust, Julia and maybe other modern programming languages.
Do you have any recommendation (avoid the -don't do it- :)?
Thanks,
Cacho.
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
