{"push_id":2408894375,"size":73,"distinct_size":72,"ref":"refs/heads/develop-feature_generate_function_bodies","head":"ca0553a940848521452393d146224a8ef98317bd","before":"ea1f7521560122e6581524390b11365c68b53e0d","commits":[{"sha":"ee2cf1433d253036db5e5082a66c61d960f6f366","author":{"name":"Romain Brenguier","email":"b85ea2d6dcc482bea20a3fb7e3d8761fccb4a9b2@gmail.com"},"message":"Correct author entry","distinct":true,"url":"https://api.github.com/repos/hannes-steffenhagen-diffblue/cbmc/commits/ee2cf1433d253036db5e5082a66c61d960f6f366"},{"sha":"22b162879dd7718749c88d39b9fe217508d8df34","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"goto-analyzer (un)reachable-functions: build valid json output\n\nSome functions do not have a location attached to the END_FUNCTION instruction.\nThis should be fixed (as is discussed in PR#918), but until such a fix is in\nplace this workaround will ensure JSON output is valid by not exclusively\nrelying on the END_FUNCTION location.\n\nThe regression tests now explicitly test for absence of such invalid JSON.","distinct":true,"url":"https://api.github.com/repos/hannes-steffenhagen-diffblue/cbmc/commits/22b162879dd7718749c88d39b9fe217508d8df34"},{"sha":"2ae531040f25443995b8dabe2fb45ce07e003770","author":{"name":"Peter Schrammel","email":"9988e568ccd7512d39cce657cd4a08341b29d18c@diffblue.com"},"message":"Add timestamp to JSON and XML messages","distinct":true,"url":"https://api.github.com/repos/hannes-steffenhagen-diffblue/cbmc/commits/2ae531040f25443995b8dabe2fb45ce07e003770"},{"sha":"9374a1f049b7f1b537d3072e0f8bea36a7a9a5dd","author":{"name":"Peter Schrammel","email":"9988e568ccd7512d39cce657cd4a08341b29d18c@diffblue.com"},"message":"Remove trailing whitespace from timestamp string","distinct":true,"url":"https://api.github.com/repos/hannes-steffenhagen-diffblue/cbmc/commits/9374a1f049b7f1b537d3072e0f8bea36a7a9a5dd"},{"sha":"5912a041d73f09282c8f2845a5393a1f93d3e59e","author":{"name":"thk123","email":"5f919b14acad347486cfcc925fe5476cb2791020@diffblue.com"},"message":"Refactored java_load_class to allow specifying different cmd line args\n\nThis will allow adding a lazy version. Don't set flags on optiont that take the\ndefault value anyway","distinct":true,"url":"https://api.github.com/repos/hannes-steffenhagen-diffblue/cbmc/commits/5912a041d73f09282c8f2845a5393a1f93d3e59e"},{"sha":"72fc31e542b31db75a5d27f32e75280e180bdb24","author":{"name":"thk123","email":"5f919b14acad347486cfcc925fe5476cb2791020@diffblue.com"},"message":"Add lazy version of load_java_class\n\nThis can be used to test the lazy behaviour of bytecode parsing","distinct":true,"url":"https://api.github.com/repos/hannes-steffenhagen-diffblue/cbmc/commits/72fc31e542b31db75a5d27f32e75280e180bdb24"},{"sha":"3864e6cfd2c59662f1d0adefff7bf80e3ad118ac","author":{"name":"thk123","email":"5f919b14acad347486cfcc925fe5476cb2791020@diffblue.com"},"message":"Updating comment with relevant JIRA ticket","distinct":true,"url":"https://api.github.com/repos/hannes-steffenhagen-diffblue/cbmc/commits/3864e6cfd2c59662f1d0adefff7bf80e3ad118ac"},{"sha":"1abbaff75301ca60905405725bea59bc2eb41943","author":{"name":"Michael Tautschnig","email":"fd1ef0d7c905eb5db5ac61801dcf5e96317c84ad@debian.org"},"message":"Merge pull request #1927 from peterschrammel/json-xml-timestamps\n\nJSON and XML message timestamps","distinct":true,"url":"https://api.github.com/repos/hannes-steffenhagen-diffblue/cbmc/commits/1abbaff75301ca60905405725bea59bc2eb41943"},{"sha":"08ad919ef92b9eb2371f6b09894ad471350d9539","author":{"name":"Thomas Kiley","email":"ac59214222b6391ec42e755da22dbe4ffccb8799@diffblue.com"},"message":"Merge pull request #1913 from thk123/refactor/lazy-load-java-class-unit-tests\n\nRefactor load java class to allow lazy loading of methods","distinct":true,"url":"https://api.github.com/repos/hannes-steffenhagen-diffblue/cbmc/commits/08ad919ef92b9eb2371f6b09894ad471350d9539"},{"sha":"802b8192bb1660a7a7b24674a4deaa758326bfb3","author":{"name":"Michael Tautschnig","email":"fd1ef0d7c905eb5db5ac61801dcf5e96317c84ad@debian.org"},"message":"Merge pull request #1926 from tautschnig/fix-json\n\ngoto-analyzer (un)reachable-functions: build valid json output","distinct":true,"url":"https://api.github.com/repos/hannes-steffenhagen-diffblue/cbmc/commits/802b8192bb1660a7a7b24674a4deaa758326bfb3"},{"sha":"3af550932c10eee8ac83be14c4dd268e55bd6bfb","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"Merge pull request #1923 from romainbrenguier/author-refinement-util\n\nCorrect author entry","distinct":true,"url":"https://api.github.com/repos/hannes-steffenhagen-diffblue/cbmc/commits/3af550932c10eee8ac83be14c4dd268e55bd6bfb"},{"sha":"c470bdfea5ae29eada9ae0ff61f5b8261604fb90","author":{"name":"Owen","email":"2ea9563649426b5877299d9d19d44c3edaa4a6be@diffblue.com"},"message":"Replace assert(false) by UNREACHABLE\n\nThis is needed for the release build to work, because asserts are removed","distinct":true,"url":"https://api.github.com/repos/hannes-steffenhagen-diffblue/cbmc/commits/c470bdfea5ae29eada9ae0ff61f5b8261604fb90"},{"sha":"6eab1600a22b825d6366b00398bc1208a41bef82","author":{"name":"Owen","email":"2ea9563649426b5877299d9d19d44c3edaa4a6be@diffblue.com"},"message":"Speed up resolution of virtual callsites in lazy loading v1\n\nWe removed duplicates from the list of virtual callsites by using an\nunordered set. This gave a large speed up on at least one use case.\nThere is scope for further optimisation.","distinct":true,"url":"https://api.github.com/repos/hannes-steffenhagen-diffblue/cbmc/commits/6eab1600a22b825d6366b00398bc1208a41bef82"},{"sha":"06ab44066301c7314dd315363d8c93a4c2549a8a","author":{"name":"Thomas Kiley","email":"ac59214222b6391ec42e755da22dbe4ffccb8799@diffblue.com"},"message":"Merge pull request #1930 from owen-jones-diffblue/owen-jones-diffblue/skip-duplicate-callsites-in-lazy-methods-v1\n\nSpeed up resolution of virtual callsites in lazy loading v1","distinct":true,"url":"https://api.github.com/repos/hannes-steffenhagen-diffblue/cbmc/commits/06ab44066301c7314dd315363d8c93a4c2549a8a"},{"sha":"28c6477e0e7d8409dcf065c13c1ecf05276a0c95","author":{"name":"thk123","email":"5f919b14acad347486cfcc925fe5476cb2791020@diffblue.com"},"message":"Adding utility for getting symbols out of the symbol table","distinct":true,"url":"https://api.github.com/repos/hannes-steffenhagen-diffblue/cbmc/commits/28c6477e0e7d8409dcf065c13c1ecf05276a0c95"},{"sha":"e1961d854d6daf42229566d950f36dc6bb53f0e3","author":{"name":"thk123","email":"5f919b14acad347486cfcc925fe5476cb2791020@diffblue.com"},"message":"Adding unit tests for verifying the behaviour of lazy methods on lambdas","distinct":true,"url":"https://api.github.com/repos/hannes-steffenhagen-diffblue/cbmc/commits/e1961d854d6daf42229566d950f36dc6bb53f0e3"},{"sha":"e11163cb7c8722b105fd809b8cc636845c7c5e10","author":{"name":"Matthias Güdemann","email":"e0fa7639e2a6e9442046002ea3621467dedc2637@diffblue.com"},"message":"Continue parsing after unsupported  BootstrapMethods entry\n\nBefore it was possible to keep some `BootstrapMethods` entries unparsed, after a\ncurrently unsupported was found. This lead to the situation that JBMC ended up\nwith a wrong file offset which caused problems in the case of class file\nattributes being present after the `BootstrapMethods` attribute.\n\nThis was not observed using the Oracle or OpenJDK compilers, but currently only\non the Eclipse compiler for Java.","distinct":true,"url":"https://api.github.com/repos/hannes-steffenhagen-diffblue/cbmc/commits/e11163cb7c8722b105fd809b8cc636845c7c5e10"},{"sha":"d7a4e50f0f5cd3bf414ff86a19408fb0deff2147","author":{"name":"Matthias Güdemann","email":"e0fa7639e2a6e9442046002ea3621467dedc2637@diffblue.com"},"message":"Add regression test compiled with ecj","distinct":true,"url":"https://api.github.com/repos/hannes-steffenhagen-diffblue/cbmc/commits/d7a4e50f0f5cd3bf414ff86a19408fb0deff2147"},{"sha":"067ccbf3f374a1bd6173757c62b97c5a09164a12","author":{"name":"thk123","email":"5f919b14acad347486cfcc925fe5476cb2791020@diffblue.com"},"message":"Rename j to boostrap_method_index","distinct":true,"url":"https://api.github.com/repos/hannes-steffenhagen-diffblue/cbmc/commits/067ccbf3f374a1bd6173757c62b97c5a09164a12"},{"sha":"64002947865d59aebb703bf6fac6dbff254fad1a","author":{"name":"thk123","email":"5f919b14acad347486cfcc925fe5476cb2791020@diffblue.com"},"message":"Replace nested else ifs with a continue on error conditions","distinct":true,"url":"https://api.github.com/repos/hannes-steffenhagen-diffblue/cbmc/commits/64002947865d59aebb703bf6fac6dbff254fad1a"}]}
{"actor":{"display_login":"hannes-steffenhagen-diffblue"}}