[klee-dev] My forked KLEE using LLVM 3.6 passes regression and unit tests

[Martin Nowack]

Hi,
Sounds good.
> On 15 Apr 2015, at 21:43, Chace Clark <chace3 at tamu.edu> wrote:
> 
> What should i do to prepare before I submit a pull request to you guys?
> 
It’s the easiest to open a pull request and we can work on the changes in detail.
Not seeing the code beforehand, it’s not easy to tell.

Cheers,
Martin

---------------------------------------------------
Martin Nowack
Research Assistant

Technische Universität Dresden
Computer Science
Institute of Systems Architecture
Systems Engineering
01062 Dresden

Phone: +49 351 463 39608
Email: martin_nowack at tu-dresden.de
----------------------------------------------------

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 496 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20150415/4ef2a176/attachment.sig>