about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2017-06-02replace handleMetaSMT() with klee::createMetaSMTSolver() and move it into Met...Hoang M. Le
2017-06-01[Z3] Remove unused include.Dan Liew
2017-06-01[Z3] Add `-debug-z3-verbosity=<N>` option which behaves like Z3's `-v:<N>` op...Dan Liew
2017-06-01[Z3] Switch from `Z3_mk_simple_solver()` to `Z3_mk_solver()`.Dan Liew
2017-06-01[Z3] In `getConstraintLog()` use a separate builder from that of theDan Liew
2017-06-01[Z3] Implement API logging.Dan Liew
2017-06-01[Z3] Add option to manually validate Z3 models.Dan Liew
2017-06-01[Z3] Add the `-debug-z3-dump-queries=<path>` command line option. ThisDan Liew
2017-06-01Refactor file opening code out of `main.cpp` and intoDan Liew
2017-06-01[Z3] Move the `dump()` methods of the Z3NodeHandle<> specializationsDan Liew
2017-06-01[Z3] Add assertions in Z3 builder to catch underflow with bad widths.Dan Liew
2017-06-01[Z3] Support another solver failure reason that Z3 might give. I'm goingDan Liew
2017-05-30Merge pull request #655 from Mic92/loggingCristian Cadar
2017-05-26gitignore buildJörg Thalheim
2017-05-24Rearchitect ExternalDispatcherDan Liew
2017-05-24travis CI: add LLVM 3.5 and 3.6 testsJiri Slaby
2017-05-24llvm: make KLEE compile against LLVM 3.5 and 3.6Richard Trembecký
2017-05-24Remove redundant KLEE prefix while loggingJörg Thalheim
2017-05-23[TravisCI] Try to unbreak the build against upstream STP.Dan Liew
2017-05-02[CMake] change WARNING to FATAL_ERROR when building with a non-RTTI LLVM vers...Hoang M. Le
2017-05-02[travis] add environment variable METASMT_BOOST_VERSION to control the boost ...Hoang M. Le
2017-05-02use METASMT_REQUIRE_RTTI flag to decide whether we need RTTIHoang M. Le
2017-04-09Removed unused variable 'fake_object' in MemoryObjectAndrea Mattavelli
2017-04-08[CMake] Don't redownload FileCheck.cpp if it existsemlai
2017-04-07[travis] fix a git submodule failure of metaSMTHoang M. Le
2017-04-06Merge pull request #626 from delcypher/meta_smt_check_version_presentCristian Cadar
2017-04-06[NFC] Reindent `test/lit.cfg` and add vim mode line to use rightDan Liew
2017-04-06test: lit, add geq/lt-llvm- configsJiri Slaby
2017-04-03Merge pull request #636 from delcypher/cmake_bitcode_build_system_fixesAndrea Mattavelli
2017-03-31Merge pull request #637 from delcypher/docker_fixAndrea Mattavelli
2017-03-30[TravisCI] Make handling of `TRAVIS_OS_NAME` more robust by not assumingDan Liew
2017-03-30[Docker] Unbreak build.Dan Liew
2017-03-30[CMake] Add the `clean_runtime` top level target to provide an easy wayDan Liew
2017-03-30[CMake] When supported pass `USES_TERMINAL` argument toDan Liew
2017-03-30[CMake] Fix #631Dan Liew
2017-03-30[CMake] Try to fix bug reported by #633.Dan Liew
2017-03-30[TravisCI] Try unbreaking the TravisCI metaSMT build. Copying acrossDan Liew
2017-03-28Merge pull request #616 from jirislaby/glibc_225Cristian Cadar
2017-03-24Merge pull request #595 from andreamattavelli/travis_macosxAndrea Mattavelli
2017-03-24[Travis-CI] Added support for macOS buildAndrea Mattavelli
2017-03-24[Travis-CI] Refactored Z3 in its own scriptAndrea Mattavelli
2017-03-23Merge pull request #628 from delcypher/unbreak_build_assignment_validating_so...Andrea Mattavelli
2017-03-23[CMake] Unbreak build due to not adding AssignmentValidatingSolver.cppDan Liew
2017-03-23Add `AssignmentValidatingSolver`. It's purpose is to check any computedDan Liew
2017-03-23[TravisCI] Try to unbreak the metaSMT build.Dan Liew
2017-03-23[TravisCI] Check if `METASMT_VERSION` is set and abort if it is notDan Liew
2017-03-23Add test case to check that on early exits stats are flushedDan Liew
2017-03-23Replace `llvm:errs()` with `klee_error()` as suggested by @andreamattavelliDan Liew
2017-03-23[WIP] Fix bug where stats would not be updated on early exit caused byDan Liew
2017-03-23Merge pull request #619 from jirislaby/FD_FailCristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 21:13:03 +0000