about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2016-12-03[CMake] Fix bug in the Makefile bitcode build system where the runtimeDan Liew
2016-12-02CMake: support LLVMCC.ExtraFlagsJiri Slaby
2016-12-01Merge pull request #523 from delcypher/remove_klee_tag_outputCristian Cadar
2016-12-01Added among the external calls that we modelAndrea Mattavelli
2016-11-30Merge pull request #522 from ccadar/masterCristian Cadar
2016-11-30Remove support for reporting the approximate git tag.Dan Liew
2016-11-30Release notes for 1.3.0Cristian Cadar
2016-11-30Increasing version to 1.3.0Cristian Cadar
2016-11-30Merge pull request #520 from ccadar/masterCristian Cadar
2016-11-30Switched to STP 2.1.2 on Travis CI buildsCristian Cadar
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-27 12:30:19 +0000