{"push_id":779226146,"size":2,"distinct_size":2,"ref":"refs/heads/unstable","head":"09980a496c7b1fbd74c241589011d0cf522dd03c","before":"1257d1d990b93fabbc967ac35018389d55e6c6d7","commits":[{"sha":"b4d0e6076ead8100a76fe8c7b7fc4560b70857aa","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"change behavior on allocation excess to process exit to avoid memory smashes on exception unsafe code blocks. Fixes issue #175\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/b4d0e6076ead8100a76fe8c7b7fc4560b70857aa"},{"sha":"09980a496c7b1fbd74c241589011d0cf522dd03c","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"Merge branch 'unstable' of https://github.com/Z3Prover/z3 into unstable","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/09980a496c7b1fbd74c241589011d0cf522dd03c"}]}