| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-07-04 | Inline asm external call | Mikhail | |
| 2022-07-04 | Fix memory leak in crosscheck core solver mechanism | Daniel Schemmel | |
| 2022-06-30 | checkout KLEE with depth > 1 when running codecov | Daniel Schemmel | |
| 2022-06-30 | update github checkout action to v3 | Daniel Schemmel | |
| 2022-06-30 | rename CallSite to CallBase | Frank Busse | |
| 2022-06-30 | remove LLVM < 9 | Frank Busse | |
| 2022-06-29 | Perform coverage analysis for z3 as well | Daniel Schemmel | |
| 2022-06-29 | forward ci environment variables used to exercise metasmt backends into the ↵ | Daniel Schemmel | |
| docker container | |||
| 2022-06-29 | Remove the CI target metaSMT(Boolector). metaSMT(STP) already runs the test ↵ | Cristian Cadar | |
| suite with all solvers supported by metaSMT, so the extra target provides marginal benefits. | |||
| 2022-06-28 | Implement getArrayForUpdate iteratively | Daniel Schemmel | |
| 2022-06-27 | Define stat64 to be stat on MacOS. This fixes compilation on more recent ↵ | Cristian Cadar | |
| macOS versions, where stat64 is not defined anymore. | |||
| 2022-06-27 | Fix error with empty EntryPoint | Saveliy Grigoryev | |
| 2022-06-26 | Intrinsics: Add support for @llvm.f{ma,muladd}.f* | Lukáš Zaoral | |
| 2022-06-20 | Use `klee` user to install system dependencies | Martin Nowack | |
| As a follow-up to recent build script enhancements (https://github.com/klee/klee/commit/818275b7249250780ddd5ed021cae64288514270), finally build KLEE inside of the Docker image as artefact owned by the `klee` user, including user-installed Python3 modules. This fixes issues with non-writable build directories. In addition `$HOME/.local/bin` directory is made available in search path. | |||
| 2022-06-18 | Update Dockerfile to install tabulate | kt218 | |
| Install tabulate package for klee-stats to work when used within KLEE Docker. | |||
| 2022-06-15 | Spelling Fixes | m-davis | |
| 2022-06-13 | tests: add StackTraceOutput.c | Frank Busse | |
| 2022-06-13 | .err files: minor readability changes to stack trace output | Frank Busse | |
| 2022-06-13 | Update SpecialFunctionHandler.cpp | Chaoqi Zhang | |
| use size() to get N in bind(), just like the way in prepare(). | |||
| 2022-06-13 | tests: invoke LLVM tools through their corresponding macros | Lukáš Zaoral | |
| 2022-05-06 | Switch to newer KLEE uClibc release | Martin Nowack | |
| Instead of using a branch that doesn't allow build artifact caching, use the newer released version instead. | |||
| 2022-05-06 | Utilise Docker build artifact cache for more components | Martin Nowack | |
| 2022-05-06 | Updated tests to use ktest-randgen instead of gen-random-bout | Cristian Cadar | |
| 2022-05-06 | Renamed gen-random-bout to ktest-randgen | Cristian Cadar | |
| 2022-05-06 | Updated tests to use ktest-gen instead of gen-bout | Cristian Cadar | |
| 2022-05-06 | Updated klee-zesti to use ktest-gen instead of gen-bout | Cristian Cadar | |
| 2022-05-06 | Renamed gen-bout to ktest-gen | Cristian Cadar | |
| 2022-05-06 | tests: make function pointer tests more robust | Frank Busse | |
| 2022-05-05 | cmake: try using system installation of GTest if it's present | Lukáš Zaoral | |
| This is a patch that I made few months ago as Fedora forbids bundling and using pieces of software provided by other packages in its repositories but forgot to upstream it at that time. [1] It has been rebased and improved so that it also reflects changes made in #1458. This should also make the compilation of unittests easier for our users as they don't need to clone googletest from GitHub anymore and just use package manager in the distro of their choice, provided that the gtest package includes a corresponding CMake module. [1]: https://src.fedoraproject.org/rpms/klee/blob/4c81b78/f/use-system-gtest.patch | |||
| 2022-05-05 | cl flags: document default values, remove dead option: --replay-keep-symbolic | Frank Busse | |
| 2022-05-05 | Switch FreeBSD 12 CI to a supported release. | Gleb Popov | |
| 2022-04-28 | Make Uclibc support a runtime option, not a compile-time one. | Gleb Popov | |
| 2022-04-25 | use mallinfo2 if available | Frank Busse | |
| 2022-04-25 | Update the Dockerfile to use the correct path for llvm-110 | Ryan Riley | |
| 2022-04-04 | Set version number to 3.0-pre | Cristian Cadar | |
| 2022-04-04 | Release notes for KLEE 2.3 v2.3 2.3.x | Cristian Cadar | |
| 2022-04-04 | Setting version to 2.3 | Cristian Cadar | |
| 2022-04-01 | Remove unnecessary call to deprecated function sqlite3_enable_shared_cache | Cristian Cadar | |
| 2022-04-01 | Update dependencies in Docker files. | Cristian Cadar | |
| 2022-03-30 | Refactor cmake installation into own component | Martin Nowack | |
| 2022-03-30 | Update GitHub Actions build.yaml | Martin Nowack | |
| * Set SANITIZER_LLVM_VERSION for sanitizers * Remove unnecessary SANITIZER_BUILD * Set LLVM 6 to LLVM_VERSION 6.0 to follow old schema | |||
| 2022-03-30 | Add LLVM 9 and LLVM 11 patches to build with newer Linux kernel versions | Martin Nowack | |
| 2022-03-30 | Build libcxx in parallel if possible | Martin Nowack | |
| 2022-03-30 | Use newer sqlite version using the build script | Martin Nowack | |
| 2022-03-30 | Minor clean-up | Martin Nowack | |
| 2022-03-30 | Clearly separate between LLVM, a bitcode compiler, and sanitizer compiler | Martin Nowack | |
| All three can be different but also provided by the same package. By separating the different use-cases, it allows to set them independently. | |||
| 2022-03-30 | Kitware's cmake is not available for non-LTS Ubuntu versions | Martin Nowack | |
| Don't try to install it for non-LTS Ubuntu versions | |||
| 2022-03-30 | Avoid installing Python 2 | Martin Nowack | |
| 2022-03-30 | Remove support for old Ubuntu | Martin Nowack | |
| 2022-03-30 | Add support to `sudo` if necessary | Martin Nowack | |
| Instead if executing system-relevant changes directly, use `sudo` on Ubuntu-based machines. Simplifies the installation procedure. | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |