{"push_id":1969964231,"size":3,"distinct_size":3,"ref":"refs/heads/preconditions","head":"0e0c80634ed685240f7b8aedf1d0a91fe2c79927","before":"741b5e912f965a6a08c79be5825c6fa9c6bae766","commits":[{"sha":"2258fadeed0a111152fc9495a86c9b17b582ea79","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"instrumentation for preconditions","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/2258fadeed0a111152fc9495a86c9b17b582ea79"},{"sha":"85059eee1ae3b85c0cefa6f5105654e8b1adcf0c","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"partial inlining is no longer needed","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/85059eee1ae3b85c0cefa6f5105654e8b1adcf0c"},{"sha":"0e0c80634ed685240f7b8aedf1d0a91fe2c79927","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"use preconditions in the library","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/0e0c80634ed685240f7b8aedf1d0a91fe2c79927"}]}
{"actor":{"display_login":"kroening"}}