{"push_id":844168373,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"b370ce8e031e6cd6108b21ffa543d4b7eaa5cc11","before":"a3e88b90199f6a6e2c89076703190c7d6dd9ae2f","commits":[{"sha":"ba01560786c358756f1395ddc83cc42a6f5aeecb","author":{"email":"fc3214fa5544817de1b5e599cb2616817ac4df41@tilk.eu","name":"Marek Materzok"},"message":"Cleanup.","distinct":true,"url":"https://api.github.com/repos/tilk/LambdaCert/commits/ba01560786c358756f1395ddc83cc42a6f5aeecb"},{"sha":"6c37b6cdf201cbc66b11ef5d8f79c59a1b0b96f4","author":{"email":"fc3214fa5544817de1b5e599cb2616817ac4df41@tilk.eu","name":"Marek Materzok"},"message":"Simpler checking for empty arrays.","distinct":true,"url":"https://api.github.com/repos/tilk/LambdaCert/commits/6c37b6cdf201cbc66b11ef5d8f79c59a1b0b96f4"},{"sha":"b370ce8e031e6cd6108b21ffa543d4b7eaa5cc11","author":{"email":"fc3214fa5544817de1b5e599cb2616817ac4df41@tilk.eu","name":"Marek Materzok"},"message":"Proofs for built-in functions started.","distinct":true,"url":"https://api.github.com/repos/tilk/LambdaCert/commits/b370ce8e031e6cd6108b21ffa543d4b7eaa5cc11"}]}