[klee-dev] Porting to LLVM 3.7

[Cristian Cadar]

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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>