about summary refs log tree commit diff homepage
path: root/lib
AgeCommit message (Expand)Author
2016-09-15Add ``-debug-cross-check-core-solver`` option to allow cross-checkingDan Liew
2016-09-15Clang-format ``ConstructSolverChain.cpp``Dan Liew
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-06Fix to #445Andrea Mattavelli
2016-08-04klee: add exit-on-error-type parameterJiri Slaby
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-11Executor: do not crash on non-sized globalsJiri Slaby
2016-07-10Fix parsing of deterministic address.Martin Nowack
2016-07-09Fix variable shifting behavior with different sizesMartin Nowack
2016-07-08Clang-formated MemoryManagerMartin Nowack
2016-07-08Add deterministic allocation of memoryMartin Nowack
2016-07-08Handle aligned varargs allignment correctlyMartin Nowack
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-08Support gzip-based compression of raw_outstreamsMartin Nowack
2016-07-08Add feature to dump statistics after n instructionsMartin Nowack
2016-06-28add assertions to check the pre-condition of bvVar*Shift that both operands h...Hoang M. Le
2016-06-27change bitwidth of expr_shpost in MetaSMTBuilder::constructSDivByConstant to ...Hoang M. Le
2016-06-23Merge pull request #415 from andreamattavelli/termination_infoCristian Cadar
2016-06-23Use klee_message for timeout informationAndrea Mattavelli
2016-06-10apply clang-formatHoang M. Le
2016-06-10remove now unused getShiftBits()Hoang M. Le
2016-06-10remove bitmasking shift amount in bvVarArithRightShiftHoang M. Le
2016-06-10remove bitmasking shift amount in bvVarRightShiftHoang M. Le
2016-06-10remove bitmasking shift amount in bvVarLeftShiftHoang M. Le
2016-06-10remove bitmasking shift amount in constructAShrByConstant and make it return ...Hoang M. Le
2016-06-10remove bitmasking shift amount in bvRightShiftHoang M. Le
2016-06-10remove bitmasking shift amount in bvLeftShiftHoang M. Le
2016-06-10handle special cases of sdiv 1 and -1Hoang M. Le
2016-06-10rename the configure option --with-metasmt-default-solver to --with-metasmt-d...Hoang M. Le
2016-06-10use default metaSMT solver as defined in configurationHoang M. Le
2016-06-10update Makefile for metaSMTHoang M. Le
2016-06-10clean up metaSMT includesHoang M. Le
2016-05-27Merge pull request #396 from andreamattavelli/fix_kleaver_parserCristian Cadar
2016-05-25add include in Z3Solver.cpp (did not compile with llvm-2.9)Hoang M. Le
2016-05-24Fixed bug #375 in Kleaver's parserAndrea Mattavelli
2016-05-18Modified -debug-print-instructions to allow to write directly on log file.Andrea Mattavelli
2016-04-19Merge pull request #369 from MartinNowack/fix_determ_solver_arrayMartinNowack
2016-04-17Merge pull request #359 from delcypher/fix_indep_solver_bugCristian Cadar
2016-04-14Disabling --solver-optimize-divides by default, as the optimization is curren...Cristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 01:56:29 +0000