{"push_id":2601814772,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"53c6dcffe0ad3b98c923fa907fa454ffdb8aa24d","before":"2b5d5d647763d8e0dc69f71ff051c97fc87c7a6e","commits":[{"sha":"98ef1dffe4c1f5d6906646fde2dc0607f27c4283","author":{"name":"Karlheinz Friedberger","email":"2ead1e2e0ae6a87f7bc0f79360ab602a46f82834@gmail.com"},"message":"SMTInterpol fails early on unsupported names.\n\nImproving check for UF-names.","distinct":true,"url":"https://api.github.com/repos/sosy-lab/java-smt/commits/98ef1dffe4c1f5d6906646fde2dc0607f27c4283"},{"sha":"6a39ccc4a0f3506b05b2e396cd707e7d8a42f68a","author":{"name":"Karlheinz Friedberger","email":"2ead1e2e0ae6a87f7bc0f79360ab602a46f82834@gmail.com"},"message":"improve test for invalid names.","distinct":true,"url":"https://api.github.com/repos/sosy-lab/java-smt/commits/6a39ccc4a0f3506b05b2e396cd707e7d8a42f68a"},{"sha":"53c6dcffe0ad3b98c923fa907fa454ffdb8aa24d","author":{"name":"Karlheinz Friedberger","email":"2ead1e2e0ae6a87f7bc0f79360ab602a46f82834@gmail.com"},"message":"Princess: fix getting name from UF when dumping a formula.","distinct":true,"url":"https://api.github.com/repos/sosy-lab/java-smt/commits/53c6dcffe0ad3b98c923fa907fa454ffdb8aa24d"}]}
{"actor":{"display_login":"kfriedberger"}}