{"push_id":1127943122,"size":4,"distinct_size":4,"ref":"refs/heads/experimental","head":"c403e7dd4d058ed2b31273338d6ff62fd4539256","before":"66687ce8ac53900cea25820dce3e7ebb2451d93f","commits":[{"sha":"328f4d461a0187af6b1970100b4f8d20e5714990","author":{"email":"3d0f3b9ddcacec30c4008c5e030e6c13a478cb4f@d3s.mff.cuni.cz","name":"Jakub Daniel"},"message":"ic3 backward blocking rewritten","distinct":true,"url":"https://api.github.com/repos/d3sformal/bacon/commits/328f4d461a0187af6b1970100b4f8d20e5714990"},{"sha":"42bb9cee067625074b2ee8d5eba7e0468df71e62","author":{"email":"3d0f3b9ddcacec30c4008c5e030e6c13a478cb4f@d3s.mff.cuni.cz","name":"Jakub Daniel"},"message":"output string formatting","distinct":true,"url":"https://api.github.com/repos/d3sformal/bacon/commits/42bb9cee067625074b2ee8d5eba7e0468df71e62"},{"sha":"eab61d9a0ad4e35234ccb736c0287ac5c3c0413a","author":{"email":"3d0f3b9ddcacec30c4008c5e030e6c13a478cb4f@d3s.mff.cuni.cz","name":"Jakub Daniel"},"message":"line wrapping","distinct":true,"url":"https://api.github.com/repos/d3sformal/bacon/commits/eab61d9a0ad4e35234ccb736c0287ac5c3c0413a"},{"sha":"c403e7dd4d058ed2b31273338d6ff62fd4539256","author":{"email":"3d0f3b9ddcacec30c4008c5e030e6c13a478cb4f@d3s.mff.cuni.cz","name":"Jakub Daniel"},"message":"add spurious abstract paths","distinct":true,"url":"https://api.github.com/repos/d3sformal/bacon/commits/c403e7dd4d058ed2b31273338d6ff62fd4539256"}]}
{"actor":{"display_login":"jakubdaniel"}}