about summary refs log tree commit diff homepage
path: root/include
AgeCommit message (Expand)Author
2018-05-24llvm37: handle GetElementPtrInst::Create's new parameterJiri Slaby
2018-05-22Renamed printFileLine to getSourceLocation (as suggested by @delcypher) to re...Cristian Cadar
2018-05-22Simplified printFileLine by using std::to_string, and removed unneeded versio...Cristian Cadar
2018-05-21stop using DEBUG macro nameJiri Slaby
2018-05-15Improved code qualityLukas Wölfer
2018-05-15Implemented incomplete mergingLukas Wölfer
2018-05-15remove QueryLog.hFrank Busse
2018-05-09Improve handling of constant array in Z3Timotej Kapus
2018-05-09Fix include filesMartin Nowack
2018-05-05Fix handling of errno if external functions are invokedMartin Nowack
2018-01-22MergeHandler: remove unused closedStateCountJiri Slaby
2018-01-08[NFC] Remove unused config header template that was only used byDan Liew
2017-11-30Implemented bounded merging functionalityLukas Wölfer
2017-10-17add support for CVC4 and Yices2 via metaSMTHoang M. Le
2017-09-22Merge pull request #748 from ccadar/optionsCristian Cadar
2017-08-27Remove unnecessary null pointer checksOscar Deits
2017-08-11Added support for hiding command-line optionsCristian Cadar
2017-08-04Removed merging searchersLukas Wölfer
2017-07-29Added another variant of printFileLine in KInstruction that returns the locat...Cristian Cadar
2017-07-26Now that LLVM 2.9 is gone, we can use cl::bits instead of cl::listCristian Cadar
2017-07-25Added the const qualifier to the keys in the constantMapCristian Cadar
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2017-06-16move module loading into external functionJörg Thalheim
2017-06-16llvm37: introduce type for PassManagerJiri Slaby
2017-06-12llvm: don't use clEnumValEnd for LLVM 4.0Jiri Slaby
2017-06-08Merge pull request #675 from ccadar/varargsAndrea Mattavelli
2017-06-08Fixed typos in comments related to vararg support.Cristian Cadar
2017-06-02hide backend solver declarations from public includeHoang M. Le
2017-06-02replace handleMetaSMT() with klee::createMetaSMTSolver() and move it into Met...Hoang M. Le
2017-06-01Refactor file opening code out of `main.cpp` and intoDan Liew
2017-03-23Add `AssignmentValidatingSolver`. It's purpose is to check any computedDan Liew
2017-03-23[WIP] Fix bug where stats would not be updated on early exit caused byDan Liew
2017-03-03Moved printFileLine() to be part of KInstructionCristian Cadar
2017-02-25llvm: stop using global contextJiri Slaby
2017-02-23CommandLine: do not copy list in optionIsSetJiri Slaby
2017-02-21Teach `klee::getDirectCallTarget()` to resolve weak aliases. This isDan Liew
2017-02-14Refactoring code to improve readability by using UINT32/64_C macrosAndrea Mattavelli
2017-02-14Fixed assertion invocation: We were invoking bits64::truncateToNBits with a w...Andrea Mattavelli
2017-02-14Added pre/post conditions as assertionsAndrea Mattavelli
2017-02-13Silenced two "control may reach end of non-void function [-Wreturn-type]" com...Cristian Cadar
2016-11-30Remove support for reporting the approximate git tag.Dan Liew
2016-11-28Clean up `Expr::compare()` interface byDan Liew
2016-11-28Remove default implementation of `Expr::compareContents(const Expr&)`Dan Liew
2016-11-28Fix bug in implementation of `NotExpr`. It should not implementDan Liew
2016-11-23Renamed .pc to .kquery (kleaver query)Eric Rizzi
2016-11-07[CMake] Report git revision information if available.Dan Liew
2016-11-07Implement a CMake based build system for KLEE.Dan Liew
2016-09-29Fix bug in `AssignmentEvaluator` where NotOptimizedExpr would not (#466)Dan Liew
2016-09-29configure: run AutoRegen.shJiri Slaby
2016-09-16Avoid internalization of non-standard entry point (i.e. not the main function...Andrea Mattavelli
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-24 23:16:42 +0000