about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
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
2016-06-30Dockerfile: link binaries to /usr/binDomenico Fabio Marino
2016-06-28Added test case exposing division by zero failure reported by @kren1, and rec...Cristian Cadar
2016-06-28Merge pull request #417 from hoangmle/fix_constructSDIvByConstant_metaSMTMartinNowack
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-24Merge pull request #394 from andreamattavelli/refactoring_runindirCristian Cadar
2016-06-23Merge pull request #415 from andreamattavelli/termination_infoCristian Cadar
2016-06-23Merge pull request #409 from hoangmle/fix_metaSMTCristian 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 travis_wait to allow long running testsHoang
2016-06-10add entries for metaSMT with btor/stp/z3 in Travis CIHoang M. Le
2016-06-10use default metaSMT solver as defined in configurationHoang M. Le
2016-06-10add --with-metasmt-default-solver option to configureHoang M. Le
2016-06-10add metaSMT to travisHoang
2016-06-10update Makefile for metaSMTHoang M. Le
2016-06-10metaSMT does not require RTTIHoang M. Le
2016-06-10clean up metaSMT includesHoang M. Le
2016-06-04Merge pull request #412 from MartinNowack/fix_travisciMartinNowack
2016-06-04Deactivate officiall llvm source. Use alternative ppaMartin Nowack
2016-06-04Do not install clang-3.4 if not neededMartin Nowack
2016-05-31Merge pull request #405 from ccadar/timesCristian Cadar
2016-05-28Fixed an incorrect read() invocation and missing includes for FD_Fail2.cCristian Cadar
2016-05-27Merge pull request #396 from andreamattavelli/fix_kleaver_parserCristian Cadar
2016-05-27Improved help message for POSIX environment options.Cristian Cadar
2016-05-27Merge pull request #397 from andreamattavelli/refactoring_stdinCristian Cadar
2016-05-27Fixed the stub for times() not to dereference a NULL pointer when call with a...Cristian Cadar
2016-05-25Merge pull request #398 from hoangmle/masterMartinNowack
2016-05-25add entry for llvm-2.9 and z3Hoang M. Le
2016-05-25add include in Z3Solver.cpp (did not compile with llvm-2.9)Hoang M. Le
2016-05-24Split creation of symbolic files and stdin in two distinct optionsAndrea Mattavelli
2016-05-24Fixed bug #375 in Kleaver's parserAndrea Mattavelli
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 16:21:41 +0000