summaryrefslogtreecommitdiff
path: root/klee/TODO.txt
AgeCommit message (Expand)Author
2012-10-24Two small changes by Jonathan Neuschäfer: one that fixes a memory leakCristian Cadar
2010-05-03test commitCristian Zamfir
2009-05-21Initial KLEE checkin.Daniel Dunbar