about summary refs log tree commit diff homepage
path: root/lib/Basic
AgeCommit message (Expand)Author
2023-03-22Change `llvm_map_components_to_libnames` to `llvm_config` CMake functionMartin Nowack
2023-03-17[cmake] Use LLVM's CMake functionality onlyMartin Nowack
2020-04-30Moved header files that were placed directly in include/klee/ into appropriat...Cristian Cadar
2020-04-30Removed the Internal directory from include/kleeCristian Cadar
2020-04-08Statistic: slightly modernise class definitionFrank Busse
2019-09-03Moved ConstructSolverChain.cpp to the Solver library.Cristian Cadar
2019-09-03Renamed CmdLineOptions.cpp to SolverCmdLine.cpp (in line with the associated ...Cristian Cadar
2019-03-21drop support for LLVM <= 3.7Julian Büning
2019-03-17Renamed --use-cache to --use-branch-cacheCristian Cadar
2019-03-13Added function to hide all options in a given category. Removed uneeded (and...Cristian Cadar
2019-03-13Consistently use "default=true" and "default=false" instead of "default=on" a...Cristian Cadar
2019-03-13Added missing description for some options in CmdLineOptions.cpp (and some re...Cristian Cadar
2018-11-02Introduced a constraint solving option category to which all the options in C...Cristian Cadar
2018-10-30Base time API upon std::chronoFrank Busse
2018-10-16Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ...Cristian Cadar
2018-05-24llvm37: handle getRegisteredOptionsJiri Slaby
2017-10-17add support for CVC4 and Yices2 via metaSMTHoang M. Le
2017-10-04Remove Autoconf/Makefile build system and adjust the TravisCIDan Liew
2017-09-22Merge pull request #748 from ccadar/optionsCristian Cadar
2017-08-27Remove unnecessary null pointer checksOscar Deits
2017-08-11Removed "llvm::" and reformatting in CmdLineOptions.cppCristian Cadar
2017-08-11Added support for hiding command-line optionsCristian Cadar
2017-07-26Now that LLVM 2.9 is gone, we can use cl::bits instead of cl::listCristian Cadar
2017-06-12llvm: don't use clEnumValEnd for LLVM 4.0Jiri Slaby
2017-03-23Add `AssignmentValidatingSolver`. It's purpose is to check any computedDan Liew
2016-11-23Renamed .pc to .kquery (kleaver query)Eric Rizzi
2016-11-18[CMake] Remove use of tabs in `CMakeLists.txt` files.Dan Liew
2016-11-18[CMake] Re-express LLVM and KLEE library dependencies asDan Liew
2016-11-07Implement a CMake based build system for KLEE.Dan Liew
2016-09-26Modified logging information to steer the usage of klee_message, klee_warning...Andrea Mattavelli
2016-09-15Rename `-debug-cross-check-core-solver` option toDan Liew
2016-09-15Add ``-debug-cross-check-core-solver`` option to allow cross-checkingDan Liew
2016-09-15Clang-format ``ConstructSolverChain.cpp``Dan Liew
2016-06-10rename the configure option --with-metasmt-default-solver to --with-metasmt-d...Hoang M. Le
2016-06-10use default metaSMT solver as defined in configurationHoang M. Le
2016-04-14Disabling --solver-optimize-divides by default, as the optimization is curren...Cristian Cadar
2016-03-01Documented default values for various options and improved the description of...Cristian Cadar
2016-02-23Added missing copyright headers per klee/issue #301Marko Dimjašević
2016-02-10Add some of the basic plumbing required to support a Z3 solver in KLEE.Dan Liew
2016-02-08Fixed two spelling errors.Marko Dimjašević
2016-01-14Make it possible to build KLEE without using STP and only MetaSMT.Dan Liew
2016-01-12Refactor setting the core solver (i.e. STP, MetaSMT or DummySolver) by providingDan Liew
2014-05-29Refactoring from std::ostream to llvm::raw_ostreamMartin Nowack
2013-12-21Do not install KLEE's internal libraries.Dan Liew
2013-10-15command-line option --use-metasmt declared and defined inside #ifdef SUPPORT_...Hristina Palikareva
2013-10-11MetaSMT builder, solver and command-line options.Hristina Palikareva
2013-08-06TimingSolver and constructSolverChain() no longer coupled with pointers to ST...Hristina Palikareva
2013-08-06Renaming solver-related command-line options in order to decouple them from S...Hristina Palikareva
2013-07-18Patch by Stephan Falke fixing an incorrect message. Cristian Cadar
2013-04-03Code reformatting.Cristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-20 03:33:40 +0000