{"push_id":2500482729,"size":5,"distinct_size":5,"ref":"refs/heads/pointer-overflow-check","head":"ba7ce3968fce38c09ac3c4076bb2b52539528528","before":"37fbecb66e347eba8db67cccf4ee80e987d1086e","commits":[{"sha":"2d64c8e0e10355f295ad380795e5a761f447f7b9","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Note type inconsistencies in solver axioms and avoid simplifying","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/2d64c8e0e10355f295ad380795e5a761f447f7b9"},{"sha":"e3da8b55a4a7c613442d8dd6554ed36662bcf830","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Expression simplification must not alter the type","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/e3da8b55a4a7c613442d8dd6554ed36662bcf830"},{"sha":"33a30d866cbba141bd3148125c8be538841b720f","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Simplifier: in pointer-typed (a + b) + c the pointer may be c\n\nThe rewrite tries to combine the integer-typed operands; if c is the pointer,\nthen (a + b) is already of the right form and no changes are needed.","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/33a30d866cbba141bd3148125c8be538841b720f"},{"sha":"7fa73cde523598d8988af04928fe5cd60fb5a5ca","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Pointer arithmetic has two operands by construction\n\nSimplify the code accordingly and include a regression test that exercises it.","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/7fa73cde523598d8988af04928fe5cd60fb5a5ca"},{"sha":"ba7ce3968fce38c09ac3c4076bb2b52539528528","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Use proper APIs to obtain bitvector type width","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/ba7ce3968fce38c09ac3c4076bb2b52539528528"}]}
{"actor":{"display_login":"tautschnig"}}