{"push_id":1458598205,"size":238,"distinct_size":238,"ref":"refs/heads/trunk","head":"66e083b0149b705d10ebe8b8e369974c2da8e777","before":"10fa125414d3a4b4e51a9fe8f8adecdfa2b18c55","commits":[{"sha":"264932ecd0eb5badf72b4441980c098b1085ccd5","author":{"name":"vasilyev","email":"f870451e33da55944e0e7f96ddf4ebddf5b2d56d@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"SMGCPA: branch for performance improvements\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/smg_performance@22395 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/264932ecd0eb5badf72b4441980c098b1085ccd5"},{"sha":"69737dc6edac2206208ee900da9d396a6225a8e9","author":{"name":"vasilyev","email":"f870451e33da55944e0e7f96ddf4ebddf5b2d56d@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"SMGCPA: improve HasValueFilter for objects\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/smg_performance@22396 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/69737dc6edac2206208ee900da9d396a6225a8e9"},{"sha":"8d188ee385107fa93b6979bbcac127790052a175","author":{"name":"vasilyev","email":"f870451e33da55944e0e7f96ddf4ebddf5b2d56d@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"SMGCPA: replace BitSet getNullBytesForObject() function to be independent from object size\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/smg_performance@22397 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/8d188ee385107fa93b6979bbcac127790052a175"},{"sha":"189c75cc937d25d20125a399ab6b96d39501f01e","author":{"name":"vasilyev","email":"f870451e33da55944e0e7f96ddf4ebddf5b2d56d@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"SMGCPA: replace BitSet getNullBytesForObject() function on join\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/smg_performance@22398 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/189c75cc937d25d20125a399ab6b96d39501f01e"},{"sha":"87f989217cca630e391c83d4e158eb1a3dc42817","author":{"name":"vasilyev","email":"f870451e33da55944e0e7f96ddf4ebddf5b2d56d@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"SMGCPA: replace BitSet getNullBytesForObject() function on checkResultConsistency\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/smg_performance@22404 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/87f989217cca630e391c83d4e158eb1a3dc42817"},{"sha":"09f63d855fc4d60fa61a169a6e380a69ce87c2d8","author":{"name":"vasilyev","email":"f870451e33da55944e0e7f96ddf4ebddf5b2d56d@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"SMGCPA: replace BitSet getNullBytesForObject() function on joinFieldsRelaxStatus\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/smg_performance@22405 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/09f63d855fc4d60fa61a169a6e380a69ce87c2d8"},{"sha":"35fafdee4d461cd7d728f01a3f4d3a435ae676c9","author":{"name":"vasilyev","email":"f870451e33da55944e0e7f96ddf4ebddf5b2d56d@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"SMGCPA: add Override annotation\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/smg_performance@22406 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/35fafdee4d461cd7d728f01a3f4d3a435ae676c9"},{"sha":"98c7fbf1c705d854cb8695bc8fbb01880a8fb3eb","author":{"name":"vasilyev","email":"f870451e33da55944e0e7f96ddf4ebddf5b2d56d@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"SMGCPA: remove BitSet getNullBytesForObject() function and comparison assertions\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/smg_performance@22407 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/98c7fbf1c705d854cb8695bc8fbb01880a8fb3eb"},{"sha":"1200ab14b5163274fd0b5a3bdb8a35b4f87ba806","author":{"name":"vasilyev","email":"f870451e33da55944e0e7f96ddf4ebddf5b2d56d@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"SMGCPA: change criteria for skipping objects at consistency check\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/smg_performance@22408 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/1200ab14b5163274fd0b5a3bdb8a35b4f87ba806"},{"sha":"8e1c4b9ce30eacc007fad41e373c3e51cec37740","author":{"name":"vasilyev","email":"f870451e33da55944e0e7f96ddf4ebddf5b2d56d@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"SMGCPA: unknown dereference is too strict for case with predicates\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/smg_performance@22409 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/8e1c4b9ce30eacc007fad41e373c3e51cec37740"},{"sha":"e099119d296d530c27e43c9f893e343019d32380","author":{"name":"vasilyev","email":"f870451e33da55944e0e7f96ddf4ebddf5b2d56d@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"SMGCPA: fix nextNotBullBit calculation\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/smg_performance@22421 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/e099119d296d530c27e43c9f893e343019d32380"},{"sha":"c3ffda8f34b99c47d778ee05ec9da7970747faf6","author":{"name":"vasilyev","email":"f870451e33da55944e0e7f96ddf4ebddf5b2d56d@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"SMGCPA: BitField handle prototype\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/smg_performance@22678 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/c3ffda8f34b99c47d778ee05ec9da7970747faf6"},{"sha":"e1fe7bb53e9e1496035aa6a7cfccad865d1ad6cc","author":{"name":"vasilyev","email":"f870451e33da55944e0e7f96ddf4ebddf5b2d56d@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"SMGCPA: Switch type size precision from byte to bit level.\nSupport GCC extension zero length array\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/smg_performance@22695 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/e1fe7bb53e9e1496035aa6a7cfccad865d1ad6cc"},{"sha":"d6ff28247310f880f453660b475f6c9a2af24103","author":{"name":"vasilyev","email":"f870451e33da55944e0e7f96ddf4ebddf5b2d56d@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"SMGCPA: BitField handle prototype fix additional places with byte size\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/smg_performance@22698 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/d6ff28247310f880f453660b475f6c9a2af24103"},{"sha":"0efaeddb894fd49a5d59ebdccba6a041cc0f40a4","author":{"name":"vasilyev","email":"f870451e33da55944e0e7f96ddf4ebddf5b2d56d@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"SMGCPA: BitField handle prototype fix 2 additional places with byte size\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/smg_performance@22718 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/0efaeddb894fd49a5d59ebdccba6a041cc0f40a4"},{"sha":"7c134b368afff83a53f6b037ce34ac41376bce73","author":{"name":"vasilyev","email":"f870451e33da55944e0e7f96ddf4ebddf5b2d56d@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"SMGCPA: BitField handle prototype. Change size visitor\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/smg_performance@22719 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/7c134b368afff83a53f6b037ce34ac41376bce73"},{"sha":"2c7cb34cd43f02e486b5aa8d21f13253795ca4dc","author":{"name":"vasilyev","email":"f870451e33da55944e0e7f96ddf4ebddf5b2d56d@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"SMGCPA: BitField handle prototype + Allow unknownWrite with predicate enabled\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/smg_performance@22725 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/2c7cb34cd43f02e486b5aa8d21f13253795ca4dc"},{"sha":"aead3aeeb065efa4b009e3e2b17b6ea053047b72","author":{"name":"vasilyev","email":"f870451e33da55944e0e7f96ddf4ebddf5b2d56d@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"SMGCPA: BitField handle prototype. Pointer arithmetic fix\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/smg_performance@22736 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/aead3aeeb065efa4b009e3e2b17b6ea053047b72"},{"sha":"a2f937d8c32e85063d6775862274c43cec78050c","author":{"name":"vasilyev","email":"f870451e33da55944e0e7f96ddf4ebddf5b2d56d@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"SMGCPA: BitField handle prototype. Fix memset\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/smg_performance@22742 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/a2f937d8c32e85063d6775862274c43cec78050c"},{"sha":"be8b087a98cb49ef5069a164432225de2ddc8967","author":{"name":"vasilyev","email":"f870451e33da55944e0e7f96ddf4ebddf5b2d56d@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"SMGCPA: BitField handle prototype. Evaluate offset for address arithmetic\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/smg_performance@22751 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/rcastano/cpachecker-1/commits/be8b087a98cb49ef5069a164432225de2ddc8967"}]}
{"actor":{"display_login":"rcastano"}}