Hi Dan, and everyone else!
I am writing my BSc thesis this fall, and I would like to do something
actually useful in it. I have worked with KLEE already, and I like it very
much, so something related to it would be great for me. One potential topic
would be making Ubuntu packages for KLEE (and the
Dan,
Totally didn't find that. Good to know it has been done though. I think
it'd be helpful to put some sort of link or reference to that on the
install page. Also, the main page when I google is the github.io one, is
that correct? Should it be docker?
Unfortunately I am completely new to symbol
Hi,
On 16 August 2015 at 11:02, Owl owl wrote:
> Hey,
>
> Wanted to give people a heads up that I've started a project to simplify the
> install process for KLEE.
>
> https://github.com/Owlz/EasyKLEE
>
> At the moment, I've only gotten support for Ubuntu 15.04 x64, but am
> planning on adding oth
Hey,
Wanted to give people a heads up that I've started a project to simplify
the install process for KLEE.
https://github.com/Owlz/EasyKLEE
At the moment, I've only gotten support for Ubuntu 15.04 x64, but am
planning on adding other versions too. It builds out KLEE 3.4 with LLVM 3.4
and associ
