about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2019-03-21drop support for LLVM <= 3.7Julian Büning
2019-03-21remove copy of ScalarizerPass for LLVM 3.4Julian Büning
2019-03-21remove obsolete LegacyLLVMPassManagerTyJulian Büning
2019-03-21remove obsolete macro KLEE_LLVM_GEP_TYPEJulian Büning
2019-03-20tests: add STPDumpDebugQueries.cFrank Busse
2019-03-20STPSolver: C++11, add missing free, refactoringFrank Busse
2019-03-20Moving to version 2.1-preCristian Cadar
2019-03-19Release notes for 2.0 v2.0Cristian Cadar
2019-03-19Set version to 2.0!Cristian Cadar
2019-03-19Add support to assign debug instructions to optimised codeMartin Nowack
2019-03-19Use debugging information from newer LLVM versionsMartin Nowack
2019-03-19separate between instructions and functionsMartin Nowack
2019-03-19Refactor InstructionInfoTableMartin Nowack
2019-03-19Dockerfile: Add libcxx as a build dependencyMartinNowack
2019-03-19Add Read consistency test case, spellingTimotej Kapus
2019-03-19Fix representation of ReadExpr of equivalent arraysMartin Nowack
2019-03-18Update Dockerfile with new dependenciesMartin Nowack
2019-03-18Update dependenciesMartin Nowack
2019-03-18Disable optimisation for functions that contain KLEE callsMartin Nowack
2019-03-18make test/Feature/srem.c more explicitJulian Büning
2019-03-17Fix `true` invocation in case docker image could not be pushedMartin Nowack
2019-03-17Use newer uclibc version: libc++ requires locale support activatedMartin Nowack
2019-03-17Add travis support to build with libc++Martin Nowack
2019-03-17Add libc++ as build dependency to KLEEMartin Nowack
2019-03-17Cmake enhance detection of C++ libraries and include filesMartin Nowack
2019-03-17Fix libc++ testcasesMartin Nowack
2019-03-17Added libcxx flagLukas Wölfer
2019-03-17Add support for libc++ as part of the build.sh scriptsMartin Nowack
2019-03-17Generalise clang package detection for linux and mac osxMartin Nowack
2019-03-17Renamed --use-cache to --use-branch-cacheCristian Cadar
2019-03-17run VerifierPass after optimization and instrumentationJulian Büning
2019-03-16Added support for disabling --batch-instructions and --batch-time by setting ...Cristian Cadar
2019-03-15Hiding general (LLVM) options in klee --help !Cristian Cadar
2019-03-15Placed option categories in the klee namespace and options in the anonymous n...Cristian Cadar
2019-03-15Placed --max-time in the termination categoryCristian Cadar
2019-03-15Placed --rewrite-constraints in the constraint solving categoryCristian Cadar
2019-03-15Categorized the options in SpecialFunctionHandler.cppCristian Cadar
2019-03-15Added help message for --use-constant-arrays, and placed option in the constr...Cristian Cadar
2019-03-15Placed --exit-on-error, --max-tests and --watchdog in the termination categoryCristian Cadar
2019-03-15Renamed --seed-out to --seed-file and --seed-out-dir to --seed-dir, and place...Cristian Cadar
2019-03-15Reformatted options and headers in Executor.cpp and did a proofreading pass o...Cristian Cadar
2019-03-15Added several options in Executor.cpp to the constraint solving categoryCristian Cadar
2019-03-15Created a new statistics option categoryCristian Cadar
2019-03-15Moved the options in Optimize.cpp to the module categoryCristian Cadar
2019-03-15Created a new module-related option category and moved the options in KModule...Cristian Cadar
2019-03-13Hide the general category (with LLVM options) in Kleaver.Cristian Cadar
2019-03-13Added function to hide all options in a given category. Removed uneeded (and...Cristian Cadar
2019-03-13Placed --warnings-only-to-file in a miscellaneous categoryCristian Cadar
2019-03-13Placed --use-visitor-hash in the expresion building/printing categoryCristian Cadar
2019-03-13Renamed directoryToWriteQueryLogs to DirectoryToWriteQueryLogs (and some refo...Cristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 01:13:42 +0000