about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2016-03-16Merge pull request #358 from pollnossa/masterMartinNowack
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-10Merge pull request #355 from delcypher/wrong_not_expr_in_enumCristian Cadar
2016-03-09Fix incorrect position of ``Not`` in ``Expr::Kind`` which meant it was includedDan Liew
2016-03-06Merge pull request #353 from lszekeres/selinux-fixMartinNowack
2016-03-05Fix SELinux signatures in runtimeLaszlo Szekeres
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-27Travis: Run TCMalloc runs explicitlyMartin Nowack
2016-02-27Merge pull request #342 from delcypher/expr_fixesMartinNowack
2016-02-27Merge pull request #345 from mdimjasevic/masterMartinNowack
2016-02-27Update travis configuration to use tcmallocMartin Nowack
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-26Merge pull request #346 from omeranson/libraries_squashedMartinNowack
2016-02-25Added support to load libraries from command lineOmer Anson
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-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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 13:13:15 +0000