Age | Commit message (Expand) | Author |
---|---|---|
2020-12-23 | klee-libc: simplify mempcpy | Frank Busse |
2015-04-02 | Use C instead of C++ comments in C files to silence compiler warnings. | Cristian Cadar |
2009-08-01 | A few type fixes for libc functions, for 64-bit. | Daniel Dunbar |
2009-05-21 | Initial KLEE checkin. | Daniel Dunbar |