about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2024-02-08Assume C compiler's default standard is `-std=gnu17`Martin Nowack
2024-02-08Use KLEE's uClibc v1.4 as default to support the compilation with newer compi...Martin Nowack
2024-02-08Refactor invocation of old pass manager into legacy functionMartin Nowack
2024-02-08Fix `klee_eh_cxx.cpp` compiler errorMartin Nowack
2024-02-08Fix `klee-libc/memchr.c` compiler warningMartin Nowack
2024-02-08Replace `%libcxx_include` with `%libcxx_includes` for multi-include directoriesMartin Nowack
2024-02-08Add support for newer `libc++`; Simplify path detectionMartin Nowack
2024-02-08MERGE libc++ build systemMartin Nowack
2024-02-08Add support to build newer LLVM versionsMartin Nowack
2024-01-30Change `GetConstraintLog` to work with `std::string`s instead of `char*`sDaniel Schemmel
2024-01-30Avoid generating array names in solver builders that could accidently collideMartin Nowack
2024-01-30Modify getValueFromSeeds() to include more functionality and simplify its cal...Cristian Cadar
2024-01-30Make Assignment::evaluate be constCristian Cadar
2024-01-30Add checks to the seed concretization tests about the expected number of queriesCristian Cadar
2024-01-30Added a test for --allow-seed-extensionCristian Cadar
2024-01-30Removed --zero-seed-extension, and merge it with --allow-seed-extension. This...Cristian Cadar
2024-01-30Refactored some code related to seeding.Cristian Cadar
2024-01-30On a symbolic allocation, retrieve size from a seed, if availableCristian Cadar
2024-01-30Concretize arguments to external function calls using seeds, if available. A...Cristian Cadar
2024-01-30Concretize constants using seed values, when available. Added two tests (w/ ...Cristian Cadar
2024-01-30Switch to FreeBSD 14 and 13.2; Use LLVM 13Martin Nowack
2024-01-12Remove check for the number of solver queriesTomasz Kuchta
2024-01-12Make test more deterministicTomasz Kuchta
2024-01-12Follow-up: applied review comments, implemented meta-data cleanup (one more m...Tomasz Kuchta
2024-01-12Feature: implement single memory object resolution for symbolic addresses.Tomasz Kuchta
2024-01-12Renamed PTree to ExecutionTree (and similar)Cristian Cadar
2024-01-12Rename files from PTree to ExecutionTree (and similar)Cristian Cadar
2024-01-12SearcherTest: remove redundant root init, fix branch typeFrank Busse
2024-01-12new: persistent ptree (-write-ptree) and klee-ptreeFrank Busse
2023-10-23replace deprecated (as of c++20) std::is_pod with std::trivial && std::is_sta...Daniel Schemmel
2023-09-11Make KDAlloc the default memory allocatorCristian Cadar
2023-09-11Changed use-after-free and double-free tests to expect KDAlloc, plus some sma...Cristian Cadar
2023-09-07Remove broken experimental optimisation for validity (--cex-cache-exp)Cristian Cadar
2023-07-21Add code to only keep in the --help menu the KLEE/Kleaver option categoriesCristian Cadar
2023-07-21Move some options to the klee namespace and declare them in OptionCategories.hCristian Cadar
2023-07-12Replaced --suppress-external-warnings and --all-external-warnings with --exte...Cristian Cadar
2023-07-10remove timings from kdalloc testsDaniel Schemmel
2023-07-10Simplify KDAlloc testsDaniel Schemmel
2023-07-08Combine all `ConstantExpr::toMemory` cases into one.Daniel Schemmel
2023-07-08Using std::memcpy prevents alignment problems and removes an unnecessary spec...Daniel Schemmel
2023-07-06Implement getLocationInfo in the same style as getSizeDaniel Schemmel
2023-07-06Have CoWPtr::get and CoWPtr::getOwned return pointers instead of referencesDaniel Schemmel
2023-07-06rename Allocator::location_info to Allocator::locationInfo forDaniel Schemmel
2023-07-06Perform location_info tests in KDAlloc's random testDaniel Schemmel
2023-06-26RefTest: suppress -Wself-moveJulian Büning
2023-06-26Consistently use ".ktest" when referring to .ktest files in the help menuCristian Cadar
2023-06-26Remove parentheses around klee_ intrinsics from the help menuCristian Cadar
2023-06-26Fixed a couple of spelling issues in the help menuCristian Cadar
2023-06-26Improved help message for --exit-on-error-type=AbortCristian Cadar
2023-06-11Rewrote has_permission in the POSIX runtime. We now only return with permiss...Cristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-21 20:09:08 +0000