[klee-dev] Warning: Switching to C++11 soon

[Cristian Cadar]

Unfortunately, this would require dropping support for LLVM 2.9.  Could
you please send me a quick message if you are still relying on it?

Best,
Cristian

On 17/12/2015 18:13, Dan Liew wrote:
> Hi,
> 
> Just a heads up for anyone not following KLEE's issue tracker [1]. We
> will soon be requiring a C++11 capable compiler to build KLEE. This is
> kind of already a requirement because STP requires C++11 so this
> shouldn't really be much of a shock.
> 
> I'm just waiting for the tests for [2] to pass and then this change
> will be merged.
> 
> [1] https://github.com/klee/klee/issues
> [2] https://github.com/klee/klee/pull/317
> 
> Thanks,
> Dan.
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>