{"push_id":575755696,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"8e57695bd5893f6a8bea9f779a36a3e0e8d11354","before":"2607016ee45b9896d75792cb2ad4cf0a845b71db","commits":[{"sha":"47cf6f668711abbe73f1ab8dabd7fcdc9da57345","author":{"email":"2ee8ec943467fad83db2eb3f247bb99e61ef3d05@gebner.org","name":"Gabriel Ebner"},"message":"hoare: Add addition example.","distinct":true,"url":"https://api.github.com/repos/gapt/gapt/commits/47cf6f668711abbe73f1ab8dabd7fcdc9da57345"},{"sha":"77b558f14d3c8f396a9eb3b5135f77d2ee1e2cbf","author":{"email":"2ee8ec943467fad83db2eb3f247bb99e61ef3d05@gebner.org","name":"Gabriel Ebner"},"message":"hoare: Array initialization example: Use prover9 syntax.","distinct":true,"url":"https://api.github.com/repos/gapt/gapt/commits/77b558f14d3c8f396a9eb3b5135f77d2ee1e2cbf"},{"sha":"fd6f9e6f002a68e7394d9cde4979f1503ee99c06","author":{"email":"2ee8ec943467fad83db2eb3f247bb99e61ef3d05@gebner.org","name":"Gabriel Ebner"},"message":"hoare: Use standard numerals.","distinct":true,"url":"https://api.github.com/repos/gapt/gapt/commits/fd6f9e6f002a68e7394d9cde4979f1503ee99c06"},{"sha":"8e57695bd5893f6a8bea9f779a36a3e0e8d11354","author":{"email":"2ee8ec943467fad83db2eb3f247bb99e61ef3d05@gebner.org","name":"Gabriel Ebner"},"message":"hoare: Factor out sips.","distinct":true,"url":"https://api.github.com/repos/gapt/gapt/commits/8e57695bd5893f6a8bea9f779a36a3e0e8d11354"}]}