about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2016-04-19Merge pull request #369 from MartinNowack/fix_determ_solver_arrayMartinNowack
2016-04-18Merge pull request #374 from Justme0/optimize_kinstiteratorMartinNowack
2016-04-17Merge pull request #359 from delcypher/fix_indep_solver_bugCristian Cadar
2016-04-14This test passes under 2.9, so it cannot be used as an XFAIL. We can enable ...Cristian Cadar
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-12remove synthesized `rule of three` of KInstIteratorjiangg
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-09Generate unique STP and Z3 array names deterministicallyMartin Nowack
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-22Properly assert that an assignment computed inDan Liew
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-22Try to fix #348Dan Liew
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-30 00:32:12 +0000