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 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 _______________________________________________ klee-dev mailing list klee-dev@keeda.stanford.edu http://keeda.Stanford.EDU/mailman/listinfo/klee-dev