about summary refs log tree commit diff homepage
path: root/lib
AgeCommit message (Expand)Author
2017-03-03Using klee_message instead of llvm:errsCristian Cadar
2017-02-28convert iterators using static_castJiri Slaby
2017-02-28Merge pull request #547 from delcypher/fix_alignment_of_alloc_memoryCristian Cadar
2017-02-25llvm: stop using global contextJiri Slaby
2017-02-24Teach KLEE to respect the requested memory alignment of globals and stackDan Liew
2017-02-22klee: remove use of deprecated 'register'Jiri Slaby
2017-02-21Teach `klee::getDirectCallTarget()` to resolve weak aliases. This isDan Liew
2017-02-14Increased the type size for the stop-after-n-instructions option to avoid too...Andrea Mattavelli
2017-02-14Merge pull request #574 from delcypher/read_expr_missed_constaint_foldAndrea Mattavelli
2017-02-14ReadExpr::create() was missing an opportunity to constant fold when handling ...Dan Liew
2017-02-14Added error message when STP fails to fork.Cristian Cadar
2017-02-13Removing unused lib/SMT directoryCristian Cadar
2017-02-13Merge pull request #506 from delcypher/travis_asan_ubsanCristian Cadar
2017-02-13Silenced two "control may reach end of non-void function [-Wreturn-type]" com...Cristian Cadar
2017-02-13Revert "Increased the type size for the stop-after-n-instructions option to a...Cristian Cadar
2017-02-13Increased the type size for the stop-after-n-instructions option to avoid too...Andrea Mattavelli
2017-01-19Fix `Feature/MemoryLimit.c` test when building KLEE with ASan.Dan Liew
2016-12-19Fix -Wformat warnings emitted by Apple Clang (800.0.42.1).Dan Liew
2016-12-15Typo fix when compiling with LLVM 3.5 and aboveAdrian Herrera
2016-11-30Remove support for reporting the approximate git tag.Dan Liew
2016-11-28Clean up `Expr::compare()` interface byDan Liew
2016-11-23Renamed .pc to .kquery (kleaver query)Eric Rizzi
2016-11-22[CMake] Add another missing LLVM component dependency for `kleeModule`.Dan Liew
2016-11-22[CMake] Add missing dependencies reported in #507.Dan Liew
2016-11-19Remove option --randomize-fork. If someone needs this, the right way is to i...Cristian Cadar
2016-11-19Documented the level at which BFS operates in KLEE, as part of --helpCristian Cadar
2016-11-19Merge branch 'fix_bfs2' of https://github.com/MartinNowack/klee into MartinNo...Cristian Cadar
2016-11-19Merge pull request #492 from hoangmle/masterCristian Cadar
2016-11-18[CMake] Remove use of tabs in `CMakeLists.txt` files.Dan Liew
2016-11-18[CMake] Re-express LLVM and KLEE library dependencies asDan Liew
2016-11-09Fix BFS searcherMartin Nowack
2016-11-08add nicer error messages for --use-merge and add explanation why it currently...Hoang M. Le
2016-11-07Implement a CMake based build system for KLEE.Dan Liew
2016-11-03Adds support for Darwin platform in RaiseAsm passAndrea Mattavelli
2016-10-27apply clang-formatHoang M. Le
2016-10-27update commentsHoang M. Le
2016-10-27upgrade to boolector-2.2.0 & remove the no longer needed aux array vectorHoang M. Le
2016-10-26move the query creation part into runAndGetCex() (to be consistent with runAn...Hoang M. Le
2016-10-26change signature of runAndGetCex() to match runAndGetCexForked()Hoang M. Le
2016-10-26remove outdated FIXME (metaSMT-Z3 implements assumption via push/pop)Hoang M. Le
2016-10-18Fix `-Wmisleading-indentation` warning and also correctly set theDan Liew
2016-10-01Merge pull request #426 from hoangmle/metaSMT_remove_ITE_chain_for_shiftMartinNowack
2016-09-29Fix bug in `AssignmentEvaluator` where NotOptimizedExpr would not (#466)Dan Liew
2016-09-29remove mimic_stp option and the associated ITE chain construction for shift o...Hoang M. Le
2016-09-29configure: add option to enable timestampingJiri Slaby
2016-09-26Modified logging information to steer the usage of klee_message, klee_warning...Andrea Mattavelli
2016-09-20Merge pull request #443 from MartinNowack/feat_assembler_raisingCristian Cadar
2016-09-16Avoid internalization of non-standard entry point (i.e. not the main function...Andrea Mattavelli
2016-09-15Rename `-debug-cross-check-core-solver` option toDan Liew
2016-09-15Add ``-debug-cross-check-core-solver`` option to allow cross-checkingDan Liew
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-04 16:47:46 +0000