aboutsummaryrefslogtreecommitdiff
path: root/devel/klee
Commit message (Expand)AuthorAgeFilesLines
* - Broken fails to buildMartin Wilke2013-04-171-0/+2
* - convert USE_CMAKE to USESMax Brazhnikov2013-03-221-2/+1
* KLEE is a symbolic virtual machine built on top of theChris Rees2012-12-225-0/+95