{"push_id":2704480611,"size":55,"distinct_size":53,"ref":"refs/heads/visual-studio-warnings","head":"ce1b97c7c02b5815fd13f60dd9c6cd964e357f5e","before":"506ecdf3c55a1f6b534e59ad71acc7bdb1dbd246","commits":[{"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":"d1a416983341ee59695a0439d8d098aa7507b47d","author":{"name":"Michael Tautschnig","email":"0658929a32fcad205df089c884250dd482df435b@debian.org"},"message":"Merge pull request #2542 from tautschnig/vs-string-refinement\n\nString refinement: remove unused parameters","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/d1a416983341ee59695a0439d8d098aa7507b47d"},{"sha":"1e2a42834ce8b3ebd22d66a238c57843d0262e03","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Cleanup java_bytecode_parse_treet: all members are public, no virtual tables required","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/1e2a42834ce8b3ebd22d66a238c57843d0262e03"},{"sha":"b45082e131a5749cf41c3013a5d6362df421d54b","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Remove unused interface","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/b45082e131a5749cf41c3013a5d6362df421d54b"},{"sha":"4385ff74d8b12980285159f0657b6cd897e9bf89","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Cleanup of float_bvt\n\nThere is no intend for it to be inherited from, thus make members private.","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/4385ff74d8b12980285159f0657b6cd897e9bf89"},{"sha":"6f27ad8b053251903d553fda2f8dfa30fbbb09ba","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"(interval_)sparse_arrayt: Remove unnecessary use of \"virtual\" and further cleanup","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/6f27ad8b053251903d553fda2f8dfa30fbbb09ba"},{"sha":"9aebeed178b3f999070e2727802bae1e62ae4a71","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Match each #define ... 1 with a #define ... 0\n\nnonstd/optional uses #if instead of #ifdef without #ifdef/#ifndef guards.","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/9aebeed178b3f999070e2727802bae1e62ae4a71"},{"sha":"c4fe9181091d4ddebf703204de251c61daf9d9f3","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Do not artificially separate message handler and uit\n\nThey were passed around independently, even though they originated from the very\nsame object.","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/c4fe9181091d4ddebf703204de251c61daf9d9f3"},{"sha":"bc4e569329da7650d6211c6674c60bb5afa4bab5","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Convert to signed type to make negation meaningful","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/bc4e569329da7650d6211c6674c60bb5afa4bab5"},{"sha":"af3960b2d17085eaf6d724eb81ace7bb1c552a2b","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"stack_depth takes a signed int as argument","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/af3960b2d17085eaf6d724eb81ace7bb1c552a2b"},{"sha":"e533c9a872797f539228175b7615191075d20923","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Consistently use unsigned in big-int","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/e533c9a872797f539228175b7615191075d20923"},{"sha":"c4b0f52d5b628de01da895a15a2f2d29698365eb","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Remove or document unused parameter function_id","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/c4b0f52d5b628de01da895a15a2f2d29698365eb"},{"sha":"ee62e1066946e3b114dd421a07aa800c057c771d","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Silence #if/#elif warnings originating from Windows header files","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/ee62e1066946e3b114dd421a07aa800c057c771d"},{"sha":"2e6d0db78a691f3f6e2fd2b6fe8fbcf97543ff87","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Visual Studio: silence warnings about local variables assigned-but-not-used","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/2e6d0db78a691f3f6e2fd2b6fe8fbcf97543ff87"},{"sha":"4ca011f08660cc3d603928ffcb27d3430b8433ba","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Avoid signed/unsigned casts and conversion in goto_inline","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/4ca011f08660cc3d603928ffcb27d3430b8433ba"},{"sha":"2516fcae0c406aa3c75b66dd2695e0d4ef6f8666","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"expr2c: Remove precedence parameter where unused","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/2516fcae0c406aa3c75b66dd2695e0d4ef6f8666"},{"sha":"f798cf3653f36e2a5b3a11842f34aba5b8c90437","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Remove unused exception name from catch statement","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/f798cf3653f36e2a5b3a11842f34aba5b8c90437"},{"sha":"dc211e14e582d62e8188634bb9b7505dd1025f23","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Remove names of unused parameters","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/dc211e14e582d62e8188634bb9b7505dd1025f23"},{"sha":"b126721cd8e53990319b2c0cf3f6d6576f67fcf3","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Silence warnings about unused parameters\n\nTheir names are useful to understand the purpose of the function and/or are part\nof Doxygen documentation, and thus cannot be removed.","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/b126721cd8e53990319b2c0cf3f6d6576f67fcf3"},{"sha":"a61ab8b217473f80f94e81e20a68d20c6eeeae8a","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Remove unused parameter identifier","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/a61ab8b217473f80f94e81e20a68d20c6eeeae8a"}]}
{"actor":{"display_login":"tautschnig"}}