{"push_id":2781729569,"size":76,"distinct_size":2,"ref":"refs/heads/union_tag","head":"a5f2bb63023ea101d0f68c8c65ab1c464a35bbdc","before":"68cfacd53370435c805979b74d34b297ef58124e","commits":[{"sha":"570350415404ed7de45cce87738d81bc7fffae40","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Remove unused parameter identifier","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/570350415404ed7de45cce87738d81bc7fffae40"},{"sha":"aa743b30160586e3c453632cecd3afbc39739fa9","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Remove unused exception name from catch statement","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/aa743b30160586e3c453632cecd3afbc39739fa9"},{"sha":"96d345b55c38c9590d58027f67ca4b67fbeb56b1","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Clean GCC conditional expressions in right-hand sides of declarations\n\nFixes: #2662","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/96d345b55c38c9590d58027f67ca4b67fbeb56b1"},{"sha":"f2dc978365f4bf2675f9d8688a38cdcfc24e9116","author":{"name":"svorenova","email":"9926e8e412c6011f5ed62ade44885cffc31554d4@diffblue.com"},"message":"Add a new comment to mark variables that should not be nondet initialized\n\nThis will be used by nondet-static option and will mark internal\nvariables that are not CPROVER variables such as language specific\ninternal variables - in Java, for example, @inflight_exception and\nclinit_already_run","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/f2dc978365f4bf2675f9d8688a38cdcfc24e9116"},{"sha":"b3c08d3dcabe3963bdc48b0eebeccd0df173e7a0","author":{"name":"svorenova","email":"9926e8e412c6011f5ed62ade44885cffc31554d4@diffblue.com"},"message":"Mark internal Java variables with ID_C_no_nondet_initialization\n\nThis sets the flag to be true for java::@inflight_exception and static\ninitializer internal variables (including clinit_already_run)","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/b3c08d3dcabe3963bdc48b0eebeccd0df173e7a0"},{"sha":"a50562e9f9500b4dbbc25f1bd28049f37338e991","author":{"name":"svorenova","email":"9926e8e412c6011f5ed62ade44885cffc31554d4@diffblue.com"},"message":"Mark java.lang.String.Literals with ID_C_constant\n\nThis will also make sure that nondet-static option does not nondet-\ninitialize these","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/a50562e9f9500b4dbbc25f1bd28049f37338e991"},{"sha":"b62bf0158161d68756186671f13a15fb78ac9912","author":{"name":"svorenova","email":"9926e8e412c6011f5ed62ade44885cffc31554d4@diffblue.com"},"message":"Make nondet-static check for ID_C_no_nondet_initialization","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/b62bf0158161d68756186671f13a15fb78ac9912"},{"sha":"9762886ec8983542587960a84e85e7196be0d980","author":{"name":"Romain Brenguier","email":"1850fe8e28abcd0cd143dd81a115bfa7a40fbc74@gmail.com"},"message":"Refactor string_concat_char builtin function\n\nThis makes the argument an explicit field in the class which is clearer\nand safer than using a vector of arguments.","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/9762886ec8983542587960a84e85e7196be0d980"},{"sha":"9415a2476095da645997d72c3e316fa7bd2d4aef","author":{"name":"Romain Brenguier","email":"1850fe8e28abcd0cd143dd81a115bfa7a40fbc74@gmail.com"},"message":"Refactor add_axioms_for_set_char","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/9415a2476095da645997d72c3e316fa7bd2d4aef"},{"sha":"2a8ea0f3b657c0e539543d4404928295bddacf76","author":{"name":"Romain Brenguier","email":"1850fe8e28abcd0cd143dd81a115bfa7a40fbc74@gmail.com"},"message":"Better specify out-of-bounds case for set_char","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/2a8ea0f3b657c0e539543d4404928295bddacf76"},{"sha":"f4285e767134624665dd9f5b758004f56f62b848","author":{"name":"Romain Brenguier","email":"1850fe8e28abcd0cd143dd81a115bfa7a40fbc74@gmail.com"},"message":"Add builtin support for string_set_char","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/f4285e767134624665dd9f5b758004f56f62b848"},{"sha":"31366adec56913c06a3271aba645293efa3275ab","author":{"name":"Romain Brenguier","email":"1850fe8e28abcd0cd143dd81a115bfa7a40fbc74@gmail.com"},"message":"Tests for StringBuilder.setCharAt","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/31366adec56913c06a3271aba645293efa3275ab"},{"sha":"1bca129fba925b26af6323f6083b74d0b2748d3b","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"Merge pull request #2665 from tautschnig/gcc-conditional-stmt\n\nClean GCC conditional expressions in right-hand sides of declarations","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/1bca129fba925b26af6323f6083b74d0b2748d3b"},{"sha":"daff1d1c75c5a4795320fe523e6845571dd77397","author":{"name":"svorenova","email":"9926e8e412c6011f5ed62ade44885cffc31554d4@diffblue.com"},"message":"Make nondet-static replace lines in CPROVER_init\n\nInstead of keeping both the original line that sets the value of a\nvariable and the new line that nondet initializes it, we only keep the\nnew one","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/daff1d1c75c5a4795320fe523e6845571dd77397"},{"sha":"46f62314e6d48089fb646fac3a776d45f27f865e","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"cbmc test no longer uses --cover","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/46f62314e6d48089fb646fac3a776d45f27f865e"},{"sha":"114030b74f54109c8978f806786979e4d6dd807a","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"Merge pull request #2664 from romainbrenguier/feature/extend-builtin-functions-part2\n\nExtend builtin functions for string_set_char","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/114030b74f54109c8978f806786979e4d6dd807a"},{"sha":"b391c9e0569e3918e8913b85bd47c8a84bfb0cb9","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"introduce typedef_type in the C frontend","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/b391c9e0569e3918e8913b85bd47c8a84bfb0cb9"},{"sha":"d42054a29b2e1a229920e15ac73d71256a320095","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"Merge pull request #2669 from diffblue/spurious-cover-test\n\nuse assertion in test regenerate-entry-function","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/d42054a29b2e1a229920e15ac73d71256a320095"},{"sha":"09fdca30a1a8cb625a245545f2b19a69828e70ab","author":{"name":"svorenova","email":"9926e8e412c6011f5ed62ade44885cffc31554d4@diffblue.com"},"message":"Merge pull request #2643 from svorenova/fixup-nondet-static\n\nFix-up to nondet-static option [TG-4365]","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/09fdca30a1a8cb625a245545f2b19a69828e70ab"},{"sha":"694daaf3286f512ac26c61efbc31481683de75b9","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"gcc mode: error in case multiple files are given with -c and -o","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/694daaf3286f512ac26c61efbc31481683de75b9"}]}
{"actor":{"display_login":"kroening"}}