about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
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
2016-08-02MemoryUsage: fix GetTotalMallocUsageJiri Slaby
2016-07-31Merge pull request #422 from ccadar/div-zero-testCristian Cadar
2016-07-29Explicitely making division total in STP.Cristian Cadar
2016-07-22Merge pull request #425 from jirislaby/globalsCristian Cadar
2016-07-11Executor: do not crash on non-sized globalsJiri Slaby
2016-07-10Merge pull request #428 from MartinNowack/fix_determ_addressMartinNowack
2016-07-10Fix parsing of deterministic address.Martin Nowack
2016-07-09Merge pull request #377 from MartinNowack/fix_div_constantMartinNowack
2016-07-09Fix variable shifting behavior with different sizesMartin Nowack
2016-07-09Merge pull request #363 from MartinNowack/feat_determ_allocatorMartinNowack
2016-07-08Clang-formated MemoryManagerMartin Nowack
2016-07-08Add deterministic allocation of memoryMartin Nowack
2016-07-08Handle aligned varargs allignment correctlyMartin Nowack
2016-07-08Merge pull request #362 from MartinNowack/feat_determ_state_selectionMartinNowack
2016-07-08Generate forked states for switch instructions deterministicallyMartin Nowack
2016-07-08Use vector instead of set to add/remove statesMartin Nowack
2016-07-08IterativeDeepeningTimeSearcher: Fix using wrong iteratorMartin Nowack
2016-07-08Refactoring: Extract method to dump remaining statesMartin Nowack
2016-07-08Merge pull request #391 from MartinNowack/feat_zipstream_compressMartinNowack
2016-07-08Merge pull request #410 from MartinNowack/feat_log_after_stepsMartinNowack
2016-07-08Support gzip-based compression of raw_outstreamsMartin Nowack
2016-07-08Add feature to dump statistics after n instructionsMartin Nowack
2016-06-30Merge pull request #424 from helicopter88/masterMartinNowack
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 15:08:14 +0000