| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-10-30 | Updating to release 1.4 | Niklas Krafczyk |
| 2023-04-18 | Fixing LLVM version to 14 for now | Niklas Krafczyk |
| 2022-04-05 | klee-uclibc v1.3 | Niklas Krafczyk |
| 2019-11-18 | Added wget and python to makedepends | Niklas Krafczyk |
| 2019-03-25 | Initial commit for klee-uclibc | Niklas Krafczyk |