Of course, here it is: https://github.com/klee/klee/issues/302
Attila 2015-11-19 15:30 GMT+01:00 Cristian Cadar <[email protected]>: > Can you please open an issue on GitHub regarding this? It would be easier > to discuss it there. > > Best, > Cristian > > On 18/11/15 17:39, Attila Török wrote: > >> Yes, as listed on the bottom of the PPA's webpage, it's KLEE 1.1.0 using >> LLVM 3.4, and STP 2.1.2. >> Attila >> >> (Sorry for the duplicate, Cristian, the last letter accidentally didn't >> go on the list.) >> >> 2015-11-18 18:01 GMT+01:00 Cristian Cadar <[email protected] >> <mailto:[email protected]>>: >> >> >> Hi Attila, I'm glad to see this! I will take a closer look soon. Is >> this the latest release of KLEE, 1.1.0, with LLVM 3.4 and STP 2.1.0 >> as dependencies? >> >> Best, >> Cristian >> >> >> On 18/11/15 16:41, Attila Török wrote: >> >> Hi Everyone! >> >> As it has been mentioned a few times on this list [1] [2], a >> simpler >> installation method for KLEE might be helpful, for example in a >> form of >> a Debian (Ubuntu) package. I know that there is already support >> for a >> Docker image, but somehow I find that degree of separation more >> of an >> inconvenience than any help, but it can be just me. >> >> So I went ahead and created a PPA on Launchpad in which I >> uploaded a >> package containing KLEE: >> https://launchpad.net/~torokati44/+archive/ubuntu/klee >> The installation is just as simple as with any other packages in >> PPAs, >> only these three commands need to be executed: >> >> sudo add-apt-repository ppa:torokati44/klee >> sudo apt-get update >> sudo apt-get install klee >> >> POSIX runtime support with uClibc is built in, but the other two >> packages in the PPA are not necessary for it to work, they are >> just >> build-time dependencies - as far as I can tell. Still, if there >> was >> something missing (some headers or such), installing those too >> won't hurt. >> >> It has been tested on my daily driver Linux Mint 17.2, and also >> fresh >> installs of Ubuntu 14.04.3 and Debian 8.2. (For the latter one, >> the >> software-properties-common package had to be manually installed >> beforehand, as that provides the add-apt-repository tool, then the >> created apt source file had to be manually edited, replacing all >> instances of "jessie" with "trusty" in it. This is because the >> PPA is >> intended for Ubuntu, it just happens to work well on Debian too.) >> In all three cases the package installed without any issues, and >> the >> basic functionality of KLEE was there, including the POSIX runtime >> support - although I haven't subjected it to heavy testing yet, >> so some >> bugs or deficiencies are to be expected. >> Please keep in mind that this is my first time packaging >> software this >> way, and it's nowhere near a fully polished version yet, but I >> think >> it's a fairly good start. >> >> Some issues (among others) are: missing man pages, lack of >> rigorous >> testing, some rough edges in the build process. >> Also, maybe cryptominisat4 should be packaged too. >> >> So if anyone interested could try installing and using this >> package, >> then sent me some feedback, it would be greatly appreciated. >> >> Thank you, >> Attila Török >> BME-VIK >> >> [1]: >> >> https://www.mail-archive.com/[email protected]/msg01402.html >> [2]: >> >> https://www.mail-archive.com/[email protected]/msg02096.html >> >> >> _______________________________________________ >> klee-dev mailing list >> [email protected] <mailto:[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 >> >> > _______________________________________________ > 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
