about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
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
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-20 04:15:33 +0000