{"push_id":1398032039,"size":5,"distinct_size":1,"ref":"refs/heads/dev","head":"3e474b4a2b967aed5acb5dab93a299cdb67b1f54","before":"a199af8b075a38d7871a6efeeff5f2595b95e991","commits":[{"sha":"4fcda08774c34ef6432b9e757e148a86b14761e5","author":{"name":"Benjamin","email":"165c5a339872de97ecba2ef89cf8dbba63b7c3e0@cs.uni-potsdam.de"},"message":"Fix compilation problems on Cygwin","distinct":false,"url":"https://api.github.com/repos/potassco/clasp/commits/4fcda08774c34ef6432b9e757e148a86b14761e5"},{"sha":"1cc4188e8881e9932def01f0958353874897a0e9","author":{"name":"Benjamin Kaufmann","email":"165c5a339872de97ecba2ef89cf8dbba63b7c3e0@cs.uni-potsdam.de"},"message":"Update libprogram_opts","distinct":false,"url":"https://api.github.com/repos/potassco/clasp/commits/1cc4188e8881e9932def01f0958353874897a0e9"},{"sha":"7bf483ae552a5b33d027b3a298f817208cf1be83","author":{"name":"Benjamin Kaufmann","email":"165c5a339872de97ecba2ef89cf8dbba63b7c3e0@cs.uni-potsdam.de"},"message":"Fix minimization bug in Solver::resolveToFlagged()","distinct":false,"url":"https://api.github.com/repos/potassco/clasp/commits/7bf483ae552a5b33d027b3a298f817208cf1be83"},{"sha":"c678a9203b0d3e68ceba59962712715625b319e9","author":{"name":"Benjamin Kaufmann","email":"165c5a339872de97ecba2ef89cf8dbba63b7c3e0@cs.uni-potsdam.de"},"message":"Fix bug: empty clauses added from theory propagator is ignored","distinct":false,"url":"https://api.github.com/repos/potassco/clasp/commits/c678a9203b0d3e68ceba59962712715625b319e9"},{"sha":"3e474b4a2b967aed5acb5dab93a299cdb67b1f54","author":{"name":"Benjamin Kaufmann","email":"165c5a339872de97ecba2ef89cf8dbba63b7c3e0@cs.uni-potsdam.de"},"message":"Merge branch 'master' into dev","distinct":true,"url":"https://api.github.com/repos/potassco/clasp/commits/3e474b4a2b967aed5acb5dab93a299cdb67b1f54"}]}
{"actor":{"display_login":"BenKaufmann"}}