about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2017-02-14ReadExpr::create() was missing an opportunity to constant fold when handling ...Dan Liew
2017-01-18[CMake] Remove `ENABLE_TESTS` CMake cache option.Dan Liew
2017-01-18Merge pull request #546 from delcypher/cmake_rename_test_targetsCristian Cadar
2017-01-16[CMake] If CMP0037 policy is available set it to NEW so that weDan Liew
2017-01-16[CMake] Only add dependencies to `check` if the target is enabled.Dan Liew
2017-01-16Remove undocumented and unused `check-local`, `check-dg` and `check-lit`Dan Liew
2017-01-16Rename old build system targets so thatDan Liew
2017-01-16[CMake] Rename "integrationtests" to "systemtests".Dan Liew
2017-01-16Merge pull request #566 from delcypher/fix_libkleeruntestAndrea Mattavelli
2017-01-14Change how error handling is done in libkleeRuntest.Dan Liew
2017-01-14Fix bug reported privately by @danielschemmel .Dan Liew
2017-01-14Write tests to test `libkleeRuntest`. The `replay_posix_runtime.c`Dan Liew
2017-01-08tests: Added substitution for llvm-arAdrian Herrera
2016-12-28Fix two issues with AC_LINK_IFELSE for metaSMT:Hoang M. Le
2016-12-28Changed preferred permissions from 0622 to the more standard 0644.Cristian Cadar
2016-12-23rerun lit tests for non-default metaSMT backendsHoang M. Le
2016-12-23Merge pull request #552 from delcypher/macos_fixesCristian Cadar
2016-12-19Fix -Wformat warnings emitted by Apple Clang (800.0.42.1).Dan Liew
2016-12-19[CMake] Fix linker warning about mixed linking modes when LLVM wasDan Liew
2016-12-18Merge pull request #549 from delcypher/fix_travisci_errexitCristian Cadar
2016-12-18CMake: Fixed the LLVM version regexAdrian Herrera
2016-12-18[TravisCI] When building with the old build system move backDan Liew
2016-12-18[TravisCI] Remove `set +e` commands so that when running tests we failDan Liew
2016-12-17[TravisCI] Fix bug where TravisCI build scripts would carry on executingDan Liew
2016-12-15Merge pull request #542 from adrianherrera/typo-fixAndrea Mattavelli
2016-12-15Typo fix when compiling with LLVM 3.5 and aboveAdrian Herrera
2016-12-10Merge pull request #537 from delcypher/cmake_fix_tcmalloc_rebuildCristian Cadar
2016-12-09[CMake] Fix bug where if KLEE was built with `ENABLE_TCMALLOC`Dan Liew
2016-12-09Merge pull request #535 from delcypher/cmake_fix_bitcode_rebuild_on_flag_changeCristian Cadar
2016-12-04Merge pull request #529 from delcypher/travis_ci_config_clean_upCristian Cadar
2016-12-03[CMake] Fix bug in the Makefile bitcode build system where the runtimeDan Liew
2016-12-03[CMake] Fix bug in the Makefile bitcode build system where the runtimeDan Liew
2016-12-02[TravisCI] Clean up the configuration matrix.Dan Liew
2016-12-02[TravisCI] Fix the list of available configuration environmentDan Liew
2016-12-02Fixed the issue of klee-stats not being copied to bin/Cristian Cadar
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-11 05:03:17 +0000