about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2016-02-23Move ``Assignment::dump()`` into its own implementation file soDan Liew
2016-02-22Remove stray STP function declaration.Dan 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-22Merge pull request #339 from yotann/fix-valueisonlycalledDan Liew
2016-02-20Fix valueIsOnlyCalled() used by MD2U.Sean Bartell
2016-02-14Try to fix the TravisCI build when using Z3 as the solver. TheDan Liew
2016-02-14Add TravisCI and Docker support for building KLEE with Z3 supportDan 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-02-09Merge pull request #335 from mdimjasevic/spelling-error-fixesMartinNowack
2016-02-08Fixed two spelling errors.Marko Dimjašević
2016-01-14Try to unbreak the Docker build broken byDan Liew
2016-01-14Output a message reporting if the MetaSMT backend is enabled whenDan Liew
2016-01-14Remove unnecessary MetaSMT includes from kleaver's ``main.cpp``.Dan Liew
2016-01-14Refactor the MetaSMT makefile commands into its own file which canDan Liew
2016-01-14Fix linking with stp via MetaSMT when not building with direct STPDan Liew
2016-01-14MetaSMT build fixes.Dan Liew
2016-01-14Fix behaviour of --with-metasmt when passed a path that doesn't exist.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
2016-01-05Merge pull request #325 from delcypher/fix_independence_solver_leakCristian Cadar
2015-12-26Merge pull request #326 from domainexpert/upstreamDan Liew
2015-12-25Removed Language: Cpp entry from .clang-format due to incompatibility with Cl...Andrew Santosa
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-23Merge pull request #319 from delcypher/fix_inc_array_hash_exprDan 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-18Fix duplication of ``klee::ArrayHashFn`` inDan Liew
2015-12-18Move lib/Solver/SolverStats.h -> include/klee/SolverStats.hDan Liew
2015-12-18Remove a bunch of LeakSanitizer suppressions that aren't needed anymoreDan Liew
2015-12-18Merge pull request #315 from delcypher/array_leakDan 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-17Add dump function for AssignmentMartin Nowack
2015-12-17[Solver]Add simple option to dump queriesMartin Nowack
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 17:48:06 +0000