{"push_id":1328739487,"size":21,"distinct_size":1,"ref":"refs/heads/ThreadAnalysis","head":"eb852dfd251f761965278173f4b717d48f21764f","before":"c2c799d3e48413032bb04e7403fbe0fe51bba1fb","commits":[{"sha":"5fba88a357be8c07f641d4be4f55055cf51d4798","author":{"name":"Egor Andrianov@","email":"55ef5b1860e23faa91b93901dba1541e750797d7@gmail.com"},"message":"New test for shared analysis","distinct":false,"url":"https://api.github.com/repos/mutilin/cpachecker-ldv/commits/5fba88a357be8c07f641d4be4f55055cf51d4798"},{"sha":"faf7ca3a41ea49d228594ab78f9c2ee8cbc93330","author":{"name":"Pavel","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@ispras.ru"},"message":"Merge branch 'NewRefinementStrategy' of https://github.com/mutilin/cpachecker-ldv into NewRefinementStrategy","distinct":false,"url":"https://api.github.com/repos/mutilin/cpachecker-ldv/commits/faf7ca3a41ea49d228594ab78f9c2ee8cbc93330"},{"sha":"1d4f5efd9e9b823513da4fa4be9a591b2222390e","author":{"name":"Egor Andrianov@","email":"55ef5b1860e23faa91b93901dba1541e750797d7@gmail.com"},"message":"Changed type of transferRelation to LocalTransferRelation","distinct":false,"url":"https://api.github.com/repos/mutilin/cpachecker-ldv/commits/1d4f5efd9e9b823513da4fa4be9a591b2222390e"},{"sha":"f579a5b29ae30d98befd45f2c7e397c3eb9bd449","author":{"name":"Egor Andrianov@","email":"55ef5b1860e23faa91b93901dba1541e750797d7@gmail.com"},"message":"SharedRefiner was implemented","distinct":false,"url":"https://api.github.com/repos/mutilin/cpachecker-ldv/commits/f579a5b29ae30d98befd45f2c7e397c3eb9bd449"},{"sha":"f341980f1085907bfa8fee6ad0cd025125bbf4ef","author":{"name":"Pavel","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@ispras.ru"},"message":"Code style, refactoring","distinct":false,"url":"https://api.github.com/repos/mutilin/cpachecker-ldv/commits/f341980f1085907bfa8fee6ad0cd025125bbf4ef"},{"sha":"4d27bd8d37cf3638c7bae41e3c6b6e414a1dd819","author":{"name":"Pavel","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@ispras.ru"},"message":"Add statistics to SharedRefiner","distinct":false,"url":"https://api.github.com/repos/mutilin/cpachecker-ldv/commits/4d27bd8d37cf3638c7bae41e3c6b6e414a1dd819"},{"sha":"86eb9074df1471f61e8b815d60c7867dc596f148","author":{"name":"Pavel","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@ispras.ru"},"message":"Temporary add Shared config to Lock properties\n\nRefiner has no access to the configuration of the Shared Analysis","distinct":false,"url":"https://api.github.com/repos/mutilin/cpachecker-ldv/commits/86eb9074df1471f61e8b815d60c7867dc596f148"},{"sha":"e1e87c0a6303286ea9284fe4946515ee30e453d2","author":{"name":"Pavel","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@ispras.ru"},"message":"Remove duplicate option","distinct":false,"url":"https://api.github.com/repos/mutilin/cpachecker-ldv/commits/e1e87c0a6303286ea9284fe4946515ee30e453d2"},{"sha":"0ab86d0287cb0b191ec640b0e3ff97c61ee0064e","author":{"name":"Pavel","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@ispras.ru"},"message":"Replace the output stream from system.out to the statistics file","distinct":false,"url":"https://api.github.com/repos/mutilin/cpachecker-ldv/commits/0ab86d0287cb0b191ec640b0e3ff97c61ee0064e"},{"sha":"b27606e61549b87dee0d28a8a05bb9ff8e599f03","author":{"name":"Pavel","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@ispras.ru"},"message":"Return true as refinement result in SharedRefiner if the successors are empty","distinct":false,"url":"https://api.github.com/repos/mutilin/cpachecker-ldv/commits/b27606e61549b87dee0d28a8a05bb9ff8e599f03"},{"sha":"32cc022f91bd28f9f7d96422b57b10f4e7ab55d7","author":{"name":"Egor Andrianov@","email":"55ef5b1860e23faa91b93901dba1541e750797d7@gmail.com"},"message":"Sharedness check was moved to the line of usage","distinct":false,"url":"https://api.github.com/repos/mutilin/cpachecker-ldv/commits/32cc022f91bd28f9f7d96422b57b10f4e7ab55d7"},{"sha":"587bb1c593065c227f0c280819379522e299eddf","author":{"name":"Pavel","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@ispras.ru"},"message":"Hide an internal method by protected modifier","distinct":false,"url":"https://api.github.com/repos/mutilin/cpachecker-ldv/commits/587bb1c593065c227f0c280819379522e299eddf"},{"sha":"14c0f0cda75f570f10f982c9ff42708e13133d83","author":{"name":"Egor Andrianov@","email":"55ef5b1860e23faa91b93901dba1541e750797d7@gmail.com"},"message":"Printing information from SharedRefiner was added","distinct":false,"url":"https://api.github.com/repos/mutilin/cpachecker-ldv/commits/14c0f0cda75f570f10f982c9ff42708e13133d83"},{"sha":"765b20a423537c6304598f79c4ac1d0ba7f73a00","author":{"name":"Pavel","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@ispras.ru"},"message":"Add one more test","distinct":false,"url":"https://api.github.com/repos/mutilin/cpachecker-ldv/commits/765b20a423537c6304598f79c4ac1d0ba7f73a00"},{"sha":"306657ce320b8574ba6c22309006eafb1b9b02b7","author":{"name":"Egor Andrianov@","email":"55ef5b1860e23faa91b93901dba1541e750797d7@gmail.com"},"message":"StatInt counter was added","distinct":false,"url":"https://api.github.com/repos/mutilin/cpachecker-ldv/commits/306657ce320b8574ba6c22309006eafb1b9b02b7"},{"sha":"b3176d32a1be38811b2215363be10df541864957","author":{"name":"Egor Andrianov@","email":"55ef5b1860e23faa91b93901dba1541e750797d7@gmail.com"},"message":"Merge branch 'NewRefinementStrategy' of https://github.com/mutilin/cpachecker-ldv into NewRefinementStrategy","distinct":false,"url":"https://api.github.com/repos/mutilin/cpachecker-ldv/commits/b3176d32a1be38811b2215363be10df541864957"},{"sha":"27fdd71ac21ce31d5d3811ccf0c7ddfda71843ac","author":{"name":"Egor Andrianov@","email":"55ef5b1860e23faa91b93901dba1541e750797d7@gmail.com"},"message":"AbstractIdentifier was added to construstor of UsageInfo","distinct":false,"url":"https://api.github.com/repos/mutilin/cpachecker-ldv/commits/27fdd71ac21ce31d5d3811ccf0c7ddfda71843ac"},{"sha":"64d764b5dc70c6701e3c057430291fa645499358","author":{"name":"Egor Andrianov@","email":"55ef5b1860e23faa91b93901dba1541e750797d7@gmail.com"},"message":"Owner was added to StructureFieldIdentifier","distinct":false,"url":"https://api.github.com/repos/mutilin/cpachecker-ldv/commits/64d764b5dc70c6701e3c057430291fa645499358"},{"sha":"5e7557fdef595656391ce1cade6a0009ba9b279d","author":{"name":"Egor Andrianov@","email":"55ef5b1860e23faa91b93901dba1541e750797d7@gmail.com"},"message":"GeneralStructureFieldIdentifier constructor was changed according to the\nprevious changes.","distinct":false,"url":"https://api.github.com/repos/mutilin/cpachecker-ldv/commits/5e7557fdef595656391ce1cade6a0009ba9b279d"},{"sha":"e57bec78f72d408abb4a6812044972324df298d4","author":{"name":"Pavel","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@ispras.ru"},"message":"Merge branch 'MultipleUsageContainer' into NewRefinementStrategy\n\nConflicts:\n\tsrc/org/sosy_lab/cpachecker/cpa/usagestatistics/UsageInfo.java","distinct":false,"url":"https://api.github.com/repos/mutilin/cpachecker-ldv/commits/e57bec78f72d408abb4a6812044972324df298d4"}]}
{"actor":{"display_login":"AndrianovPavel"}}