about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
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
2022-03-09build: fix missing target for grepFrank Busse
2022-03-09fix CMake: gtest from llvm includes gtest_mainJulian Büning
2022-01-07tests: add Feature/KleeStatsNoBr.cFrank Busse
2022-01-07tests: adapt Feature/KleeStatsColumns.test to klee-stats changesFrank Busse
2022-01-07tests: extend Feature/KleeStats.cFrank Busse
2022-01-07klee-stats: fix --print-moreFrank Busse
2022-01-07klee-stats: add --print-columnsFrank Busse
2022-01-07klee-stats: do not print summary line for csv/readable-csvFrank Busse
2022-01-07klee-stats: fix BCov calculation for zero br instructionsFrank Busse
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 04:01:58 +0000