{"push_id":1028362999,"size":1,"distinct_size":1,"ref":"refs/heads/abc","head":"f44962c45ac544483f101b7bf4bb669b82390623","before":"f39172db1e977ee9a057d1be69b3c09c4e216475","commits":[{"sha":"f44962c45ac544483f101b7bf4bb669b82390623","author":{"email":"979058fa2391c60fec8c466b91121fa794e5d834@cmu.edu","name":"Arie Gurfinkel"},"message":"[NEW] option --horn-extra-cps\n\nGenerates cut-points for source of a back-edge in addition to the\ndestination of one.","distinct":true,"url":"https://api.github.com/repos/seahorn/seahorn/commits/f44962c45ac544483f101b7bf4bb669b82390623"}]}