{"push_id":2619411699,"size":15,"distinct_size":15,"ref":"refs/heads/gcc-8-fixes","head":"cf20d862b4cbc5208646cd1291d51ec178cf72d4","before":"25408cbdf0a4adb560f781bc6e9774000453477d","commits":[{"sha":"0ff138419b0590accd748a878a29a766338b2263","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Remove unused local variable","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/0ff138419b0590accd748a878a29a766338b2263"},{"sha":"6f72d9b1ab779a25f57b1b09cbc1865b71a45718","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Split binary string in plain-text output of goto trace in groups of 8","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/6f72d9b1ab779a25f57b1b09cbc1865b71a45718"},{"sha":"65f0ec043efde59140eb91481da9f37719738800","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Provide a source location when analysis finds constness is lost","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/65f0ec043efde59140eb91481da9f37719738800"},{"sha":"75f021c46d58caeb8418eca31c71cea8bb32f206","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Print current depth in BMC progress debug logging","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/75f021c46d58caeb8418eca31c71cea8bb32f206"},{"sha":"07ef32da141ffa1c18f76d5d65b32046a3a6ab94","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"remove_const_function_pointerst::functionst only holds symbol expressions","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/07ef32da141ffa1c18f76d5d65b32046a3a6ab94"},{"sha":"e698be9163ad647be4a10b3f769961dec4988b0a","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Cleanup: use most suitable symbol_exprt constructor","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/e698be9163ad647be4a10b3f769961dec4988b0a"},{"sha":"9717af2867492bd0510349af15627191c4c894b4","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"messaget helper to encapsulate if(debug-verbosity) { complex output }","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/9717af2867492bd0510349af15627191c4c894b4"},{"sha":"e515f2674d628fdeabb5b29cd967811b16694261","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"List all candidate functions for a function pointer at debug verbosity","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/e515f2674d628fdeabb5b29cd967811b16694261"},{"sha":"b0fce606ad078b7ed98eb35211b53741c76c1b22","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Print (at debug level) the size of assignments during symex","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/b0fce606ad078b7ed98eb35211b53741c76c1b22"},{"sha":"6f51513a962c5e356157e90c4a97dc4a3ac51f0a","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Print (at debug level) the current SSA step being converted","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/6f51513a962c5e356157e90c4a97dc4a3ac51f0a"},{"sha":"bb1bae93f05bec831f101450f534d334ba292f8b","author":{"name":"Michael Tautschnig","email":"0658929a32fcad205df089c884250dd482df435b@debian.org"},"message":"Merge pull request #2184 from tautschnig/human-readable-output\n\nCleanup and extend user-directed output","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/bb1bae93f05bec831f101450f534d334ba292f8b"},{"sha":"8f16de1a093ba03dd1e7e47ad78e93e62a0cc640","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Silence Minisat's use of realloc on non-POD and fix and use its xrealloc\n\nThis was a new GCC 8 warning; testing on errno == ENOMEM with && opened the door\nfor non-compliant implementations to fail to allocate without capacity()\nfailing.","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/8f16de1a093ba03dd1e7e47ad78e93e62a0cc640"},{"sha":"08555ded16597ddd66385075d19521e9642cdd26","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Do not use parentheses around the declared symbol\n\nGCC 8 doesn't like this.","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/08555ded16597ddd66385075d19521e9642cdd26"},{"sha":"668cb2e25e5f778ee1638b749376b808dbb25665","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Silence spurious GCC 8 warning\n\nFor an unknown reason GCC 8 thinks is_float is never used.","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/668cb2e25e5f778ee1638b749376b808dbb25665"},{"sha":"cf20d862b4cbc5208646cd1291d51ec178cf72d4","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Use a reference with exception types that use vtables\n\nGCC 8 warns about this.","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/cf20d862b4cbc5208646cd1291d51ec178cf72d4"}]}
{"actor":{"display_login":"tautschnig"}}