{"push_id":820186588,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"6e7b3045b31bb16e094696ef5d0ef7c99bc6c13f","before":"6d7a30f10b7a59cedd688f78bb33d02e196ea3be","commits":[{"sha":"3da7700ced61dc22243e39702efcea92d817ff48","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"better printing of FO formulas","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/commits/3da7700ced61dc22243e39702efcea92d817ff48"},{"sha":"6e7b3045b31bb16e094696ef5d0ef7c99bc6c13f","author":{"email":"47be9ca2e7a60d0a01d349006f6bef4b7f0d6788@m4x.org","name":"Simon Cruanes"},"message":"in type inference, check that identifiers not declared twice\n\n- add example file that fails otherwise","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/commits/6e7b3045b31bb16e094696ef5d0ef7c99bc6c13f"}]}