{"push_id":2957720168,"size":80,"distinct_size":6,"ref":"refs/heads/symex-type-renaming","head":"2cb1419a6ad68b87377476746c60e8bb2dde4ee3","before":"cc38044fe87de7be84589fb49dbb6ba8b175900e","commits":[{"sha":"4b4575eca3b111058b4cbf3a1bd80fbc7c809990","author":{"name":"John Nonweiler","email":"f16747ba03635bd84801ccd22f50d95f97a38258@diffblue.com"},"message":"Add missing newlines after doxygen \\file tags","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/4b4575eca3b111058b4cbf3a1bd80fbc7c809990"},{"sha":"5b467d13676fe6070c4dd41a5d3a06ae220c272c","author":{"name":"Peter Schrammel","email":"644cd02e1403dc68fa4d3b6ae4171f513505ac80@diffblue.com"},"message":"Do not bypass options when parsing language cmdline","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/5b467d13676fe6070c4dd41a5d3a06ae220c272c"},{"sha":"ada2ec5030b5ca2f5189b597d1dd884b0db9294c","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Move rewrite_union to goto-programs\n\nThere is nothing symex-specific about it, and it is safely usable by code that\ndoes not depend on symex. Resolves some known-inappropriate module dependencies.","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/ada2ec5030b5ca2f5189b597d1dd884b0db9294c"},{"sha":"3db86441f08e7df9243f25e1f783ee156496968f","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"added means to create bit-vector representation from functor","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/3db86441f08e7df9243f25e1f783ee156496968f"},{"sha":"9bc6369c0ba52b700822d7214244854adf466e3a","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"float_type(), double_type() and long_double_type() now return a float_typet","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/9bc6369c0ba52b700822d7214244854adf466e3a"},{"sha":"3d23ab46dd33a3e3bfa9ed1c9c73174aad8dbdbc","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"Merge pull request #3105 from diffblue/hex-bitvectors6\n\nsimplify_exprt::simplify_bitwise is now independent of bitvector representation","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/3d23ab46dd33a3e3bfa9ed1c9c73174aad8dbdbc"},{"sha":"fb0d06b33ede37cfbc43da58ca90d3ff36edbbe9","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"Merge pull request #3111 from tautschnig/move-rewrite_union\n\nMove rewrite_union to goto-programs","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/fb0d06b33ede37cfbc43da58ca90d3ff36edbbe9"},{"sha":"9a21e27b810af248cc960ea744d2591c8cd26f5d","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"gcc floating-point types now return a float_typet","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/9a21e27b810af248cc960ea744d2591c8cd26f5d"},{"sha":"40c004f5e4aae7402539199d0f3c663dd33b8082","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"use constructor for constant_exprt in convert_float_literal","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/40c004f5e4aae7402539199d0f3c663dd33b8082"},{"sha":"bca1663468eb0aa2f7a190fbaa8c82d2146d7529","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"Fix wording in a comment","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/bca1663468eb0aa2f7a190fbaa8c82d2146d7529"},{"sha":"f749ab4c2918f6fe2fb60e3bbfe95fb4987aad57","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"Merge pull request #3114 from diffblue/c_float_types\n\nfloat_type(), double_type() and long_double_type() now return float_typet","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/f749ab4c2918f6fe2fb60e3bbfe95fb4987aad57"},{"sha":"9bd9b53147a1e4cf30d0e1132e8b227822cac1a3","author":{"name":"John Nonweiler","email":"f16747ba03635bd84801ccd22f50d95f97a38258@diffblue.com"},"message":"Correct parameter names in doxygen comments","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/9bd9b53147a1e4cf30d0e1132e8b227822cac1a3"},{"sha":"f83ddd22074df2f71a59504394569a1af1409fed","author":{"name":"John Nonweiler","email":"f16747ba03635bd84801ccd22f50d95f97a38258@diffblue.com"},"message":"Escape \\ and # symbols in doxygen docs","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/f83ddd22074df2f71a59504394569a1af1409fed"},{"sha":"6fe94f1bb1e8a4bc5da5bc291efd260f1bcceeaf","author":{"name":"John Nonweiler","email":"f16747ba03635bd84801ccd22f50d95f97a38258@diffblue.com"},"message":"Change doxygen subsection label\n\nDoxygen was giving a warning message about \"multiple use of section\nlabel 'deprecated'\", so this commit changes the section label.  There\nare no references to this section, so the label is only changed in\none place.  (I can't find any other uses of this section label, so\nthe warning message seems to be wrong, but it doesn't hurt to fix it.)","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/6fe94f1bb1e8a4bc5da5bc291efd260f1bcceeaf"},{"sha":"ada175661f873d984ad318233e54616db3b38286","author":{"name":"John Nonweiler","email":"f16747ba03635bd84801ccd22f50d95f97a38258@diffblue.com"},"message":"Update params in doxygen comments\n\nDelete documentation for parameters which no longer exist","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/ada175661f873d984ad318233e54616db3b38286"},{"sha":"04241abc587b6bb551e328dc9521d41f0508f5a1","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Cleanup comments in irep_serializationt\n\nComments were incomplete and did not cleanly refer to parameters.","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/04241abc587b6bb551e328dc9521d41f0508f5a1"},{"sha":"9474d074d2cdb3f09f5d45461099d36096de6f45","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"irept serialization: add additional sanity checks\n\nMake sure we don't attempt to read beyond the end of a broken file.","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/9474d074d2cdb3f09f5d45461099d36096de6f45"},{"sha":"0ae2a58fab03288b870a623e066cbce1f5cbce50","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Inline irep_serializationt::insert_on_read\n\nThis is only useful and used in exactly one place, and its comment was adamant\nthat it must not be used in a different context.","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/0ae2a58fab03288b870a623e066cbce1f5cbce50"},{"sha":"2a8342712a18c1f86cea39f61f7eb2a6dc9fe61d","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Inline irep_serializationt::insert_on_write\n\nThere was only a single use, with a prior comment already suggesting that a\nredunant lookup could be avoided.","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/2a8342712a18c1f86cea39f61f7eb2a6dc9fe61d"},{"sha":"2150648ef04cdd725e1c477928305407c8f3199f","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Simplification of irep_serializationt::read_string_ref\n\nAvoids duplicating the same statement.","distinct":false,"url":"https://api.github.com/repos/diffblue/cbmc/commits/2150648ef04cdd725e1c477928305407c8f3199f"}]}
{"actor":{"display_login":"kroening"}}