{"push_id":1417043819,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"c7d46741a4e9c8b49875a8b3281e5bb500f448e8","before":"9a6d07e0979955ddaf894aedd6c4a35ef9bdf04b","commits":[{"sha":"73ea4fea303979c1edd6175ad71888447ec4874e","author":{"name":"Guillaume Bury","email":"43b0591eec25423d3f242eabd433a46c354d6396@gmail.com"},"message":"Removed useless check option in test_api","distinct":true,"url":"https://api.github.com/repos/Gbury/mSAT/commits/73ea4fea303979c1edd6175ad71888447ec4874e"},{"sha":"9a393c130a2acab15263a9be7d41a8781e71fce6","author":{"name":"Guillaume Bury","email":"43b0591eec25423d3f242eabd433a46c354d6396@gmail.com"},"message":"Some more info in debug logging","distinct":true,"url":"https://api.github.com/repos/Gbury/mSAT/commits/9a393c130a2acab15263a9be7d41a8781e71fce6"},{"sha":"3124d55209a049d7520228e97d3da27b42f2fa81","author":{"name":"Guillaume Bury","email":"43b0591eec25423d3f242eabd433a46c354d6396@gmail.com"},"message":"[bugfix?] Avoid forgetting theory conflict clauses\n\nWhen theory raises a conflict, it is analysed, and the backtracck clause\nthat result is added to the solver, however, I didn't find yet a\nsatisfying answer as to wether the original clause is implied (or not)\nby this backtrack clause, so in order not to lose information, we also\nadd the original conflict clause when it comes from the theory (because\nif not, then it comes from a conflict detected during propgation, so the\nconflict clause is actually already attached).","distinct":true,"url":"https://api.github.com/repos/Gbury/mSAT/commits/3124d55209a049d7520228e97d3da27b42f2fa81"},{"sha":"c7d46741a4e9c8b49875a8b3281e5bb500f448e8","author":{"name":"Guillaume Bury","email":"43b0591eec25423d3f242eabd433a46c354d6396@gmail.com"},"message":"Updated some logging levels","distinct":true,"url":"https://api.github.com/repos/Gbury/mSAT/commits/c7d46741a4e9c8b49875a8b3281e5bb500f448e8"}]}
{"actor":{"display_login":"Gbury"}}