{"push_id":549497767,"size":1,"distinct_size":1,"ref":"refs/heads/fixpoint3","head":"d9c1fc237be2ed778c00a71a57376de8f1e24ac1","before":"27a91f3906c7bc01e484c854adbbbcc1e6c98d79","commits":[{"sha":"d9c1fc237be2ed778c00a71a57376de8f1e24ac1","author":{"email":"f93acbd1be9be39c927d50066d1f6e5fa011dd8b@gmail.com","name":"Vladimir Komendantsky"},"message":"resolvent tree (program lifting is still pending)","distinct":true,"url":"https://api.github.com/repos/vkomenda/CoALP/commits/d9c1fc237be2ed778c00a71a57376de8f1e24ac1"}]}