{"push_id":3100353679,"size":157,"distinct_size":7,"ref":"refs/heads/no-cmdline-in-goto-model","head":"a3797d78890a1ef67ef058cc4ce2f2ca395e552a","before":"d09d22236f520f865777bdfd952432e638d13686","commits":[{"sha":"fdf2a09faf2052d3226f6b6f36a0e1918a0afffd","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Remove names of unused parameters\n\nRemoving the parameter completely is not an option for these as they are part of\ninherited APIs, but at the same time the names do not have value in terms of\ndocumentation.","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/fdf2a09faf2052d3226f6b6f36a0e1918a0afffd"},{"sha":"f5bd587b3a0a087760000646b16086ee4b34d175","author":{"name":"Sonny Martin","email":"41184dac9b5110034d9a88bcd310f16d80caa77e@diffblue.com"},"message":"Basic information about cprover output","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/f5bd587b3a0a087760000646b16086ee4b34d175"},{"sha":"92494231eb033c2e163065688535062002f6ebc9","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"smt2_solver: SMT2-specific message output\n\nerrors get reported as (error \"message\"); any other output is marked as\ncomment.","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/92494231eb033c2e163065688535062002f6ebc9"},{"sha":"9cff682afcebab693ad7f8a70fb4ae5d40da0011","author":{"name":"Romain Brenguier","email":"1850fe8e28abcd0cd143dd81a115bfa7a40fbc74@gmail.com"},"message":"Make switch_to_thread static\n\nThis only uses public fields and is only used in one cpp file, so it\ndoes not need to be publicly exposed.","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/9cff682afcebab693ad7f8a70fb4ae5d40da0011"},{"sha":"a7b712da7f98cafce3c79af9568fe006a29f7d42","author":{"name":"johndumbell","email":"9ddd81dcd62f63c8a8070dc60352097efe9fe1bf@diffblue.com"},"message":"Fixes static initializers not being called on specific types\n\nPreviously it was assumed that instantiated_classes would be iterated through and then asserted that everything has a static initializer set up. This isn't the case anymore and this check (and insertion) is done when classes are marked as needed. This direct insert bypassed that functionality meaning certain classes were missing cproverNondetInitialize and clinit calls.","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/a7b712da7f98cafce3c79af9568fe006a29f7d42"},{"sha":"c0d9350f45146849f8c58ae898e2d679e2aa70eb","author":{"name":"johndumbell","email":"9ddd81dcd62f63c8a8070dc60352097efe9fe1bf@diffblue.com"},"message":"Add unit test to exhibit indirect enum initialization issue\n\nNot all steps here may be required, but it was this sort of structure that triggered the issue in the first place.","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/c0d9350f45146849f8c58ae898e2d679e2aa70eb"},{"sha":"e931b75f5cbdee4264ed72905c1cd6a665f76a47","author":{"name":"johndumbell","email":"9ddd81dcd62f63c8a8070dc60352097efe9fe1bf@diffblue.com"},"message":"Moving next_free_suffix into symbol_table_base","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/e931b75f5cbdee4264ed72905c1cd6a665f76a47"},{"sha":"5e381c301523fdf54d1956b0afc2e44681b90dcb","author":{"name":"johndumbell","email":"9ddd81dcd62f63c8a8070dc60352097efe9fe1bf@diffblue.com"},"message":"Spliting smallest_unused_suffix into two\n\nOne keeps the old functionality, while the other just allows us to tell it on what number to start the suffix search.","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/5e381c301523fdf54d1956b0afc2e44681b90dcb"},{"sha":"acd0a0e0ea0f680b778f1aa94c1c5afe55184a7b","author":{"name":"johndumbell","email":"9ddd81dcd62f63c8a8070dc60352097efe9fe1bf@diffblue.com"},"message":"Renaming smallest_unused_suffix to next_unused_suffix","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/acd0a0e0ea0f680b778f1aa94c1c5afe55184a7b"},{"sha":"e8e2d977de7d24641c2b57cfbc15d0d21bc57db8","author":{"name":"Michael Tautschnig","email":"0658929a32fcad205df089c884250dd482df435b@debian.org"},"message":"Merge pull request #3446 from romainbrenguier/refactor/switch-to-thread\n\nMake switch_to_thread static","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/e8e2d977de7d24641c2b57cfbc15d0d21bc57db8"},{"sha":"de0b481f28f0246ca1456d9d956ad6ba89196b9f","author":{"name":"Michael Tautschnig","email":"0658929a32fcad205df089c884250dd482df435b@debian.org"},"message":"Merge pull request #3426 from tautschnig/vs-remove-names\n\nRemove names of unused parameters [blocks: #2310]","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/de0b481f28f0246ca1456d9d956ad6ba89196b9f"},{"sha":"23932b8440510d07b6be72e9f9aec9228454ec17","author":{"name":"Michael Tautschnig","email":"0658929a32fcad205df089c884250dd482df435b@debian.org"},"message":"Merge pull request #3392 from sonodtt/doc-day-cprover-printing-overview\n\nBasic placeholder information about cprover printing.","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/23932b8440510d07b6be72e9f9aec9228454ec17"},{"sha":"1893fdb13f5ae86bcd1ea59e47d047cc8a2f651e","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"Merge pull request #3440 from diffblue/smt2_diagnostic_output\n\nsmt2_solver: SMT2-specific message output","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/1893fdb13f5ae86bcd1ea59e47d047cc8a2f651e"},{"sha":"e4f3fc3f4b4f1bf52daba8d101cd1ce152bd55c1","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"smt2 backend: fix constants","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/e4f3fc3f4b4f1bf52daba8d101cd1ce152bd55c1"},{"sha":"f5f870b97f89bcfdaca754d8b10eff72f0c2c3be","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"Merge pull request #3460 from diffblue/smt2-fixes\n\nSMT2-backend fix: constants","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/f5f870b97f89bcfdaca754d8b10eff72f0c2c3be"},{"sha":"449a3f920ff9128dfd395ef063c2c0c514cecc92","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"move smt2_format into separate file","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/449a3f920ff9128dfd395ef063c2c0c514cecc92"},{"sha":"d5db868770e8f21fb6469df83d9e7e846c72db3c","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"smt2_format can now format symbols and constants","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/d5db868770e8f21fb6469df83d9e7e846c72db3c"},{"sha":"d6f7c5a3ebddd24d67f9af3345c0690e0b79ef45","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"smt2_solver: implement get-value","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/d6f7c5a3ebddd24d67f9af3345c0690e0b79ef45"},{"sha":"d1be84d481d193deb8ea1cb8faf0d51721087080","author":{"name":"Romain Brenguier","email":"1850fe8e28abcd0cd143dd81a115bfa7a40fbc74@gmail.com"},"message":"Remove typedef used only once","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/d1be84d481d193deb8ea1cb8faf0d51721087080"},{"sha":"1410f065b50aac5f3ba719760c7253d3c89b1c2c","author":{"name":"Romain Brenguier","email":"1850fe8e28abcd0cd143dd81a115bfa7a40fbc74@gmail.com"},"message":"Use ranged for instead of iterators","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/1410f065b50aac5f3ba719760c7253d3c89b1c2c"}]}
{"actor":{"display_login":"peterschrammel"}}