Hi, I need the KLEE version which has been used for the OSDI 2008 paper. Is
possible to setup and compile the original code?
I have to provide some comparative results, and it is reasonable to use the
original version to be fair w.r.t. the optimizations which have been
integrated during these years.
G.
----------------------------------------------------------------------------
Giuseppe Di Guglielmo?????? Dept. of Computer Science - University of Verona
Strada le Grazie, 15 - 37134 Verona - Italy
Phone Office:?? +39 045 8027049? Fax:??? +39 045 8027068
Phone Home:???? +39 045 6152251? ITA Mobile: +39 347 0493371
WWW: http://profs.sci.univr.it/~diguglielmo
email: giuseppe.diguglielmo at univr.it? Skype: giuseppe.diguglielmo
----------------------------------------------------------------------------
