about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
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
2015-12-17Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support...Martin Nowack
2015-12-17Merge pull request #316 from delcypher/update_list_leakDan Liew
2015-12-17Fix a memory leak in ``UpdateList`` detected by AddressSanitizer.Dan Liew
2015-12-17Add LeakSanitizer (component of AddressSanitizer) suppression fileDan Liew
2015-12-16Propagate AddressSanitizer, LeakSanitizer (part of AddressSanitizer),Dan Liew
2015-12-13Ignore some generated files that will be visible if doing an in sourceDan Liew
2015-12-13Ignore some autoconf generated files.Dan Liew
2015-12-13Set C++ standard in Clang format settings file to C++03. OtherwiseDan Liew
2015-12-11Reword help description for ``--silent-klee-assume`` command lineDan Liew
2015-12-11Change SilentKleeAssume.c test slightly so thatDan 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-12-04Merge pull request #310 from msoos/fix-klee-clang-script2MartinNowack
2015-12-04Fixing klee-clang to strip all flags not understood by llvm-linkMate Soos
2015-12-02Merge pull request #309 from msoos/fixstrong3MartinNowack
2015-12-02Removing -fstack-protector-strong for clang <= 3.4Mate Soos
2015-11-13Added NEWS fileCristian Cadar
2015-11-13Moving to version 1.1.0Cristian Cadar
2015-11-08Merge pull request #269 from MartinNowack/fix_sremMartinNowack
2015-10-31Merge pull request #296 from delcypher/specify_klee_uclibc_versionDan Liew
2015-10-30Make sure TravisCI does a few builds where it uses the developmentDan Liew
2015-10-30Teach TravisCI and the Docker build to use the taggedDan Liew
2015-10-08Fix accidently hardcoding of LLVM version in DockerfileDan Liew
2015-09-26Merge pull request #281 from andrewchi/futimesat-fixMartinNowack
2015-09-25Don't use /tmp for futimesat unit testAndrew Chi
2015-09-22[STPBuilder] Generate SRrem expressions correctlyMartin Nowack
2015-09-21Merge pull request #274 from MartinNowack/fix_sdiv_1Cristian Cadar
2015-09-18Merge pull request #275 from MartinNowack/fix_empty_constraints_indep_solverCristian Cadar
2015-09-05Allow to generate initial values with empty constraint setMartin Nowack
2015-09-04Merge pull request #276 from MartinNowack/travis_updateCristian Cadar
2015-08-31Delete old patches.Martin Nowack
2015-08-30Support KLEE with different STP versions; Disable r940Martin Nowack
2015-08-30Fix signed division by constant 1/ -1Martin Nowack
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-24 17:57:54 +0000