about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2016-11-21[CMake] Fix the build when `-DBUILD_SHARED_LIBS=ON` is passed.Dan Liew
2016-11-20[CMake] Implement install of the kleeRuntest target.Dan Liew
2016-11-20[CMake] Fix the old Autoconf/Makefile build system files in source tree inter...Dan Liew
2016-11-19[CMake] Remove unneeded dependency declarations for the unit tests.Dan Liew
2016-11-19Remove option --randomize-fork. If someone needs this, the right way is to i...Cristian Cadar
2016-11-19Merge branch 'MartinNowack-fix_bfs2'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-19[CMake] Document implicit `STP_DIR` and `metaSMT_DIR` options.Dan Liew
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-17[cmake] Build with newer JIT (for LLVM >= 3.6)Adrian Herrera
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-07[CMake] Report git revision information if available.Dan Liew
2016-11-07Add the Dockerfile to `.dockerignore` so that changes the DockerfileDan Liew
2016-11-07Implement a CMake based build system for KLEE.Dan Liew
2016-11-03Merge pull request #491 from andreamattavelli/fix_raiseasm_macosMartinNowack
2016-11-03Adds support for Darwin platform in RaiseAsm passAndrea Mattavelli
2016-11-02Merge pull request #487 from hoangmle/masterCristian Cadar
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-18Merge pull request #484 from delcypher/fix_misleading_indentationCristian Cadar
2016-10-18Fix `-Wmisleading-indentation` warning and also correctly set theDan Liew
2016-10-14Use newer trusty-based Travis CI (#452)MartinNowack
2016-10-02Merge pull request #475 from delcypher/klee_fix_asanCristian Cadar
2016-10-01Merge pull request #426 from hoangmle/metaSMT_remove_ITE_chain_for_shiftMartinNowack
2016-09-29When building KLEE with the sanitizers make sure the runtime is notDan Liew
2016-09-29Fix bug in `AssignmentEvaluator` where NotOptimizedExpr would not (#466)Dan Liew
2016-09-29Merge pull request #474 from jirislaby/timestampCristian Cadar
2016-09-29remove mimic_stp option and the associated ITE chain construction for shift o...Hoang M. Le
2016-09-29configure: run AutoRegen.shJiri Slaby
2016-09-29configure: add option to enable timestampingJiri Slaby
2016-09-29Merge pull request #471 from domainexpert/argv-argAndrea Mattavelli
2016-09-29Fixed the description of -posix-runtime optionAndrew Santosa
2016-09-26Merge pull request #444 from andreamattavelli/refactor_warningsMartinNowack
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-15Merge pull request #372 from delcypher/stp_z3_crosscheckDan Liew
2016-09-15Rename `-debug-cross-check-core-solver` option toDan Liew
2016-09-15Correct out of date comments for some of the klee error handlingDan Liew
2016-09-15Add ``-debug-cross-check-core-solver`` option to allow cross-checkingDan Liew
2016-09-15Clang-format ``ConstructSolverChain.cpp``Dan Liew
2016-09-15Check the existence of the entry point during the initialization of the POSIX...Andrea Mattavelli
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 16:05:19 +0000