{"push_id":936983771,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"4d56799cf0bb7a711d4852149d1ca032002d0b84","before":"9138d58095dd4938873d7658e77cb313a854ff5d","commits":[{"sha":"9fa5cd605167dd93334f8ba08076ec297b9a2abd","author":{"email":"bb2cdc781cd24a8997fb78a38d0c7b2fc47dd816@gmail.com","name":"Andreas From"},"message":"Convert finite_calculation, improve calculation_downwards and fSuc, naming","distinct":true,"url":"https://api.github.com/repos/logic-tools/simpro/commits/9fa5cd605167dd93334f8ba08076ec297b9a2abd"},{"sha":"5960c2349dc50b40dbab71408138657408acbb38","author":{"email":"bb2cdc781cd24a8997fb78a38d0c7b2fc47dd816@gmail.com","name":"Andreas From"},"message":"Convert contains_propagates_{pos, neg}","distinct":true,"url":"https://api.github.com/repos/logic-tools/simpro/commits/5960c2349dc50b40dbab71408138657408acbb38"},{"sha":"a856cfedc9c1750d36121de308c7aef910b505ee","author":{"email":"bb2cdc781cd24a8997fb78a38d0c7b2fc47dd816@gmail.com","name":"Andreas From"},"message":"naming","distinct":true,"url":"https://api.github.com/repos/logic-tools/simpro/commits/a856cfedc9c1750d36121de308c7aef910b505ee"},{"sha":"4d56799cf0bb7a711d4852149d1ca032002d0b84","author":{"email":"f5c4c68ae015fd41d035fdfda87b78c98cf43b6d@users.noreply.github.com","name":"Jørgen Villadsen"},"message":"Merge pull request #5 from andreasfrom/master\n\n4 apply-proofs left","distinct":true,"url":"https://api.github.com/repos/logic-tools/simpro/commits/4d56799cf0bb7a711d4852149d1ca032002d0b84"}]}