Hi, Sounds good. > On 15 Apr 2015, at 21:43, Chace Clark <[email protected]> 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: [email protected] ----------------------------------------------------
signature.asc
Description: Message signed with OpenPGP using GPGMail
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
