about summary refs log tree commit diff homepage
path: root/lib
AgeCommit message (Expand)Author
2016-03-16push_back usage for values vectorvpushkar
2016-03-16Wrong std::vector 'values' usage after vector's capacity reserve. It is the e...vpushkar
2016-03-01Documented default values for various options and improved the description of...Cristian Cadar
2016-02-29Merge pull request #344 from MartinNowack/feat_mallocMartinNowack
2016-02-27Merge pull request #342 from delcypher/expr_fixesMartinNowack
2016-02-27Use klee-provided GetMallocUsage for consistencyMartin Nowack
2016-02-27Refactoring: Extract checking memory limit into own functionMartin Nowack
2016-02-27Add support for tcmallocMartin Nowack
2016-02-23Added missing copyright headers per klee/issue #301Marko Dimjašević
2016-02-23When calling ``Assignment::dump()`` if there are no bindings emitDan Liew
2016-02-23Move ``Assignment::dump()`` into its own implementation file soDan Liew
2016-02-22Remove stray STP function declaration.Dan Liew
2016-02-22Move Array constructor out of ``Expr.h`` and into ``Expr.cpp``.Dan Liew
2016-02-20Fix valueIsOnlyCalled() used by MD2U.Sean Bartell
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-08Fixed two spelling errors.Marko Dimjašević
2016-01-14MetaSMT build fixes.Dan 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
2016-01-12Drop unnecessary ``#include``s from Solver.cpp.Dan Liew
2016-01-12Refactor MetaSMTSolver and MetaSMTSolverImpl out of Solver.cpp intoDan Liew
2016-01-12[NFC] Refactor STPSolver and STPSolverImpl out of Solver.cpp into theirDan Liew
2016-01-12[NFC] Refactor DummySolver out of Solver.cpp into its own fileDan Liew
2016-01-12[NFC] Refactor ValidatingSolver out of Solver.cpp into its own fileDan Liew
2016-01-07[NFC] Refactor SolverImpl out of Solver.cpp into its own fileDan Liew
2015-12-23Fix memory leak detected by ASan whenDan Liew
2015-12-23[NFC]Dan Liew
2015-12-23Merge pull request #323 from delcypher/support_objectsize_intrinsicDan Liew
2015-12-23Merge pull request #321 from delcypher/fix_parser_leakDan Liew
2015-12-19Implement support for lowering the ``llvm.objectsize`` intrinsicDan Liew
2015-12-18Fix a leak detected by ASan in the KQuery parser where on destruction ofDan Liew
2015-12-18Move lib/Solver/SolverStats.h -> include/klee/SolverStats.hDan Liew
2015-12-18Fix memory leaks of ``Array`` objects detected by ASan.Dan Liew
2015-12-17Clean up the check in the previous commit by using one of KLEE'sDan Liew
2015-12-17Fixed a bug with how non power 2 values were written to memory, added test fo...Timotej Kapus
2015-12-17[Solver]Add support to dump STP qeries usingMartin Nowack
2015-12-17Report fatal error in case CexCache Bindings do not matchMartin Nowack
2015-12-17[Solver]Add simple option to dump queriesMartin Nowack
2015-12-17Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support...Martin Nowack
2015-12-17Fix a memory leak in ``UpdateList`` detected by AddressSanitizer.Dan Liew
2015-12-11Reword help description for ``--silent-klee-assume`` command lineDan Liew
2015-12-11Add command line flag ``--silent-klee-assume``to suppress errors due toValentin Wüstholz
2015-12-04Remove dead ifdef in STPBuilder header file. There is noDan Liew
2015-12-04Remove dead ``tempVars`` and ``getTempVar()`` method in STPBuilderDan Liew
2015-09-22[STPBuilder] Generate SRrem expressions correctlyMartin Nowack
2015-09-21Merge pull request #274 from MartinNowack/fix_sdiv_1Cristian Cadar
2015-09-05Allow to generate initial values with empty constraint setMartin Nowack
2015-08-30Fix signed division by constant 1/ -1Martin Nowack
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 02:40:21 +0000