{"push_id":2358503289,"size":150,"distinct_size":1,"ref":"refs/heads/trunk","head":"9d73ca5168a425c347238507430116727a8061fe","before":"645fb3d93d4e9e04dbaa02b4bd795f3904434cad","commits":[{"sha":"4fb222bc59c376df6a2ab1564a04195a768902e1","author":{"name":"andrianov","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"=Creating a branch for races\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/CPALockator@24603 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/4fb222bc59c376df6a2ab1564a04195a768902e1"},{"sha":"d610ec41f45b2bc4fdc5c6ac8b9834928c4c74c3","author":{"name":"andrianov","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Last version of CPALockator (analysis of potential race conditions)\n\nNew CPAs: LockCPA (analysis of synchronization primitives), LocalCPA (analysis of shared data),\nUsageCPA(tracks accesses to variables), ThreadCPA (analysis of threads)\n\n\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/CPALockator@24604 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/d610ec41f45b2bc4fdc5c6ac8b9834928c4c74c3"},{"sha":"d47d088574c13546686c518ca809bbb09a258209","author":{"name":"andrianov","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Merge latest commits\n\n\t\n\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/CPALockator@24605 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/d47d088574c13546686c518ca809bbb09a258209"},{"sha":"5b3f241859665a06b8a0718ab2e60f343164c0f5","author":{"name":"andrianov","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Missed files\n\n\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/CPALockator@24607 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/5b3f241859665a06b8a0718ab2e60f343164c0f5"},{"sha":"759f68bf11ed8c4282711fa18c820131751ed9e6","author":{"name":"andrianov","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Missed exception\n\n\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/CPALockator@24608 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/759f68bf11ed8c4282711fa18c820131751ed9e6"},{"sha":"30424dd548ce3ed6ff52309f67a3de910506fc05","author":{"name":"andrianov","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Configuration for CPALockator\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/CPALockator@24609 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/30424dd548ce3ed6ff52309f67a3de910506fc05"},{"sha":"5d780e2fcd52d66693b703bb26b387abbb504a32","author":{"name":"andrianov","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Missed part of configuration\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/CPALockator@24610 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/5d780e2fcd52d66693b703bb26b387abbb504a32"},{"sha":"6a5762da57e3dcb39b2f115d7f0840fc581eaa6b","author":{"name":"andrianov","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Update options prefix\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/CPALockator@24627 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/6a5762da57e3dcb39b2f115d7f0840fc581eaa6b"},{"sha":"4fa997772d2c2f0ff8a97efc28ef5923a3efe8ee","author":{"name":"andrianov","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Configuration doc update\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/CPALockator@24628 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/4fa997772d2c2f0ff8a97efc28ef5923a3efe8ee"},{"sha":"b9e3664606de9d3605c24446a7364371fe583986","author":{"name":"andrianov","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Fix restoration of a path in case of path iteration\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/CPALockator@24629 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/b9e3664606de9d3605c24446a7364371fe583986"},{"sha":"dc0eee5c6c4e9469b0744f5caf6a37927f81a646","author":{"name":"andrianov","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Update old error trace printer\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/CPALockator@24659 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/dc0eee5c6c4e9469b0744f5caf6a37927f81a646"},{"sha":"b03123719907a098d4a21e3a00e3569fd938046d","author":{"name":"andrianov","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Config update\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/CPALockator@24660 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/b03123719907a098d4a21e3a00e3569fd938046d"},{"sha":"c08112188af1153c89d4bd888d573b6d7bd5d4dc","author":{"name":"andrianov","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Configuration optimizations\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/CPALockator@24697 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/c08112188af1153c89d4bd888d573b6d7bd5d4dc"},{"sha":"596964b08859224e022b231e9cac0dd593717778","author":{"name":"andrianov","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Thread operations are set up via config file\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/CPALockator@24698 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/596964b08859224e022b231e9cac0dd593717778"},{"sha":"08a97cc52e7b743eecd1a34d8e319c5e353ce706","author":{"name":"andrianov","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Refactoring (actually, fixing threadJoins creations)\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/CPALockator@24699 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/08a97cc52e7b743eecd1a34d8e319c5e353ce706"},{"sha":"2ad0008001f28d52fdc02af0b46f9fcaa5eafd2e","author":{"name":"andrianov","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Remove ProbeFilter\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/CPALockator@24700 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/2ad0008001f28d52fdc02af0b46f9fcaa5eafd2e"},{"sha":"6c88cf2400e8d9a0631a8c92e388b0d075ba605f","author":{"name":"andrianov","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Throw an exception in case of unknown function\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/CPALockator@24701 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/6c88cf2400e8d9a0631a8c92e388b0d075ba605f"},{"sha":"cd743691df16494ad943cca3a187da3c7f58b16c","author":{"name":"andrianov","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Update structure identifiers\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/CPALockator@24707 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/cd743691df16494ad943cca3a187da3c7f58b16c"},{"sha":"867f1f5f42851b6cc10dfeda0ab0e153373e5e21","author":{"name":"andrianov","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Add toString method for a UsagePoint\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/CPALockator@24708 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/867f1f5f42851b6cc10dfeda0ab0e153373e5e21"},{"sha":"29a6f601138c0d7bae72486d0958f82ba59361ca","author":{"name":"andrianov","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"ErrorTracePrinter refactoring\n\nAdd notes to lock operations\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/CPALockator@24709 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/29a6f601138c0d7bae72486d0958f82ba59361ca"}]}
{"actor":{"display_login":"dbeyer-bot"}}