{"push_id":1798166657,"size":146,"distinct_size":10,"ref":"refs/heads/no-raw-ptrs","head":"3f62e4b74e6d0877cd0636766e06be9c085a7b9a","before":"93274a32287983064a179850a043361f8c851947","commits":[{"sha":"7b3c96f4a0fd0e6cb05ac8fbeb46c7917328169a","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"Coverage report: include absolute lines covered and total per function\n\nThe line-rate format is now line-rate=\"0.5 (21/42)\" instead of just\nline-rate=\"0.5\".","distinct":false,"url":"https://api.github.com/repos/reuk/cbmc/commits/7b3c96f4a0fd0e6cb05ac8fbeb46c7917328169a"},{"sha":"31be993f781ae865a4d0be6c5ffd4fbd2a2a4697","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"Fix coverage reporting of forward-goto statements (break, continue)\n\ncr https://code.amazon.com/reviews/CR-198650","distinct":false,"url":"https://api.github.com/repos/reuk/cbmc/commits/31be993f781ae865a4d0be6c5ffd4fbd2a2a4697"},{"sha":"accc4124cc9c00f6c70ab8461e18ce6fdb73f9d2","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"goto-instrument --remove-function-body\n\nRemoves the implementation of a function (but not its declaration or its call\nsites) from a goto program. This enables stubbing of possibly costly functions,\nsuch as custom memset implementations.","distinct":false,"url":"https://api.github.com/repos/reuk/cbmc/commits/accc4124cc9c00f6c70ab8461e18ce6fdb73f9d2"},{"sha":"9f2df28b3171b4d8c8f7b5cdb30ee7cbfda91e77","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"W3C compliance fixes","distinct":false,"url":"https://api.github.com/repos/reuk/cbmc/commits/9f2df28b3171b4d8c8f7b5cdb30ee7cbfda91e77"},{"sha":"0bc21faf5cea3251b9fadf932629f7f1ca92f574","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"Merge branch 'master' of github.com:diffblue/cbmc","distinct":false,"url":"https://api.github.com/repos/reuk/cbmc/commits/0bc21faf5cea3251b9fadf932629f7f1ca92f574"},{"sha":"eb68db425173753fe1912d420e98af35e425daf8","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"GCC 6 is no longer required\n\nFollow-up to: 49b77cea3 (Change utf8 to utf16 conversion to not require\ncodecvt.)\nFixes: #947","distinct":false,"url":"https://api.github.com/repos/reuk/cbmc/commits/eb68db425173753fe1912d420e98af35e425daf8"},{"sha":"167ffb876bb5dcd5400f7b08001fb6544c5c72e5","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"Added missing generated_files target to jsil\n\nFixes: #948","distinct":false,"url":"https://api.github.com/repos/reuk/cbmc/commits/167ffb876bb5dcd5400f7b08001fb6544c5c72e5"},{"sha":"baa57412a7e7a0dbc40c2ad26d31e9dcf5110d6a","author":{"name":"Daniel Poetzl","email":"a7b0c7ee73d5ba38cf80c0b20a2ce8f8aee8466d@cs.ox.ac.uk"},"message":"Use ai function output in goto-instrument.","distinct":false,"url":"https://api.github.com/repos/reuk/cbmc/commits/baa57412a7e7a0dbc40c2ad26d31e9dcf5110d6a"},{"sha":"026f2de21c8658ed0d5b52ecac760aa48df98bdb","author":{"name":"martin","email":"ea98e1d0a9a4d10e3af04e16be88050749615623@raphael"},"message":"Add output_json to the dependence_graph abstract domain.","distinct":false,"url":"https://api.github.com/repos/reuk/cbmc/commits/026f2de21c8658ed0d5b52ecac760aa48df98bdb"},{"sha":"4b6e59e934d33259da2f87c95c28b435fd8592dc","author":{"name":"martin","email":"ea98e1d0a9a4d10e3af04e16be88050749615623@raphael"},"message":"Improve annotation of dependence graph declarations.","distinct":false,"url":"https://api.github.com/repos/reuk/cbmc/commits/4b6e59e934d33259da2f87c95c28b435fd8592dc"},{"sha":"ffd6e552a5fc02bc4ab916425ed617f4e5fa2161","author":{"name":"martin","email":"ea98e1d0a9a4d10e3af04e16be88050749615623@raphael"},"message":"Add utility function for remove_unreachable.","distinct":false,"url":"https://api.github.com/repos/reuk/cbmc/commits/ffd6e552a5fc02bc4ab916425ed617f4e5fa2161"},{"sha":"ff65162072008afe5cdbaa9cb40e6fbf9fada9ae","author":{"name":"martin","email":"ea98e1d0a9a4d10e3af04e16be88050749615623@raphael"},"message":"Fix formatting of comments in interval domain.","distinct":false,"url":"https://api.github.com/repos/reuk/cbmc/commits/ff65162072008afe5cdbaa9cb40e6fbf9fada9ae"},{"sha":"3b0266de1575f993d85b1a52955676cb09bed02a","author":{"name":"martin","email":"ea98e1d0a9a4d10e3af04e16be88050749615623@raphael"},"message":"White space fix up in test case.","distinct":false,"url":"https://api.github.com/repos/reuk/cbmc/commits/3b0266de1575f993d85b1a52955676cb09bed02a"},{"sha":"60bea649b2a5b74d934e58be7bb9d84179be4a55","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"Tests have been fixed in some past commits","distinct":false,"url":"https://api.github.com/repos/reuk/cbmc/commits/60bea649b2a5b74d934e58be7bb9d84179be4a55"},{"sha":"20de0d7fa877937f3b9936bc72addd27963e5463","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"Make c_types widely available and avoid locally building types\n\nVarious places directly used pointer_width to build a signed/unsigned bvt.","distinct":false,"url":"https://api.github.com/repos/reuk/cbmc/commits/20de0d7fa877937f3b9936bc72addd27963e5463"},{"sha":"7f6443b1b0a584c9dda152553faec53e39222013","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"The sub-size of void* is undefined; use char* as specified in the standard\n\nThis patch includes a review of all uses of functions from pointer_offset_size.h\nas all of those may return nil or a negative number if the size could not be\ndetermined. Calling sites need to handle those cases as appropriate in a given\ncontext.","distinct":false,"url":"https://api.github.com/repos/reuk/cbmc/commits/7f6443b1b0a584c9dda152553faec53e39222013"},{"sha":"d209b90c58f546199fa265774f45cdc5a05f1127","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"cout/cerr message handlers are stream_message_handlert","distinct":false,"url":"https://api.github.com/repos/reuk/cbmc/commits/d209b90c58f546199fa265774f45cdc5a05f1127"},{"sha":"e3e74b0df2096395374441281445334bd12a97b6","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"Message handlers maintain counters of messages per level\n\nWorks at all message levels, instead of the previous get_errors_found\nworkarounds.","distinct":false,"url":"https://api.github.com/repos/reuk/cbmc/commits/e3e74b0df2096395374441281445334bd12a97b6"},{"sha":"aa8c5e97f91f7e8a9530bb5dd442421427944c35","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"Support flush at eom to ensure complete output","distinct":false,"url":"https://api.github.com/repos/reuk/cbmc/commits/aa8c5e97f91f7e8a9530bb5dd442421427944c35"},{"sha":"70755fcbcc9d0ff2cbd43380dcb89dd868afef1b","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"Removed legacy_typecheckt interface, use new message counters","distinct":false,"url":"https://api.github.com/repos/reuk/cbmc/commits/70755fcbcc9d0ff2cbd43380dcb89dd868afef1b"}]}
{"actor":{"display_login":"reuk"}}