about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
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
2022-01-07klee-stats: rename/reorder/document columnsFrank Busse
2022-01-07stats: remove reachableUncovered (unused)Frank Busse
2022-01-06Comment the code dealing with un/flushed bytes, and resolve old naming issue ...Cristian Cadar
2022-01-06Remove old Travis CI supportMartin Nowack
2022-01-06Dockerfile: use Google Test 1.11.0Julian Büning
2022-01-05introduce BranchTypesFrank Busse
2022-01-05unittests/TestMain: show stack trace on errorJulian Büning
2022-01-05fix CMake: use own TestMain instead of gtest_mainJulian Büning
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 11:07:44 +0000