{"push_id":624708397,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"479fb228547545339046d6da0e118c73db90d70f","before":"18d7e1a45160b6b4a4dc7c14ac3ea8ebc25c89bd","commits":[{"sha":"479fb228547545339046d6da0e118c73db90d70f","author":{"email":"6a1e3a77019418984eb4ab69e50955ef27b78ece@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"loewe"},"message":"when computing prefixes for predicate analysis, only make a SAT check after an assume edge, not after each edge (50% speed-up over all solved instances)\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@16541 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/479fb228547545339046d6da0e118c73db90d70f"}]}