about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
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
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
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
2022-03-30Kitware's cmake is not available for non-LTS Ubuntu versionsMartin Nowack
2022-03-30Avoid installing Python 2Martin Nowack
2022-03-30Remove support for old UbuntuMartin Nowack
2022-03-30Add support to `sudo` if necessaryMartin Nowack
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 ENA...Cristian Cadar
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
2022-03-17ADT/Ref.h: remove headerFrank Busse
2022-03-17remove LLVM < 6 from build/test scriptsFrank Busse
2022-03-17remove LLVM < 6 from sourcesFrank Busse
2022-03-17Updated test MemoryLimit.c to use FileCheck, and formatted the fileCristian Cadar
2022-03-17Document that GetTotalMallocUsage returns the usage in bytesCristian Cadar
2022-03-17Fixed GetTotalMallocUsage on macOS to look at all zones. (The test MemoryLimi...Cristian Cadar
2022-03-11FD_Fail: use /dev/zero instead of /etc/mtabMorgan Jones
2022-03-09Core/Executor: Fix unaligned write of fp80 argumentsLukáš Zaoral
2022-03-09Core/ExecutionState: Fix uninitialized reads in unit testsLukáš Zaoral
2022-03-09CI: add `-fno-sanitize-recover=undefined` to UBSAN flagsLukáš Zaoral
2022-03-09tests: make UBSAN print stack tracesLukáš Zaoral
2022-03-09CI: drop `-fsanitize=integer` from UBSAN flagsLukáš Zaoral
2022-03-09CI: Update GTest to 1.11.0Lukáš Zaoral
2022-03-09CI: Update Z3 to 4.8.14Lukáš Zaoral
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-01 02:58:36 +0000