{"push_id":1300900142,"size":2,"distinct_size":2,"ref":"refs/heads/epr","head":"103981ccdd4d2763ae8b1e3d2872cf50ebe992b8","before":"b69ba442485fedcd3f37c59790c9a0ec26e81d8f","commits":[{"sha":"7c739b285a48ae44f07734c2afd992e824553d98","author":{"name":"Alexander Nutz","email":"e1c0cfdeef01bc5dc0f9dcb7c39929e3dfdf2213@informatik.uni-freiburg.de"},"message":"minor cleanup","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/smtinterpol/commits/7c739b285a48ae44f07734c2afd992e824553d98"},{"sha":"103981ccdd4d2763ae8b1e3d2872cf50ebe992b8","author":{"name":"Alexander Nutz","email":"e1c0cfdeef01bc5dc0f9dcb7c39929e3dfdf2213@informatik.uni-freiburg.de"},"message":"unit propagation in epr is done only at checkpoint() calls now, not at every decide state change","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/smtinterpol/commits/103981ccdd4d2763ae8b1e3d2872cf50ebe992b8"}]}
{"actor":{"display_login":"alexandernutz"}}