about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2016-11-30Fixing current version of STP in Dockerfile (see #505) to 2.1.2Cristian Cadar
2016-11-29Merge pull request #516 from delcypher/fix_compareAndrea Mattavelli
2016-11-28Clean up `Expr::compare()` interface byDan Liew
2016-11-28Remove default implementation of `Expr::compareContents(const Expr&)`Dan Liew
2016-11-28Fix bug in implementation of `NotExpr`. It should not implementDan Liew
2016-11-23Renamed .pc to .kquery (kleaver query)Eric Rizzi
2016-11-23[CMake] Fix some indentation issues.Dan Liew
2016-11-23[CMake] Fix bug where the wrong path is checked for when checkingDan Liew
2016-11-22[CMake] Fix determining the system libraries needed by LLVM fromDan Liew
2016-11-22[CMake] Add another missing LLVM component dependency for `kleeModule`.Dan Liew
2016-11-22[CMake] Fix link order of LLVM libraries and required system libraries.Dan Liew
2016-11-22[CMake] Add missing dependencies reported in #507.Dan Liew
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-21 18:07:09 +0000