Re: [klee-dev] How do you manage your project?

Hi, we are always interested in patches for KLEE, which you can send to this mailing list. There is also a list of open projects at http://klee.llvm.org/OpenProjects.html. Best, Cristian On 14/11/2011 00:56, Zhang Yufeng wrote: Hi, how do you manage your project when developing KLEE? I am

[klee-dev] How do you manage your project?

Hi, how do you manage your project when developing KLEE? I am new and want to do something with KLEE? Thank you very much. Best. --Yufeng ___ klee-dev mailing list klee-dev@keeda.stanford.edu http://keeda.Stanford.EDU/mailman/listinfo/klee-dev