{"push_id":963098775,"size":1,"distinct_size":1,"ref":"refs/heads/bv","head":"e7eee2feffd997ee00a3684ede68d02183c7e4ae","before":"3fa107568605edfb1f4b5b324cdee75034728cb7","commits":[{"sha":"e7eee2feffd997ee00a3684ede68d02183c7e4ae","author":{"email":"979058fa2391c60fec8c466b91121fa794e5d834@cmu.edu","name":"Arie Gurfinkel"},"message":"[bv] implemented bv semantics for basic operators\n\nCompiles but does not work.","distinct":true,"url":"https://api.github.com/repos/seahorn/seahorn/commits/e7eee2feffd997ee00a3684ede68d02183c7e4ae"}]}