about summary refs log tree commit diff homepage
path: root/include
AgeCommit message (Expand)Author
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
2016-09-15Correct out of date comments for some of the klee error handlingDan Liew
2016-09-15Add ``-debug-cross-check-core-solver`` option to allow cross-checkingDan Liew
2016-07-08Support gzip-based compression of raw_outstreamsMartin Nowack
2016-05-24Fixed bug #375 in Kleaver's parserAndrea Mattavelli
2016-04-12remove synthesized `rule of three` of KInstIteratorjiangg
2016-04-08Rename KLEE command line options fromDan Liew
2016-03-09Fix incorrect position of ``Not`` in ``Expr::Kind`` which meant it was includedDan Liew
2016-03-05Fix SELinux signatures in runtimeLaszlo Szekeres
2016-02-29Merge pull request #344 from MartinNowack/feat_mallocMartinNowack
2016-02-27Merge pull request #342 from delcypher/expr_fixesMartinNowack
2016-02-27Add support for tcmallocMartin Nowack
2016-02-23Added missing copyright headers per klee/issue #301Marko Dimjašević
2016-02-23Move ``Assignment::dump()`` into its own implementation file soDan Liew
2016-02-22Make the declaration of ``ConstantExpr`` the last declared ``Expr``Dan Liew
2016-02-22Move Array constructor out of ``Expr.h`` and into ``Expr.cpp``.Dan Liew
2016-02-14Handle Z3 API change between 4.4.1 and the current master branchDan Liew
2016-02-14Add basic implementation of Z3Builder and Z3Solver and Z3SolverImplDan Liew
2016-02-10Add some of the basic plumbing required to support a Z3 solver in KLEE.Dan Liew
2016-02-10Teach the configure script to configure the build to use the Z3 SMTDan Liew
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
2015-12-18Fix duplication of ``klee::ArrayHashFn`` inDan Liew