{"push_id":562136044,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"fc03e7b2d171ef811a1be926a35418ad48203905","before":"e67a5536fd45b080d4b4e489c8491ed0fa5aa8a5","commits":[{"sha":"fc03e7b2d171ef811a1be926a35418ad48203905","author":{"email":"1943a4aedc433cd5d7dbaea238b29d9a8ec2edd9@chalmers.se","name":"Dan Rosén"},"message":"Axiomatize function declarations\n\nAnd with this remove Match.\n\nSome optimisations left to do (vital to get reasonable Z3 triggers)","distinct":true,"url":"https://api.github.com/repos/danr/tip/commits/fc03e7b2d171ef811a1be926a35418ad48203905"}]}