{"push_id":598523327,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"5f7eb1c72743d122bfd41dbd5134ba81c5887d17","before":"76feda758c65f57d449367be70d3c250ded6ccdc","commits":[{"sha":"5f7eb1c72743d122bfd41dbd5134ba81c5887d17","author":{"email":"fafbb143bc98b3398fb52cc5dc97b0add41e1a09@gmail.com","name":"George Karpenkov"},"message":"Policy iteration optimization:\n\nif the dervied policy value does not *depend*\non the initial condition (dropping the initial\ncondition does not change the value),\ndo not follow it in value determination.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@16119 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/5f7eb1c72743d122bfd41dbd5134ba81c5887d17"}]}