{"push_id":736568191,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"4640d6e76835bd563844b6b4f0d573c1e66dc558","before":"b9a9155adeec39a120c41ac4ac3d3261b770ed48","commits":[{"sha":"cc85335ad7c78d8fc2ba73a373b9e551ce1948e4","author":{"email":"d0dd94841996cfc4b2c3cc72ddbe62b9391c7946@gmail.com","name":"Eric Davies"},"message":"OS X compatibility","distinct":true,"url":"https://api.github.com/repos/dreal/DReal.jl/commits/cc85335ad7c78d8fc2ba73a373b9e551ce1948e4"},{"sha":"e9c0407c631eb148b486aa8b09267ae887d03504","author":{"email":"d0dd94841996cfc4b2c3cc72ddbe62b9391c7946@gmail.com","name":"iamed2"},"message":"Updated dreal library version","distinct":true,"url":"https://api.github.com/repos/dreal/DReal.jl/commits/e9c0407c631eb148b486aa8b09267ae887d03504"},{"sha":"6306eb39bd4a1280a6fb6769704622573e8e17b9","author":{"email":"744bbd89c71ba4df9b32eb223b1273263fd2ea53@gmail.com","name":"Zenna Tavares"},"message":"conflict resolution","distinct":true,"url":"https://api.github.com/repos/dreal/DReal.jl/commits/6306eb39bd4a1280a6fb6769704622573e8e17b9"},{"sha":"4640d6e76835bd563844b6b4f0d573c1e66dc558","author":{"email":"744bbd89c71ba4df9b32eb223b1273263fd2ea53@gmail.com","name":"Zenna Tavares"},"message":"Merge branch 'iamed1-osx'","distinct":true,"url":"https://api.github.com/repos/dreal/DReal.jl/commits/4640d6e76835bd563844b6b4f0d573c1e66dc558"}]}