about summary refs log tree commit diff homepage
path: root/lib
AgeCommit message (Expand)Author
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
2015-08-17Merge pull request #239 from yotann/masterCristian Cadar
2015-08-03Merge pull request #198 from holycrap872/IndependentSolverGetInitialValuesCristian Cadar
2015-08-03Merge pull request #243 from ccadar/masterCristian Cadar
2015-07-06Make the super-set check in CexCachingSolver default offEric Rizzi
2015-06-03Added an option --readable-posix-inputs which is used to turn on/off the CEX ...Cristian Cadar
2015-05-31Make use of prefer-cex optional rather than defaultEric Rizzi
2015-04-29Fix assertion failure in getDirectCallTargetSean Bartell
2015-04-25Report the git tag if exists in the output of --version from kleeDan Liew
2015-04-25Give KLEE release version information in the output of klee and kleaverDan Liew
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 07:17:56 +0000