about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
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
2017-03-23remove special handling of metaSMT_CXXFLAGS (unnecessary now as we use a fixe...Hoang M. Le
2017-03-23[travis] build metaSMT without C++11Hoang M. Le
2017-03-23[travis] use a proper version of metaSMT via environment variable METASMT_VER...Hoang M. Le
2017-03-21Merge pull request #617 from jirislaby/no-warnCristian Cadar
2017-03-20runtime: POSIX, check path prior dereferenceJiri Slaby
2017-03-17test: POSIX, stop FD_Fail to failJiri Slaby
2017-03-17test: fix 'not' buildJiri Slaby
2017-03-15Fix test case for OSX: only weak aliases are supported on darwinAndrea Mattavelli
2017-03-15[Lit] Add system information (linux/darwim) to LIT configuration. Added 'not-...Dan Liew
2017-03-15runtime: POSIX, make it compile with glibc 2.25Jiri Slaby
2017-03-07Merge pull request #608 from jirislaby/kill_testAndrea Mattavelli
2017-03-06Merge pull request #614 from jirislaby/DirSeekCristian Cadar
2017-03-06test: ConstantExpr, fix bogus testJiri Slaby
2017-03-06Merge pull request #611 from jirislaby/getDirectCallTargetAndrea Mattavelli
2017-03-06test: POSIX/DirSeek, cleanupJiri Slaby
2017-03-06Merge pull request #609 from ccadar/warningsAndrea Mattavelli
2017-03-05Merge pull request #607 from jirislaby/dispatcherAndrea Mattavelli
2017-03-05Merge pull request #606 from jirislaby/ObjectFileCristian Cadar
2017-03-03Merge pull request #613 from ccadar/minor2Andrea Mattavelli
2017-03-03Moved printFileLine() to be part of KInstructionCristian Cadar
2017-03-03Merge pull request #589 from gladtbx/klee_fix_pathOSAndrea Mattavelli
2017-03-03Merge pull request #612 from ccadar/minorAndrea Mattavelli
2017-03-03Using klee_message instead of llvm:errsCristian Cadar
2017-03-01fix for PathOS.idgladtbx
2017-03-01Core: explicitly create CallSite from InstructionJiri Slaby
2017-03-01Updated test cases that check warning messages.Cristian Cadar
2017-03-01Added new option --warnings-only-to-file which causes warnings to be written ...Cristian Cadar
2017-03-01Merge pull request #604 from jirislaby/add_castsAndrea Mattavelli
2017-02-28Core: MCJIT functions need unique namesJiri Slaby
2017-02-28convert iterators using static_castJiri Slaby
2017-02-28Module: simplify is_object checksJiri Slaby
2017-02-28Merge pull request #547 from delcypher/fix_alignment_of_alloc_memoryCristian Cadar
2017-02-27Merge pull request #600 from jirislaby/no_global_contextCristian Cadar
2017-02-25llvm: stop using global contextJiri Slaby
2017-02-24Teach KLEE to respect the requested memory alignment of globals and stackDan Liew
2017-02-24Merge pull request #603 from jirislaby/no_list_copyAndrea Mattavelli
2017-02-23CommandLine: do not copy list in optionIsSetJiri Slaby
2017-02-22Merge pull request #599 from jirislaby/de_registerAndrea Mattavelli
2017-02-22Makefile: change -std-compile-opts to -O3Richard Trembecký
2017-02-22klee: remove use of deprecated 'register'Jiri Slaby
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 12:29:59 +0000