about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2017-02-14Refactoring code to improve readability by using UINT32/64_C macrosAndrea Mattavelli
2017-02-14Fixed assertion invocation: We were invoking bits64::truncateToNBits with a w...Andrea Mattavelli
2017-02-14Added pre/post conditions as assertionsAndrea Mattavelli
2017-02-14Added unit tests for ReadExpr::create() to check that constant folding is cor...Andrea Mattavelli
2017-02-14ReadExpr::create() was missing an opportunity to constant fold when handling ...Dan Liew
2017-02-14Merge pull request #590 from ccadar/stp-fork-errorAndrea Mattavelli
2017-02-14Added error message when STP fails to fork.Cristian Cadar
2017-02-14Merge pull request #592 from ccadar/remove-SMTAndrea Mattavelli
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-13Merge pull request #588 from klee/revert-587-fix_stop_instructionsAndrea Mattavelli
2017-02-13Revert "Increased the type size for the stop-after-n-instructions option to a...Cristian Cadar
2017-02-13Merge pull request #587 from andreamattavelli/fix_stop_instructionsCristian Cadar
2017-02-13Increased the type size for the stop-after-n-instructions option to avoid too...Andrea Mattavelli
2017-02-11[CMake] More widely available rebuilding for runtimesLevente Kurusa
2017-02-10Merge pull request #582 from jirislaby/varargCristian Cadar
2017-02-10test: fix broken Vararg testMartijn Thé
2017-01-28[cmake] add PATH_SUFFIXES needed to find z3 on FedoraKevin Laeufer
2017-01-19In legacy build system fix building libkleeRuntest when buildingDan Liew
2017-01-19Teach both build systems to pass the user provided CXXFLAGS and CFLAGSDan Liew
2017-01-19Fix the Autoconf/Makefile build system when building with coverageDan Liew
2017-01-19[TravisCI] Modify TravisCI/Docker build scripts to support doing ASan/UBSan b...Dan Liew
2017-01-19Fix `Feature/MemoryLimit.c` test when building KLEE with ASan.Dan Liew
2017-01-18Merge pull request #569 from delcypher/cmake_remove_enable_tests_optionAndrea Mattavelli
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 21:57:01 +0000