about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2016-11-02Merge pull request #487 from hoangmle/masterCristian Cadar
2016-10-27apply clang-formatHoang M. Le
2016-10-27update commentsHoang M. Le
2016-10-27upgrade to boolector-2.2.0 & remove the no longer needed aux array vectorHoang M. Le
2016-10-26move the query creation part into runAndGetCex() (to be consistent with runAn...Hoang M. Le
2016-10-26change signature of runAndGetCex() to match runAndGetCexForked()Hoang M. Le
2016-10-26remove outdated FIXME (metaSMT-Z3 implements assumption via push/pop)Hoang M. Le
2016-10-18Merge pull request #484 from delcypher/fix_misleading_indentationCristian Cadar
2016-10-18Fix `-Wmisleading-indentation` warning and also correctly set theDan Liew
2016-10-14Use newer trusty-based Travis CI (#452)MartinNowack
2016-10-02Merge pull request #475 from delcypher/klee_fix_asanCristian Cadar
2016-10-01Merge pull request #426 from hoangmle/metaSMT_remove_ITE_chain_for_shiftMartinNowack
2016-09-29When building KLEE with the sanitizers make sure the runtime is notDan Liew
2016-09-29Fix bug in `AssignmentEvaluator` where NotOptimizedExpr would not (#466)Dan Liew
2016-09-29Merge pull request #474 from jirislaby/timestampCristian Cadar
2016-09-29remove mimic_stp option and the associated ITE chain construction for shift o...Hoang M. Le
2016-09-29configure: run AutoRegen.shJiri Slaby
2016-09-29configure: add option to enable timestampingJiri Slaby
2016-09-29Merge pull request #471 from domainexpert/argv-argAndrea Mattavelli
2016-09-29Fixed the description of -posix-runtime optionAndrew Santosa
2016-09-26Merge pull request #444 from andreamattavelli/refactor_warningsMartinNowack
2016-09-26Modified logging information to steer the usage of klee_message, klee_warning...Andrea Mattavelli
2016-09-20Merge pull request #443 from MartinNowack/feat_assembler_raisingCristian Cadar
2016-09-16Avoid internalization of non-standard entry point (i.e. not the main function...Andrea Mattavelli
2016-09-15Merge pull request #372 from delcypher/stp_z3_crosscheckDan Liew
2016-09-15Rename `-debug-cross-check-core-solver` option toDan Liew
2016-09-15Correct out of date comments for some of the klee error handlingDan Liew
2016-09-15Add ``-debug-cross-check-core-solver`` option to allow cross-checkingDan Liew
2016-09-15Clang-format ``ConstructSolverChain.cpp``Dan Liew
2016-09-15Check the existence of the entry point during the initialization of the POSIX...Andrea Mattavelli
2016-09-02Merge pull request #463 from delcypher/fix_gtest_buildDan Liew
2016-09-01Try to unbreak the TravisCI and Docker builds.Dan Liew
2016-08-19Merge pull request #453 from andreamattavelli/fix_save_writes_docCristian Cadar
2016-08-19Added -save-all-writes to klee_init_env help messageAndrea Mattavelli
2016-08-19Merge pull request #462 from giacomoguerci/masterCristian Cadar
2016-08-16[Klee Web] Link libkleeRuntest library to fix coverage reportGiacomo Guerci
2016-08-10Extended support for assembler raisingMartin Nowack
2016-08-10Merge pull request #451 from andreamattavelli/fix_ub_ptreeMartinNowack
2016-08-09Fix to PTree pointer use-after-delete undefined behaviorAndrea Mattavelli
2016-08-08Merge pull request #447 from hutoTUM/fix-klee_get_obj_sizeMartinNowack
2016-08-08Fix for klee_get_obj_size() crashing on 64-bit, resolves #446hutoTUM
2016-08-08Merge pull request #450 from andreamattavelli/fix_to_strerrorCristian Cadar
2016-08-08Use LLVM-based functions to print errnoAndrea Mattavelli
2016-08-06Merge pull request #448 from andreamattavelli/fix_query_compressionMartinNowack
2016-08-06Fix to #445Andrea Mattavelli
2016-08-04Merge pull request #441 from jirislaby/exit-on-error-typeCristian Cadar
2016-08-04klee: add exit-on-error-type parameterJiri Slaby
2016-08-03Merge pull request #439 from jirislaby/fprintfCristian Cadar
2016-08-03fprintf: convert to klee_warningJiri Slaby
2016-08-02Merge pull request #438 from jirislaby/memuseMartinNowack
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-11 04:57:40 +0000