| Age | Commit message (Collapse) | 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 | |