{"push_id":616454234,"size":4,"distinct_size":4,"ref":"refs/heads/cli","head":"8e3a17f0c724c663fe5a1c2645b9676e9b8b1489","before":"40b2878d041118c60c9b053cd8126957dab2dca6","commits":[{"sha":"c5b6e0022245b76dae0961696c6926f66fab4b5e","author":{"email":"979058fa2391c60fec8c466b91121fa794e5d834@cmu.edu","name":"Arie Gurfinkel"},"message":"enable better control over Popen","distinct":true,"url":"https://api.github.com/repos/seahorn/seahorn/commits/c5b6e0022245b76dae0961696c6926f66fab4b5e"},{"sha":"4bda9330f6affcabe6f13b7bf8d5adc0d3f3e753","author":{"email":"979058fa2391c60fec8c466b91121fa794e5d834@cmu.edu","name":"Arie Gurfinkel"},"message":"minor option tweaking","distinct":true,"url":"https://api.github.com/repos/seahorn/seahorn/commits/4bda9330f6affcabe6f13b7bf8d5adc0d3f3e753"},{"sha":"8afafcadd20dc225186948032f4a18971a603fe6","author":{"email":"979058fa2391c60fec8c466b91121fa794e5d834@cmu.edu","name":"Arie Gurfinkel"},"message":"typo cmd -> cmds","distinct":true,"url":"https://api.github.com/repos/seahorn/seahorn/commits/8afafcadd20dc225186948032f4a18971a603fe6"},{"sha":"8e3a17f0c724c663fe5a1c2645b9676e9b8b1489","author":{"email":"979058fa2391c60fec8c466b91121fa794e5d834@cmu.edu","name":"Arie Gurfinkel"},"message":"various\n\ncannot use args to decide the name of the file since the arguments have\nnot been parsed yet. Need to rethink this part.","distinct":true,"url":"https://api.github.com/repos/seahorn/seahorn/commits/8e3a17f0c724c663fe5a1c2645b9676e9b8b1489"}]}