about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2016-04-14Disabling --solver-optimize-divides by default, as the optimization is curren...Cristian Cadar
2016-04-14Added test case with the examples from https://github.com/klee/klee/issues/33...Cristian Cadar
2016-04-12Merge pull request #364 from MartinNowack/feat_partial_loggingCristian Cadar
2016-04-11Merge pull request #371 from andreamattavelli/masterCristian Cadar
2016-04-11Small refactoring to improve the consistency of info file handlingAndrea Mattavelli
2016-04-08Merge pull request #370 from delcypher/fix_tautlogical_is_localCristian Cadar
2016-04-08Remove computation of ``isLocal`` that is always true when handlingDan Liew
2016-04-08Merge pull request #368 from delcypher/refactor_klee_out_file_to_ktestDan Liew
2016-04-08Rename KLEE command line options fromDan Liew
2016-04-08Remove dead function declarationDan Liew
2016-03-31Updated NEWS file with 1.2.0 changesCristian Cadar
2016-03-31Moving to version 1.2.0Cristian Cadar
2016-03-23Refactoring of conditional flush into own function.Martin Nowack
2016-03-23Fix comment + Clang FormattingMartin Nowack
2016-03-23Add option to log partial solver queries before calling itMartin Nowack
2016-03-22Merge pull request #361 from MartinNowack/fix_determ_expprinterCristian Cadar
2016-03-22ExprPPrinter: Print out arrays deterministicallyMartin Nowack
2016-03-22Merge pull request #349 from MartinNowack/fix_so_linkgMartinNowack
2016-03-22Add soname for Runtest dynamic libraryMartin Nowack
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 15:56:15 +0000