about summary refs log tree commit diff homepage
AgeCommit message (Collapse)Author
2022-06-29Remove 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-28Implement getArrayForUpdate iterativelyDaniel Schemmel
2022-06-27Define stat64 to be stat on MacOS. This fixes compilation on more recent ↵Cristian Cadar
macOS versions, where stat64 is not defined anymore.
2022-06-27Fix error with empty EntryPointSaveliy Grigoryev
2022-06-26Intrinsics: Add support for @llvm.f{ma,muladd}.f*Lukáš Zaoral
2022-06-20Use `klee` user to install system dependenciesMartin 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-18Update Dockerfile to install tabulatekt218
Install tabulate package for klee-stats to work when used within KLEE Docker.
2022-06-15Spelling Fixesm-davis
2022-06-13tests: add StackTraceOutput.cFrank Busse
2022-06-13.err files: minor readability changes to stack trace outputFrank Busse
2022-06-13Update SpecialFunctionHandler.cppChaoqi Zhang
use size() to get N in bind(), just like the way in prepare().
2022-06-13tests: invoke LLVM tools through their corresponding macrosLukáš Zaoral
2022-05-06Switch to newer KLEE uClibc releaseMartin Nowack
Instead of using a branch that doesn't allow build artifact caching, use the newer released version instead.
2022-05-06Utilise Docker build artifact cache for more componentsMartin Nowack
2022-05-06Updated tests to use ktest-randgen instead of gen-random-boutCristian Cadar
2022-05-06Renamed gen-random-bout to ktest-randgenCristian Cadar
2022-05-06Updated tests to use ktest-gen instead of gen-boutCristian Cadar
2022-05-06Updated klee-zesti to use ktest-gen instead of gen-boutCristian Cadar
2022-05-06Renamed gen-bout to ktest-genCristian Cadar
2022-05-06tests: make function pointer tests more robustFrank Busse
2022-05-05cmake: try using system installation of GTest if it's presentLukáš 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-05cl flags: document default values, remove dead option: --replay-keep-symbolicFrank Busse
2022-05-05Switch FreeBSD 12 CI to a supported release.Gleb Popov
2022-04-28Make Uclibc support a runtime option, not a compile-time one.Gleb Popov
2022-04-25use mallinfo2 if availableFrank Busse
2022-04-25Update the Dockerfile to use the correct path for llvm-110Ryan Riley
2022-04-04Set version number to 3.0-preCristian Cadar
2022-04-04Release notes for KLEE 2.3 v2.3 2.3.xCristian Cadar
2022-04-04Setting version to 2.3Cristian Cadar
2022-04-01Remove unnecessary call to deprecated function sqlite3_enable_shared_cacheCristian Cadar
2022-04-01Update dependencies in Docker files.Cristian Cadar
2022-03-30Refactor cmake installation into own componentMartin Nowack
2022-03-30Update GitHub Actions build.yamlMartin 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-30Add LLVM 9 and LLVM 11 patches to build with newer Linux kernel versionsMartin Nowack
2022-03-30Build libcxx in parallel if possibleMartin Nowack
2022-03-30Use newer sqlite version using the build scriptMartin Nowack
2022-03-30Minor clean-upMartin Nowack
2022-03-30Clearly separate between LLVM, a bitcode compiler, and sanitizer compilerMartin 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-30Kitware's cmake is not available for non-LTS Ubuntu versionsMartin Nowack
Don't try to install it for non-LTS Ubuntu versions
2022-03-30Avoid installing Python 2Martin Nowack
2022-03-30Remove support for old UbuntuMartin Nowack
2022-03-30Add support to `sudo` if necessaryMartin Nowack
Instead if executing system-relevant changes directly, use `sudo` on Ubuntu-based machines. Simplifies the installation procedure.
2022-03-22Add Doxygen to one CI targetCristian Cadar
2022-03-22Removed/updated obsolete Doxygen configuration optionsCristian Cadar
2022-03-22Install doxygen and graphviz (dot) to generate Doxygen documentation when ↵Cristian Cadar
ENABLE_DOXYGEN=ON
2022-03-22Disabled Doxygen by defaultCristian Cadar
2022-03-22Require cmake 3.9+Cristian Cadar
2022-03-21Fixed a wrong type when computing memory usage on macOSCristian Cadar
2022-03-17remove obsolete KLEE_LLVM legacy definesJulian Büning
2022-03-17LLVM < 6 leftoversJulian Büning
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-01 06:29:46 +0000