{"push_id":924530688,"size":59,"distinct_size":59,"ref":"refs/heads/refactoring","head":"2838dbdb4933938020276d05119599f01ff8c2b1","before":"a2eab3d27df13a0f47f203af832ee6b0a8d7d872","commits":[{"sha":"cf45f7c36c76787884103f215b2c49035cd5ab66","author":{"email":"c375e5d6bc51d12e527eab82ed0a673224e06297@googlemail.com","name":"diekmann"},"message":"Merge pull request #57 from diekmann/refactoring\n\nRefactoring: generalizing CIDR split to arbitrary machine words","distinct":true,"url":"https://api.github.com/repos/jcaesar/Iptables_Semantics/commits/cf45f7c36c76787884103f215b2c49035cd5ab66"},{"sha":"0938a3669ae27e48c9a42f3bf8b0dab60653cdcc","author":{"email":"c375e5d6bc51d12e527eab82ed0a673224e06297@googlemail.com","name":"diekmann"},"message":"Merge pull request #56 from jcaesar/refactoring\n\nrename ipv4range_set_from_{bitmask => prefix} (and friends)","distinct":true,"url":"https://api.github.com/repos/jcaesar/Iptables_Semantics/commits/0938a3669ae27e48c9a42f3bf8b0dab60653cdcc"},{"sha":"18f8ce9e72525fd5bc9bbc3d3370dc4e30498d53","author":{"email":"c375e5d6bc51d12e527eab82ed0a673224e06297@googlemail.com","name":"diekmann"},"message":"Merge pull request #58 from diekmann/refactoring\n\nRefactoring: rename ipv4range_set_from_{bitmask => prefix} (and friends)","distinct":true,"url":"https://api.github.com/repos/jcaesar/Iptables_Semantics/commits/18f8ce9e72525fd5bc9bbc3d3370dc4e30498d53"},{"sha":"f46945e8b246f4a4f8bc85fe3a7ce0ec3b285425","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"[broken] testing a hopefully faster method for the service matrices","distinct":true,"url":"https://api.github.com/repos/jcaesar/Iptables_Semantics/commits/f46945e8b246f4a4f8bc85fe3a7ce0ec3b285425"},{"sha":"3c616f8a343acaff1eba5bc7e2370e5766907ccd","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"matching_dsts","distinct":true,"url":"https://api.github.com/repos/jcaesar/Iptables_Semantics/commits/3c616f8a343acaff1eba5bc7e2370e5766907ccd"},{"sha":"20ce2f2f3c7e2eaf4890068a4742b4bfac4b2e1a","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"[TEST, UNPROVEN] testing new algorithm","distinct":true,"url":"https://api.github.com/repos/jcaesar/Iptables_Semantics/commits/20ce2f2f3c7e2eaf4890068a4742b4bfac4b2e1a"},{"sha":"6a542a0e323d2c9f5dbb4bb4bb3d12987a930661","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"[BROKEN] many oops, I see a problem for a proof here","distinct":true,"url":"https://api.github.com/repos/jcaesar/Iptables_Semantics/commits/6a542a0e323d2c9f5dbb4bb4bb3d12987a930661"},{"sha":"afdc5b01053a4561bb6a6af424e66939b636c364","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"outer let","distinct":true,"url":"https://api.github.com/repos/jcaesar/Iptables_Semantics/commits/afdc5b01053a4561bb6a6af424e66939b636c364"},{"sha":"a2af3f68d98753299cba5dd01dd4f79676a09255","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"[HEAVILY BOKEN] hackyhack","distinct":true,"url":"https://api.github.com/repos/jcaesar/Iptables_Semantics/commits/a2af3f68d98753299cba5dd01dd4f79676a09255"},{"sha":"597924b86b351260a17258d29ba6286a2702774a","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"groupF_cong","distinct":true,"url":"https://api.github.com/repos/jcaesar/Iptables_Semantics/commits/597924b86b351260a17258d29ba6286a2702774a"},{"sha":"770aa2ec84aa97a9d49fa02bb2cbb9ec20c19944","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"groupWIs3_UNPROVEN_groupWIs2","distinct":true,"url":"https://api.github.com/repos/jcaesar/Iptables_Semantics/commits/770aa2ec84aa97a9d49fa02bb2cbb9ec20c19944"},{"sha":"63a528ab614e5e6a64bb9bbe175805f691956960","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"proven version for default rule","distinct":true,"url":"https://api.github.com/repos/jcaesar/Iptables_Semantics/commits/63a528ab614e5e6a64bb9bbe175805f691956960"},{"sha":"9b962e2db4d9346d2c9d0fac4a517db164fd2503","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"cleaning (still needs a lot of cleanup)","distinct":true,"url":"https://api.github.com/repos/jcaesar/Iptables_Semantics/commits/9b962e2db4d9346d2c9d0fac4a517db164fd2503"},{"sha":"b3f9e552fb3bb1923cc2f3e5e13bc00b198ef1d0","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"copy&pasting a copy to also collect sources","distinct":true,"url":"https://api.github.com/repos/jcaesar/Iptables_Semantics/commits/b3f9e552fb3bb1923cc2f3e5e13bc00b198ef1d0"},{"sha":"82800279fedf05eaf9e4fb083ac2896f2280128b","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"now for source and destination","distinct":true,"url":"https://api.github.com/repos/jcaesar/Iptables_Semantics/commits/82800279fedf05eaf9e4fb083ac2896f2280128b"},{"sha":"7eaddb78ff88bd7373de7c6c624f8fafea9ce4bb","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"coment","distinct":true,"url":"https://api.github.com/repos/jcaesar/Iptables_Semantics/commits/7eaddb78ff88bd7373de7c6c624f8fafea9ce4bb"},{"sha":"4f634cc043a1a37534ccb444fe6ddd0aefdd9487","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"testing without groupF_tuple","distinct":true,"url":"https://api.github.com/repos/jcaesar/Iptables_Semantics/commits/4f634cc043a1a37534ccb444fe6ddd0aefdd9487"},{"sha":"22a053dff4de704c450e09416b20effb398662a6","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"restored groupF_tuple and commented","distinct":true,"url":"https://api.github.com/repos/jcaesar/Iptables_Semantics/commits/22a053dff4de704c450e09416b20effb398662a6"},{"sha":"518d5590e99b85c9f4c40541404c57a987ccbf09","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"holy mother pony, the haskell tool seems fast now!","distinct":true,"url":"https://api.github.com/repos/jcaesar/Iptables_Semantics/commits/518d5590e99b85c9f4c40541404c57a987ccbf09"},{"sha":"d2bc5b0bc06b48b917914ba0ec6321bc4cb5561a","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"can a smt proof get any worse? YES WE CAN!\n\ntrying to brute-force what smt is doing","distinct":true,"url":"https://api.github.com/repos/jcaesar/Iptables_Semantics/commits/d2bc5b0bc06b48b917914ba0ec6321bc4cb5561a"}]}