{"push_id":2347607731,"size":51,"distinct_size":51,"ref":"refs/heads/java-deps-cleanup","head":"ed9fcb66d0b2aed86f2cdf37f220bfd05a835133","before":"87a454f29361238470484e3e688b74117b7c2b0c","commits":[{"sha":"7f4a79ecc4c1c80b3d12b474929ce0f819a4ceb0","author":{"name":"Owen Jones","email":"2ea9563649426b5877299d9d19d44c3edaa4a6be@diffblue.com"},"message":"Tidy up C symbol factory code\n\nCorrect a comment, replace \"symbolt const\" with \"const symbolt\", use\nconst pointers in for loops, add the location to the declaration of\nthe main symbol and wrap function header comments better","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/7f4a79ecc4c1c80b3d12b474929ce0f819a4ceb0"},{"sha":"cf4eeb2186dc114ed73d051e072253ef49757892","author":{"name":"Owen Jones","email":"2ea9563649426b5877299d9d19d44c3edaa4a6be@diffblue.com"},"message":"Move code into code block instead of copying it","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/cf4eeb2186dc114ed73d051e072253ef49757892"},{"sha":"698ccdd1c2d100049410293de73e696892f046ec","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"use a ranged for","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/698ccdd1c2d100049410293de73e696892f046ec"},{"sha":"12ae728634987e606028358ddcdc28297aa4d22e","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"fixes for integers in SMT2\n\nThis fixes output of formulas into SMT2 format that contain\nunbounded integers; conversely, values in satisfying assignments\ngenerated by SMT2 solvers that contain unbounded integers\nare now parsed.","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/12ae728634987e606028358ddcdc28297aa4d22e"},{"sha":"57ecf15ab03f7f854535bf84bcce2c4a1b4c35e8","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"+ is multi-ary in SMT-LIB2","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/57ecf15ab03f7f854535bf84bcce2c4a1b4c35e8"},{"sha":"dea25928f895d014d73de34d464f5ef3d6ee0bf6","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"treat real and integer as 'numeric' in C front-end","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/dea25928f895d014d73de34d464f5ef3d6ee0bf6"},{"sha":"3587184898e35924e9cba9dc1ac3710fff568fac","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"added an SMT-LIB2 tokenizer","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/3587184898e35924e9cba9dc1ac3710fff568fac"},{"sha":"a0bfd420c716cce631a6740c3261e624089eb981","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"smt2irep now uses smt2_tokenizert","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/a0bfd420c716cce631a6740c3261e624089eb981"},{"sha":"2ccc41b106b3d0514c73cc0212725cf6e9d067cb","author":{"name":"Hannes Steffenhagen","email":"26c5b4b0ffb7f59f73ec79ff2e28ac210f33cdab@diffblue.com"},"message":"Remove destination directory before trying to move to it in AppVeyor","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/2ccc41b106b3d0514c73cc0212725cf6e9d067cb"},{"sha":"6f622d118a2a7599eb24bbe437ec761d9b15bc5f","author":{"name":"Daniel Poetzl","email":"a7b0c7ee73d5ba38cf80c0b20a2ce8f8aee8466d@diffblue.com"},"message":"Fixes for is_threadedt, --is-threaded","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/6f622d118a2a7599eb24bbe437ec761d9b15bc5f"},{"sha":"a827c77a161004496f11d0ae02413879a6c658ef","author":{"name":"polgreen","email":"fe43481736c1422b179f3d0bcfacd7ad27597c15@cs.ox.ac.uk"},"message":"fix: add missing integer casts and operations\n\nadds:\ninteger->bool cast\nbool -> integer cast\ninteger minus operation","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/a827c77a161004496f11d0ae02413879a6c658ef"},{"sha":"1ebec11850fb4a1fcaa8644014e4cbe372f3e160","author":{"name":"polgreen","email":"fe43481736c1422b179f3d0bcfacd7ad27597c15@cs.ox.ac.uk"},"message":"get values for nondet symbols","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/1ebec11850fb4a1fcaa8644014e4cbe372f3e160"},{"sha":"897e29e874aace55bf171895866334ffe4cd7b28","author":{"name":"Chris Ryder","email":"f209ab8a9c2d3cbeffa93755e2d167a6c6c83336@diffblue.com"},"message":"Fix CMakeLists to correctly pass test exclusion flags","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/897e29e874aace55bf171895866334ffe4cd7b28"},{"sha":"8e7f129c641e942da63008195663ebd453da23eb","author":{"name":"Romain Brenguier","email":"b85ea2d6dcc482bea20a3fb7e3d8761fccb4a9b2@gmail.com"},"message":"Correct types from unsigned to std::size_t\n\nThe block numbers in cover_basic_blockst are obtained from\n`block_info.size() - 1`, they should have type std::size_t rather than\nunsigned.\n\nAlso mark const a couple of arguments that are constant.","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/8e7f129c641e942da63008195663ebd453da23eb"},{"sha":"3cd2f0b3d5c94c6ea5b51d9886390902def0533e","author":{"name":"Romain Brenguier","email":"b85ea2d6dcc482bea20a3fb7e3d8761fccb4a9b2@gmail.com"},"message":"Put interface to cover_blocks in virtual class\n\nThis will allow to have two implementations for this functor.","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/3cd2f0b3d5c94c6ea5b51d9886390902def0533e"},{"sha":"acf9fe49ca764fe6a173632e09575150a895d690","author":{"name":"Romain Brenguier","email":"b85ea2d6dcc482bea20a3fb7e3d8761fccb4a9b2@gmail.com"},"message":"Refer to interface rather than cover_basic_blockst","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/acf9fe49ca764fe6a173632e09575150a895d690"},{"sha":"681123873a2d126d938f44316b7f5561f85c1135","author":{"name":"Romain Brenguier","email":"b85ea2d6dcc482bea20a3fb7e3d8761fccb4a9b2@gmail.com"},"message":"cover_block implementation using bytecode location\n\nThis is a specific implementation of cover block for Java.\nIt uses the bytecode index to determine blocks and replace the use of\nselect_unique_java_bytecode_indices.","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/681123873a2d126d938f44316b7f5561f85c1135"},{"sha":"c1045aa66ee48e39932c987ab766678912fb2e2f","author":{"name":"Romain Brenguier","email":"b85ea2d6dcc482bea20a3fb7e3d8761fccb4a9b2@gmail.com"},"message":"Use [] instead of `at` on vector\n\nThe index is checked against the size before end so there is no need to\nuse at there.","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/c1045aa66ee48e39932c987ab766678912fb2e2f"},{"sha":"105c7e35c212deb439870d4b513f27e9fae20a40","author":{"name":"Romain Brenguier","email":"b85ea2d6dcc482bea20a3fb7e3d8761fccb4a9b2@gmail.com"},"message":"Adapt coverage test for new instrumentation\n\nJBMC use to group together several lines within the same block.\nThis is no longer the case for the Java specific block instrumentation.\nEach line is part of a different goal.","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/105c7e35c212deb439870d4b513f27e9fae20a40"},{"sha":"5f540496a1c7f8c1d7fbd76f235fa4731e746c6b","author":{"name":"Romain Brenguier","email":"b85ea2d6dcc482bea20a3fb7e3d8761fccb4a9b2@gmail.com"},"message":"Add unit tests for java block instrumentation\n\nThis checks that coverage instrumentation assertions are added at the\nfirst instruction with given bytecode index.\nAnd that there is no such assertion in the middle of instructions with\nsame bytecode index.","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/5f540496a1c7f8c1d7fbd76f235fa4731e746c6b"}]}
{"actor":{"display_login":"peterschrammel"}}