{"push_id":2389533638,"size":54,"distinct_size":22,"ref":"refs/heads/bugfix/TG-2434/static-constructor-calling-opaque-constructor","head":"1a89e97e237b241ec1b879ff4a9a883624b0bded","before":"11aa4a0de97b6fc5d67ce428bb612bd5d45bc9cb","commits":[{"sha":"f5330c9fe44c8a290785b2ad206fe330112967f2","author":{"name":"Romain Brenguier","email":"b85ea2d6dcc482bea20a3fb7e3d8761fccb4a9b2@gmail.com"},"message":"Correct can_cast_expr for quantifier_exprt","distinct":false,"url":"https://api.github.com/repos/thk123/cbmc/commits/f5330c9fe44c8a290785b2ad206fe330112967f2"},{"sha":"0ed21cae099eb765fa648cde4c21e8a5ac604578","author":{"name":"Matthias Güdemann","email":"e0fa7639e2a6e9442046002ea3621467dedc2637@diffblue.com"},"message":"Treat empty optional case separately\n\nIn the case of an empty lambda_method_handlert, it was possible to try to access\nthe non-existent value. This PR fixes the case in the sense that an empty\noptionalt is never dereferenced.","distinct":false,"url":"https://api.github.com/repos/thk123/cbmc/commits/0ed21cae099eb765fa648cde4c21e8a5ac604578"},{"sha":"1edf0e842f0812b453313a0841fc1a7efeba7539","author":{"name":"Chris Ryder","email":"f209ab8a9c2d3cbeffa93755e2d167a6c6c83336@diffblue.com"},"message":"Cleanup Travis Makefile build commands\n\nCurrently, all Makefile based builds are debug builds. It appears nobody\nknows why, and there doesn't appear to be much need for them. Given they\ngenerate significantly increased object sizes, these have now been removed.\nAs part of this cleanup, the builds now uses the default CXXFLAGS, rather than\nverbatim copying them into the travis.yml file.","distinct":false,"url":"https://api.github.com/repos/thk123/cbmc/commits/1edf0e842f0812b453313a0841fc1a7efeba7539"},{"sha":"782df5203984db64e5ec825a40695f55874f3238","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"Merge pull request #1909 from chrisr-diffblue/travis-make-options-cleanup\n\nCleanup Travis Makefile build commands","distinct":false,"url":"https://api.github.com/repos/thk123/cbmc/commits/782df5203984db64e5ec825a40695f55874f3238"},{"sha":"fdba57c451195f588d5405aa27d851c701788b03","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"Merge pull request #1901 from romainbrenguier/fix/quantifier_exprt\n\nCorrect can_cast_expr for quantifier_exprt","distinct":false,"url":"https://api.github.com/repos/thk123/cbmc/commits/fdba57c451195f588d5405aa27d851c701788b03"},{"sha":"881b127661101cb9d730d5c8d1cb4a1a6385cb1e","author":{"name":"Peter Schrammel","email":"9988e568ccd7512d39cce657cd4a08341b29d18c@diffblue.com"},"message":"Refactor: use class_typet instead of struct_typet for java class","distinct":true,"url":"https://api.github.com/repos/thk123/cbmc/commits/881b127661101cb9d730d5c8d1cb4a1a6385cb1e"},{"sha":"8995fce703eae42eb2198416c5a4083c65165686","author":{"name":"Peter Schrammel","email":"9988e568ccd7512d39cce657cd4a08341b29d18c@diffblue.com"},"message":"Java arrays are instanceof Object","distinct":true,"url":"https://api.github.com/repos/thk123/cbmc/commits/8995fce703eae42eb2198416c5a4083c65165686"},{"sha":"ae276efb3f9577ed1998eca29c4107eec061f868","author":{"name":"Peter Schrammel","email":"9988e568ccd7512d39cce657cd4a08341b29d18c@diffblue.com"},"message":"Activate two instanceof regression tests","distinct":true,"url":"https://api.github.com/repos/thk123/cbmc/commits/ae276efb3f9577ed1998eca29c4107eec061f868"},{"sha":"5fa3a1a6435f3af769737f4371399c202e3f2ed3","author":{"name":"Peter Schrammel","email":"9988e568ccd7512d39cce657cd4a08341b29d18c@diffblue.com"},"message":"Refactor: improve variable naming","distinct":true,"url":"https://api.github.com/repos/thk123/cbmc/commits/5fa3a1a6435f3af769737f4371399c202e3f2ed3"},{"sha":"0fd648233cf796f98b12e3831ee74e87b31629c3","author":{"name":"Matthias Güdemann","email":"e0fa7639e2a6e9442046002ea3621467dedc2637@diffblue.com"},"message":"Add regression test","distinct":false,"url":"https://api.github.com/repos/thk123/cbmc/commits/0fd648233cf796f98b12e3831ee74e87b31629c3"},{"sha":"15d7b712b1d977078faf82e8033551be10b84f24","author":{"name":"Matthias Güdemann","email":"e0fa7639e2a6e9442046002ea3621467dedc2637@diffblue.com"},"message":"Merge pull request #1908 from mgudemann/bugfix/fix_bootstrapmethods_empty_optional\n\n[TG-2684] Bugfix/fix bootstrapmethods empty optional","distinct":false,"url":"https://api.github.com/repos/thk123/cbmc/commits/15d7b712b1d977078faf82e8033551be10b84f24"},{"sha":"76b93e882feb77612e6dbbc59b81c1049f2366ca","author":{"name":"marek-trtik","email":"d1e456c6cad568ebd9a8d1ad27d647c0b4ebe0b1@diffblue.com"},"message":"Factoring out a private code from module 'remove_virtual_functions.cpp'.\n\n1. Moved remove_virtual_functionst::get_functions to public section,\n2. Passing class_hierarchyt instance to class remove_virtual_functionst\n   instad of computing it inside,\n3. Introduced collect_virtual_function_callees to API of the module,\n4. Fixed CPPLINT issues.","distinct":false,"url":"https://api.github.com/repos/thk123/cbmc/commits/76b93e882feb77612e6dbbc59b81c1049f2366ca"},{"sha":"4a5b95280a7cef3f9bf999d5bf827bd265230472","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"export all gcc bultin headers","distinct":false,"url":"https://api.github.com/repos/thk123/cbmc/commits/4a5b95280a7cef3f9bf999d5bf827bd265230472"},{"sha":"1711345ce10fd69d54b2b12f19c955be546d7cbe","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"added a factory for builtin function declarations","distinct":false,"url":"https://api.github.com/repos/thk123/cbmc/commits/1711345ce10fd69d54b2b12f19c955be546d7cbe"},{"sha":"15ec42f1165355538fc9aa1670dff99da76d5fd1","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"use the builtins factory in the C frontend","distinct":false,"url":"https://api.github.com/repos/thk123/cbmc/commits/15ec42f1165355538fc9aa1670dff99da76d5fd1"},{"sha":"80ee0b14d3e1d062be730183368dfb8d5fa85d39","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"pass type definitions to the C++ front-end","distinct":false,"url":"https://api.github.com/repos/thk123/cbmc/commits/80ee0b14d3e1d062be730183368dfb8d5fa85d39"},{"sha":"17d98979994b8ba7588a172eebb5443cd3b198c4","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"switch to C++ version of find_pattern","distinct":false,"url":"https://api.github.com/repos/thk123/cbmc/commits/17d98979994b8ba7588a172eebb5443cd3b198c4"},{"sha":"2c8ae92d123e36121b9670090770de1172c74438","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"Makefile: use a variable for all those generated .inc files","distinct":false,"url":"https://api.github.com/repos/thk123/cbmc/commits/2c8ae92d123e36121b9670090770de1172c74438"},{"sha":"b38ecc3df8c22af55721a4e3cfae4989e7009f2e","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"added format() for exprt and typet","distinct":false,"url":"https://api.github.com/repos/thk123/cbmc/commits/b38ecc3df8c22af55721a4e3cfae4989e7009f2e"},{"sha":"5de436b53730bb677d1d0686a6fbe15719bb4775","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"usage of format() instead of from_expr for debugging","distinct":false,"url":"https://api.github.com/repos/thk123/cbmc/commits/5de436b53730bb677d1d0686a6fbe15719bb4775"}]}
{"actor":{"display_login":"thk123"}}