{"push_id":642340900,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"451fcb622122170201b1d651c934e17d5db3c365","before":"7a58b4820fd4f89c8afd21323bec0623f132ad8a","commits":[{"sha":"7db4c6459a42cbde1b21a9c83e86b31a2b0e3f9e","author":{"email":"fc3214fa5544817de1b5e599cb2616817ac4df41@tilk.eu","name":"Marek Materzok"},"message":"Making object constructors explicit in the semantics.","distinct":true,"url":"https://api.github.com/repos/tilk/LambdaCert/commits/7db4c6459a42cbde1b21a9c83e86b31a2b0e3f9e"},{"sha":"0f536c0a5d9af0345187c2a773789ec1f63b4100","author":{"email":"fc3214fa5544817de1b5e599cb2616817ac4df41@tilk.eu","name":"Marek Materzok"},"message":"Explicit object allocation in the semantics.","distinct":true,"url":"https://api.github.com/repos/tilk/LambdaCert/commits/0f536c0a5d9af0345187c2a773789ec1f63b4100"},{"sha":"451fcb622122170201b1d651c934e17d5db3c365","author":{"email":"fc3214fa5544817de1b5e599cb2616817ac4df41@tilk.eu","name":"Marek Materzok"},"message":"Explicit object constructors in the semantics.","distinct":true,"url":"https://api.github.com/repos/tilk/LambdaCert/commits/451fcb622122170201b1d651c934e17d5db3c365"}]}