{"push_id":891226375,"size":2,"distinct_size":1,"ref":"refs/heads/develop","head":"3590b8b91d8088885cd35c238cfb7dc6d1fd960b","before":"0e6061b9b5e0ff21d02c8547dcb3b857246f2ae0","commits":[{"sha":"e5b72399c7cc9d0f976e6970d5c274de83d902bb","author":{"email":"0adff03a7de64dfd55e0868214d82b741b8f8bba@gmail.com","name":"Stefan Heule"},"message":"fix read/write set for xchgl","distinct":false,"url":"https://api.github.com/repos/StanfordPL/x64asm/commits/e5b72399c7cc9d0f976e6970d5c274de83d902bb"},{"sha":"3590b8b91d8088885cd35c238cfb7dc6d1fd960b","author":{"email":"0adff03a7de64dfd55e0868214d82b741b8f8bba@gmail.com","name":"Stefan Heule"},"message":"Merge branch 'issue-218' into develop. Fixes #218.","distinct":true,"url":"https://api.github.com/repos/StanfordPL/x64asm/commits/3590b8b91d8088885cd35c238cfb7dc6d1fd960b"}]}