about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
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-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
2017-02-21Merge pull request #514 from delcypher/fix_klee_get_direct_call_bitcast_weak_...Andrea Mattavelli
2017-02-21fix metaSMT versionHoang M. Le
2017-02-21Teach `klee::getDirectCallTarget()` to resolve weak aliases. This isDan Liew
2017-02-21Add test case that causes an assertion failure in `klee::getDirectCallTarget(...Dan Liew
2017-02-20Merge pull request #596 from andreamattavelli/fix_readexpr_testsCristian Cadar
2017-02-16Silenced warning: comparison of integers of different signs ('const int' and ...Andrea Mattavelli
2017-02-14Increased the type size for the stop-after-n-instructions option to avoid too...Andrea Mattavelli
2017-02-14Fix linker compatibility under macOSAndrea Mattavelli
2017-02-14Merge pull request #574 from delcypher/read_expr_missed_constaint_foldAndrea Mattavelli
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-21 19:44:51 +0000