about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
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
2022-01-05CMake: set Google Test options properlyJulian Büning
2022-01-05fix CMake: GTEST_INSTALL -> INSTALL_GTESTJulian Büning
2022-01-05CMake: include GTest include hint for 1.8.0+Julian Büning
2022-01-05Do not use stat64 directly in gen-random-boutCristian Cadar
2022-01-05Added a test for invocations of klee_make_symbolic with a wrong size to MakeS...Cristian Cadar
2022-01-05Remove outdated reference to klee_make_symbolic_nameCristian Cadar
2022-01-04Use more precise version check for selecting swapoff() signature.Gleb Popov
2021-12-24Added correct signature for swapoff on FreeBSD (to solve recent CI failures)Cristian Cadar
2021-12-23Introduce termination categoriesFrank Busse
2021-12-20test/Concrete/GlobalUndef.ll: Remove `target datalayout` and `target triple`Lukáš Zaoral
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-24 20:52:30 +0000