{"push_id":2705409524,"size":69,"distinct_size":3,"ref":"refs/heads/debian1","head":"0a990efb9bf3e8853d0ca9ad8300482e54c6bc6e","before":"9b809beeeb221d520f956e421fbfca523349d0b7","commits":[{"sha":"3aa9b72d7bf9171a4d9346d2866ce9b7bcc5649d","author":{"name":"Nathan Phillips","email":"4d790b27d6fb3ce447f818383d4a633ba603b92d@diffblue.com"},"message":"Add comment explaining unusual layout","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/3aa9b72d7bf9171a4d9346d2866ce9b7bcc5649d"},{"sha":"497d2960a0df54d6980993b90fd74aa32032991d","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Fix invariant: value must be strictly positive\n\nA value of zero would result in an invalid memory access later on.","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/497d2960a0df54d6980993b90fd74aa32032991d"},{"sha":"0e9aa9068e45c46d8e4ed83eb3cde58ab88c32fc","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Remove unused and inconsistent pointer_object_has_type\n\nIts definition was incomplete and necessarily unused as it didn't match its\ndeclaration.","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/0e9aa9068e45c46d8e4ed83eb3cde58ab88c32fc"},{"sha":"d0c2a492618cbb71185651bebd7f10134b8aa29e","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Remove unused parameter from list_calls_and_arguments","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/d0c2a492618cbb71185651bebd7f10134b8aa29e"},{"sha":"02e38408e1e6c4f3501a9c59bcaec0021238d0cf","author":{"name":"Peter Schrammel","email":"644cd02e1403dc68fa4d3b6ae4171f513505ac80@diffblue.com"},"message":"Fix delayed method body conversion for templates\n\nDo not add method body on declaration - they are handled upon use.","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/02e38408e1e6c4f3501a9c59bcaec0021238d0cf"},{"sha":"4193f02b10e29f498817794dc8b30b381e80eb51","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Remove unused parameters message_handler, ns","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/4193f02b10e29f498817794dc8b30b381e80eb51"},{"sha":"dab6a6e18a80ebded3ce348b55b966cf35fc6a07","author":{"name":"Michael Tautschnig","email":"0658929a32fcad205df089c884250dd482df435b@debian.org"},"message":"Fix tests that are only correct on little-endian architectures","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/dab6a6e18a80ebded3ce348b55b966cf35fc6a07"},{"sha":"cd6127a3e68b7eec5721916c3259c39aed6786b7","author":{"name":"Michael Tautschnig","email":"0658929a32fcad205df089c884250dd482df435b@debian.org"},"message":"Regression test should succeed even if char is an unsigned type","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/cd6127a3e68b7eec5721916c3259c39aed6786b7"},{"sha":"bc7a527b42cae3aeb4f427dcc6af630d68ac650b","author":{"name":"Michael Tautschnig","email":"0658929a32fcad205df089c884250dd482df435b@debian.org"},"message":"Fix copy&paste error in C library","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/bc7a527b42cae3aeb4f427dcc6af630d68ac650b"},{"sha":"c6c1938de4af1e709c6fb0982ad4ba51fff9004a","author":{"name":"Michael Tautschnig","email":"0658929a32fcad205df089c884250dd482df435b@debian.org"},"message":"utf8 to utf16 conversion must use native endianness\n\nThere is no obvious reason why native endianness should not be used, and\ntests failed on big-endian architectures.","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/c6c1938de4af1e709c6fb0982ad4ba51fff9004a"},{"sha":"60ad26c4765f2d06225773d4b97e6ccefef24b44","author":{"name":"Michael Tautschnig","email":"0658929a32fcad205df089c884250dd482df435b@debian.org"},"message":"kfreebsd also uses ELF, and hybrid binaries are thus supported","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/60ad26c4765f2d06225773d4b97e6ccefef24b44"},{"sha":"be5f2ffa790c77d6cc8acbba1657e7698be7f41a","author":{"name":"Michael Tautschnig","email":"0658929a32fcad205df089c884250dd482df435b@debian.org"},"message":"Use architecture-specific compiler flags to configure bit width during preprocessing","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/be5f2ffa790c77d6cc8acbba1657e7698be7f41a"},{"sha":"26803f7ee4998a3632ea64b343acc22dced2605b","author":{"name":"Michael Tautschnig","email":"0658929a32fcad205df089c884250dd482df435b@debian.org"},"message":"Test only works with simplification enabled\n\n... and simplification is only performed for byte_extract_little_endian.","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/26803f7ee4998a3632ea64b343acc22dced2605b"},{"sha":"13f83d5602b7836fa37bdb028994eff4ef48ebd9","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Use to_ulong instead of the deprecated integer2ulong","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/13f83d5602b7836fa37bdb028994eff4ef48ebd9"},{"sha":"2aa6a2f08cd31ad9e6f126b2150d8dfe36fa4f8b","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Use non-deprecated to_integer(constant_expr)","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/2aa6a2f08cd31ad9e6f126b2150d8dfe36fa4f8b"},{"sha":"96a70142f3f5cc9a5eee1e4e3240921ea2b48041","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Explicit type cast to avoid signed/unsigned warning","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/96a70142f3f5cc9a5eee1e4e3240921ea2b48041"},{"sha":"18faa5a85435cd8dcc4e7b3263bf8f3e3ecb5400","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"String refinement: remove unused parameters","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/18faa5a85435cd8dcc4e7b3263bf8f3e3ecb5400"},{"sha":"c789088d48c5a8b184bce76a249b3b3b0e8f0cf2","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Remove unused parameter from value_set_fivrt::flatten_rec","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/c789088d48c5a8b184bce76a249b3b3b0e8f0cf2"},{"sha":"681ec2234ae3c73e5710aa32e0d7e8a8b3534b1d","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Add dummy initialisation to avoid Visual Studio warning","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/681ec2234ae3c73e5710aa32e0d7e8a8b3534b1d"},{"sha":"a746a2c5cd99a68450931928584f66af3e1ed034","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Extract unsigned value from options","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/a746a2c5cd99a68450931928584f66af3e1ed034"}]}
{"actor":{"display_login":"tautschnig"}}