Hi Jonathan, Thanks again for your patches, they are now all in the repository.
Best, Cristian On 13/10/12 23:45, Jonathan Neuschäfer wrote: > Hi! > In reply to this mail I'll send a few patches that fix little things > I've noticed while working my way into KLEE (I still doesn't work all > the way, but I'll tell you in another mail): > > [PATCH 1/6] www/Tutorial-1.html: fix naming inconsistency in example > [PATCH 2/6] tools/klee/main.cpp: move increment into for-loop head > [PATCH 3/6] tools/klee/main.cpp: move duplicate code to a function > [PATCH 4/6] TODO.txt: drop "rename .bout to .ktest" item > [PATCH 5/6] examples/sort: fix a little memory leak > [PATCH 6/6] klee/main: update symbol list for klee_get_value* > > diffstat: > TODO.txt | 2 -- > examples/sort/sort.c | 3 +++ > tools/klee/main.cpp | 59 +++++++++++++++++++----------------------- > www/Tutorial-1.html | 4 +-- > 4 files changed, 32 insertions(+), 36 deletions(-) > > > If you like Github, I can put them there, too. > > > Thanks, > Jonathan Neuschäfer > _______________________________________________ > klee-dev mailing list > [email protected] > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > _______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
