{"push_id":1490341228,"size":6,"distinct_size":1,"ref":"refs/heads/rand","head":"55a0d288be91264cae847fec15159261e12ac8f5","before":"6bad2bb78d2cfe97ef309b1bafb0a13a0253dd15","commits":[{"sha":"00ed0480fa9328119e85878ae680343d5e01fcda","author":{"name":"Richard Taupe","email":"12f9cc6fc2d00d68717f4b2719b574c1efea9bcc@siemens.com"},"message":"BerkMin: Ignore atoms that are no choice points.","distinct":false,"url":"https://api.github.com/repos/AntoniusW/Alpha/commits/00ed0480fa9328119e85878ae680343d5e01fcda"},{"sha":"d9bf7b6715a6e5173696b65661e0794b60f332f0","author":{"name":"Richard Taupe","email":"12f9cc6fc2d00d68717f4b2719b574c1efea9bcc@siemens.com"},"message":"BerkMin: Bugfix: Sign counter must count literals, not atoms.","distinct":false,"url":"https://api.github.com/repos/AntoniusW/Alpha/commits/d9bf7b6715a6e5173696b65661e0794b60f332f0"},{"sha":"76ecc114833ce9365c814e10df4f9b09a02fe2d4","author":{"name":"Richard Taupe","email":"12f9cc6fc2d00d68717f4b2719b574c1efea9bcc@siemens.com"},"message":"BerkMin: Ignore atoms that are no choice points.","distinct":false,"url":"https://api.github.com/repos/AntoniusW/Alpha/commits/76ecc114833ce9365c814e10df4f9b09a02fe2d4"},{"sha":"5a50abae61517e6a5b92ce655cabb784d1dca418","author":{"name":"Richard Taupe","email":"12f9cc6fc2d00d68717f4b2719b574c1efea9bcc@siemens.com"},"message":"Extracting old branching heuristic into NaiveHeuristic.","distinct":false,"url":"https://api.github.com/repos/AntoniusW/Alpha/commits/5a50abae61517e6a5b92ce655cabb784d1dca418"},{"sha":"677bc9026e05ee41e29dfcd6da26d634a6579609","author":{"name":"Lorenz Leutgeb","email":"db1530d6b0083dc1b9fb52d01d7bdd8cb740c49f@posteo.de"},"message":"Merge pull request #17 from AntoniusW/berkmin\n\nImprovements to BerkMin","distinct":false,"url":"https://api.github.com/repos/AntoniusW/Alpha/commits/677bc9026e05ee41e29dfcd6da26d634a6579609"},{"sha":"55a0d288be91264cae847fec15159261e12ac8f5","author":{"name":"Lorenz Leutgeb","email":"db1530d6b0083dc1b9fb52d01d7bdd8cb740c49f@posteo.de"},"message":"Merge branch 'master' into rand","distinct":true,"url":"https://api.github.com/repos/AntoniusW/Alpha/commits/55a0d288be91264cae847fec15159261e12ac8f5"}]}
{"actor":{"display_login":"flowlo"}}