aboutsummaryrefslogtreecommitdiffstats
path: root/devel/klee
Commit message (Expand)AuthorAgeFilesLines
* Deprecated some ports broken for more than 6 monthbapt2013-10-181-0/+3
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...bapt2013-09-211-0/+1
* - Broken fails to buildmiwi2013-04-171-0/+2
* - convert USE_CMAKE to USESmakc2013-03-231-2/+1
* KLEE is a symbolic virtual machine built on top of thecrees2012-12-225-0/+95