912792e - Workaround problem with SIGALRM in elm_shutdown.
66bfdd8 - Buildwrapper branch.
c570e70 - Add simple tests.
4f61def - Build with C++11 standard.
0d8632f - AddCabal: Depend on source files to make CMake track theirs timestamps.
e94a7d8 - Initial commit.
Get klee-169327.138.tar.gz (1.4 MB).
691a02c - Fix build with TOT.
64ea30a - Merge
7343dac - Import r168695, r168696, r168699, r168795, r168797, r168798: Patch sent by both Bogdan Copos and Nick Sumner fixing compilation with LLVM 3.1 ============================= Patch by Seungbeom ...
2f7ab5c - Add install() calls to the tools.
arrowdodger deleted arrowdodger/freebsd-ports
File has been deleted.