{"push_id":1206252238,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"7b0628403abaf6af4284ae86f63ab49e03718bfb","before":"0506663620ea0fa9457a605f9fd57dd95a100c90","commits":[{"sha":"c621eda72b22032465b4efb121c6c1a9f4dc1259","author":{"name":"Emilio Jesus Gallego Arias","email":"74bd03b9fa5ba9425c7ecadbbbb4d58aa6999825@x80.org"},"message":"[extraction] Tweak on `forall.ml`","distinct":true,"url":"https://api.github.com/repos/ejgallego/ssrbit/commits/c621eda72b22032465b4efb121c6c1a9f4dc1259"},{"sha":"7b0628403abaf6af4284ae86f63ab49e03718bfb","author":{"name":"Emilio Jesus Gallego Arias","email":"74bd03b9fa5ba9425c7ecadbbbb4d58aa6999825@x80.org"},"message":"[bitseq] Don't require n.+1 bitvector for zModule instances.\n\nIn a previous commit, we made zModule instances to require bitvectors of\nthe shape 'B_n.+1.\n\nThis seems problematic so we backtrack.\n\nThe proper solution is not implemented yet, but this should suffice for now.","distinct":true,"url":"https://api.github.com/repos/ejgallego/ssrbit/commits/7b0628403abaf6af4284ae86f63ab49e03718bfb"}]}
{"actor":{"display_login":"ejgallego"}}