{"push_id":966780443,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"e0e428ffc582b0c67fc812486b5839e7da7155cd","before":"c9b5754ee1d597acb92999c28bafc0d360d01de5","commits":[{"sha":"f6c65041498804b8d1a438291e750d36570ae252","author":{"email":"c1061e096d067442c5dd3f90c3aa537e774d27d0@zoho.com","name":"lmp47"},"message":"stats","distinct":true,"url":"https://api.github.com/repos/lmp47/ModelChecker/commits/f6c65041498804b8d1a438291e750d36570ae252"},{"sha":"f161bf4c0258832f6aa74df1367d5316b81de703","author":{"email":"c1061e096d067442c5dd3f90c3aa537e774d27d0@zoho.com","name":"lmp47"},"message":"Improved","distinct":true,"url":"https://api.github.com/repos/lmp47/ModelChecker/commits/f161bf4c0258832f6aa74df1367d5316b81de703"},{"sha":"e0e428ffc582b0c67fc812486b5839e7da7155cd","author":{"email":"c1061e096d067442c5dd3f90c3aa537e774d27d0@zoho.com","name":"lmp47"},"message":"Simpler proveNegCTI","distinct":true,"url":"https://api.github.com/repos/lmp47/ModelChecker/commits/e0e428ffc582b0c67fc812486b5839e7da7155cd"}]}