{"push_id":800826830,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"36017b959eda941f979fc8635a9fa4c2102aa0e5","before":"051da104bded4c4875c1c7f23897da9109db5acc","commits":[{"sha":"36017b959eda941f979fc8635a9fa4c2102aa0e5","author":{"email":"ac0bf0410e278f3401f45c41c52aee879da8699a@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"friedber"},"message":"BAM: avoid storing direct references to RelevantPredicatesComputer.\n\nInstead use the reference from the CPA itself\nto access the instance of this class.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@17872 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/36017b959eda941f979fc8635a9fa4c2102aa0e5"}]}