Hi Lei,
On 05/02/13 03:35, Lei Zhang wrote:
Coreutils experiment. They are very helpful! Now we have set up the
environment using Ubuntu 10.04 + LLVM 2.7 (I'd like to contribute to the
upgrading to 2.9 after I finish this project).
That would be useful, thanks.
And we have some
questions
Hi Paul, I guess it would be useful to have more control over the LLVM
optimizations performed in KLEE. I would be happy to incorporate such a
patch.
Best,
Cristian
On 31/01/13 15:29, Paul Rubel wrote:
Regarding optimizations I've been down that path lately. Even if the
code is compile
