| Age | Commit message (Expand) | Author |
|---|
| 2017-02-28 | Module: simplify is_object checks | Jiri Slaby |
| 2017-02-28 | Merge pull request #547 from delcypher/fix_alignment_of_alloc_memory | Cristian Cadar |
| 2017-02-27 | Merge pull request #600 from jirislaby/no_global_context | Cristian Cadar |
| 2017-02-25 | llvm: stop using global context | Jiri Slaby |
| 2017-02-24 | Teach KLEE to respect the requested memory alignment of globals and stack | Dan Liew |
| 2017-02-24 | Merge pull request #603 from jirislaby/no_list_copy | Andrea Mattavelli |
| 2017-02-23 | CommandLine: do not copy list in optionIsSet | Jiri Slaby |
| 2017-02-22 | Merge pull request #599 from jirislaby/de_register | Andrea Mattavelli |
| 2017-02-22 | Makefile: change -std-compile-opts to -O3 | Richard Trembecký |
| 2017-02-22 | klee: remove use of deprecated 'register' | Jiri Slaby |
| 2017-02-21 | Merge pull request #514 from delcypher/fix_klee_get_direct_call_bitcast_weak_... | Andrea Mattavelli |
| 2017-02-21 | fix metaSMT version | Hoang M. Le |
| 2017-02-21 | Teach `klee::getDirectCallTarget()` to resolve weak aliases. This is | Dan Liew |
| 2017-02-21 | Add test case that causes an assertion failure in `klee::getDirectCallTarget(... | Dan Liew |
| 2017-02-20 | Merge pull request #596 from andreamattavelli/fix_readexpr_tests | Cristian Cadar |
| 2017-02-16 | Silenced warning: comparison of integers of different signs ('const int' and ... | Andrea Mattavelli |
| 2017-02-14 | Increased the type size for the stop-after-n-instructions option to avoid too... | Andrea Mattavelli |
| 2017-02-14 | Fix linker compatibility under macOS | Andrea Mattavelli |
| 2017-02-14 | Merge pull request #574 from delcypher/read_expr_missed_constaint_fold | Andrea Mattavelli |
| 2017-02-14 | Refactoring code to improve readability by using UINT32/64_C macros | Andrea Mattavelli |
| 2017-02-14 | Fixed assertion invocation: We were invoking bits64::truncateToNBits with a w... | Andrea Mattavelli |
| 2017-02-14 | Added pre/post conditions as assertions | Andrea Mattavelli |
| 2017-02-14 | Added unit tests for ReadExpr::create() to check that constant folding is cor... | Andrea Mattavelli |
| 2017-02-14 | ReadExpr::create() was missing an opportunity to constant fold when handling ... | Dan Liew |
| 2017-02-14 | Merge pull request #590 from ccadar/stp-fork-error | Andrea Mattavelli |
| 2017-02-14 | Added error message when STP fails to fork. | Cristian Cadar |
| 2017-02-14 | Merge pull request #592 from ccadar/remove-SMT | Andrea Mattavelli |
| 2017-02-13 | Removing unused lib/SMT directory | Cristian Cadar |
| 2017-02-13 | Merge pull request #506 from delcypher/travis_asan_ubsan | Cristian Cadar |
| 2017-02-13 | Silenced two "control may reach end of non-void function [-Wreturn-type]" com... | Cristian Cadar |
| 2017-02-13 | Merge pull request #588 from klee/revert-587-fix_stop_instructions | Andrea Mattavelli |
| 2017-02-13 | Revert "Increased the type size for the stop-after-n-instructions option to a... | Cristian Cadar |
| 2017-02-13 | Merge pull request #587 from andreamattavelli/fix_stop_instructions | Cristian Cadar |
| 2017-02-13 | Increased the type size for the stop-after-n-instructions option to avoid too... | Andrea Mattavelli |
| 2017-02-11 | [CMake] More widely available rebuilding for runtimes | Levente Kurusa |
| 2017-02-10 | Merge pull request #582 from jirislaby/vararg | Cristian Cadar |
| 2017-02-10 | test: fix broken Vararg test | Martijn Thé |
| 2017-01-28 | [cmake] add PATH_SUFFIXES needed to find z3 on Fedora | Kevin Laeufer |
| 2017-01-19 | In legacy build system fix building libkleeRuntest when building | Dan Liew |
| 2017-01-19 | Teach both build systems to pass the user provided CXXFLAGS and CFLAGS | Dan Liew |
| 2017-01-19 | Fix the Autoconf/Makefile build system when building with coverage | Dan Liew |
| 2017-01-19 | [TravisCI] Modify TravisCI/Docker build scripts to support doing ASan/UBSan b... | Dan Liew |
| 2017-01-19 | Fix `Feature/MemoryLimit.c` test when building KLEE with ASan. | Dan Liew |
| 2017-01-18 | Merge pull request #569 from delcypher/cmake_remove_enable_tests_option | Andrea Mattavelli |
| 2017-01-18 | [CMake] Remove `ENABLE_TESTS` CMake cache option. | Dan Liew |
| 2017-01-18 | Merge pull request #546 from delcypher/cmake_rename_test_targets | Cristian Cadar |
| 2017-01-16 | [CMake] If CMP0037 policy is available set it to NEW so that we | Dan Liew |
| 2017-01-16 | [CMake] Only add dependencies to `check` if the target is enabled. | Dan Liew |
| 2017-01-16 | Remove undocumented and unused `check-local`, `check-dg` and `check-lit` | Dan Liew |
| 2017-01-16 | Rename old build system targets so that | Dan Liew |
