{"push_id":2319626600,"size":129,"distinct_size":9,"ref":"refs/heads/smowton/feature/symex-driven-program-loading","head":"f27905a9911d7ff655987b3f8e74655b8bc17a30","before":"0d54e6428d30014ac3d51266f0e1aecb806331fd","commits":[{"sha":"4f37035b679b41881c12369197a643ddd42dabd6","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"Introduce bswap_exprt\n\nID_bswap was previously used without a dedicated class.","distinct":false,"url":"https://api.github.com/repos/smowton/cbmc/commits/4f37035b679b41881c12369197a643ddd42dabd6"},{"sha":"05bc9ed9f0ea32043605fb115abc92073ef0dd88","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"Implement bswap in SAT back-end\n\nPreviously only constants were supported via expression simplification.","distinct":false,"url":"https://api.github.com/repos/smowton/cbmc/commits/05bc9ed9f0ea32043605fb115abc92073ef0dd88"},{"sha":"d16a91821dc529f78689c5d1e45bbcf1779de27d","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"C library: network byteorder functions\n\nOn some systems htonl etc. are just macros (always true for big-endian systems,\nwhere they are null macros; and also true on Mac OS). For others we to provide\nthe implementation. In all cases the full support for bswap* is necessary, and\nthat is now available as of the preceding commit.\n\nAlso fixes arpa/inet.h being unavailable on Windows/Visual Studio.","distinct":false,"url":"https://api.github.com/repos/smowton/cbmc/commits/d16a91821dc529f78689c5d1e45bbcf1779de27d"},{"sha":"fec16d7803c471b653d3c6bb4457fbda7cbfead7","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"expr2c now distinguishes binary and multi-ary expressions\n\nmulti-ary and proper binary expressions can now have different textual\nrepresentations; among other benefits, this allows considering associativity\nproperly.","distinct":false,"url":"https://api.github.com/repos/smowton/cbmc/commits/fec16d7803c471b653d3c6bb4457fbda7cbfead7"},{"sha":"b741d4b1251f522df6955cf89fe90713702a30e9","author":{"name":"reuk","email":"1774fe870a479326542322fbe02cc5d2b4b04a79@users.noreply.github.com"},"message":"Use small intrusive pointer in irep","distinct":false,"url":"https://api.github.com/repos/smowton/cbmc/commits/b741d4b1251f522df6955cf89fe90713702a30e9"},{"sha":"7a0de4699b4076be595b1167666676dc9cbf3a91","author":{"name":"reuk","email":"1774fe870a479326542322fbe02cc5d2b4b04a79@users.noreply.github.com"},"message":"Add comment suggested by @owen-jones-diffblue","distinct":false,"url":"https://api.github.com/repos/smowton/cbmc/commits/7a0de4699b4076be595b1167666676dc9cbf3a91"},{"sha":"d7121f268646165a67b3fde26a54415731ee4491","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"dump-c: fix support of use-system-headers\n\nAs two code branches developed independently, the support for\n\"use-system-headers\" was not fully incorporated in b7d828bc18. This commit\nre-adds this support for dump-c.\n\nAlso fixes the known system headers, which include errno.h, but not errno.c and\nneither noop.c.","distinct":false,"url":"https://api.github.com/repos/smowton/cbmc/commits/d7121f268646165a67b3fde26a54415731ee4491"},{"sha":"fda9daa6ac3e4c957324ce63891fe331c214d40a","author":{"name":"Nathan Phillips","email":"b5cad960d5466237f9887c00f8b2f85fdf1a43df@diffblue.com"},"message":"Cleanup of create-and-swap to emplace","distinct":false,"url":"https://api.github.com/repos/smowton/cbmc/commits/fda9daa6ac3e4c957324ce63891fe331c214d40a"},{"sha":"f71cc7fd24373e5a0e3023903d8b6c37948f264f","author":{"name":"Peter Schrammel","email":"9988e568ccd7512d39cce657cd4a08341b29d18c@diffblue.com"},"message":"Attach class name to method symbol","distinct":false,"url":"https://api.github.com/repos/smowton/cbmc/commits/f71cc7fd24373e5a0e3023903d8b6c37948f264f"},{"sha":"3bf99877606c8c15a863c906e485728e43770ae7","author":{"name":"Peter Schrammel","email":"9988e568ccd7512d39cce657cd4a08341b29d18c@diffblue.com"},"message":"Compare access qualifiers in goto-diff","distinct":false,"url":"https://api.github.com/repos/smowton/cbmc/commits/3bf99877606c8c15a863c906e485728e43770ae7"},{"sha":"ce3a5e9c6d00f02108f7770ea1539a72f4c0fbb2","author":{"name":"jgwilson42","email":"e4717468f54d560f74918adc21364f16a383d943@diffblue.com"},"message":"Basic tests for java goto-diff","distinct":false,"url":"https://api.github.com/repos/smowton/cbmc/commits/ce3a5e9c6d00f02108f7770ea1539a72f4c0fbb2"},{"sha":"8ee1956b583fdf97fb0f84e714e22a489bee9a2b","author":{"name":"jgwilson42","email":"e4717468f54d560f74918adc21364f16a383d943@diffblue.com"},"message":"goto-diff tests for package name changes","distinct":false,"url":"https://api.github.com/repos/smowton/cbmc/commits/8ee1956b583fdf97fb0f84e714e22a489bee9a2b"},{"sha":"e4a2763b0672980d0fc3f78410534722301f3594","author":{"name":"jgwilson42","email":"e4717468f54d560f74918adc21364f16a383d943@diffblue.com"},"message":"Tests for scope changes for variables and functions","distinct":false,"url":"https://api.github.com/repos/smowton/cbmc/commits/e4a2763b0672980d0fc3f78410534722301f3594"},{"sha":"cc9398dd55c414592affc67305b35569c1a6c9d2","author":{"name":"Pascal Kesseli","email":"e0ecd482887480156595e641a097c3fa8e6cfed3@hotmail.com"},"message":"Expose MiniSAT's `interrupt()`\n\nMakes MiniSAT's `interrupt()` and `clearInterrupt()` available to direct\nusers. This allows aborting a running SAT query, e.g. in the context of\nmultiple queries on different threads.\n\nOnce this feature is required with other solvers as well, it may be\nuseful to create a `virtual` function in `cnf_solvert` or even\n`prop_convt`, but for now this feature is uniquely required for our\nexperiments with MiniSAT.","distinct":false,"url":"https://api.github.com/repos/smowton/cbmc/commits/cc9398dd55c414592affc67305b35569c1a6c9d2"},{"sha":"703e4a340bf7d43c4817f9c8559db15884975e16","author":{"name":"Pascal Kesseli","email":"e0ecd482887480156595e641a097c3fa8e6cfed3@hotmail.com"},"message":"Remove unapproved C++11 header warning.\n\nRemoved list of C++11 headers for which Chromium has preferred\nalternatives, since these don't apply to us.","distinct":false,"url":"https://api.github.com/repos/smowton/cbmc/commits/703e4a340bf7d43c4817f9c8559db15884975e16"},{"sha":"80dd48a514877f53a03fdd7e37189ff4309e374b","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"added multi-ary xor_exprt","distinct":false,"url":"https://api.github.com/repos/smowton/cbmc/commits/80dd48a514877f53a03fdd7e37189ff4309e374b"},{"sha":"6c9f05ea478901862fff5f464cebf991f6535094","author":{"name":"Dario Cattaruzza","email":"be1166271e0e01cf510fc57ca41ac897a9d76882@hotmail.com"},"message":"Fixes to exception handling behaviour\n\nCorrected the ordering of exception catching and added tests to verify the\ncorrect behaviour.  Previously, the universal catch would be the one on the\noutermost try (should be the innermost try).\nAlso, a throw can never throw directly past this catch, so there is no need to\ninclude these alternatives (they will appear in the rethrow of the finally).","distinct":false,"url":"https://api.github.com/repos/smowton/cbmc/commits/6c9f05ea478901862fff5f464cebf991f6535094"},{"sha":"ef5c6f013550c5cf659d11158ff5d50f9d65c090","author":{"name":"Chris Smowton","email":"4181b934c2715a2bba60cdb3cc1b35b2777d1c23@smowton.net"},"message":"Merge pull request #1742 from owen-jones-diffblue/owen-jones-diffblue/small-shared-ptr\n\nOwen jones diffblue/small shared ptr","distinct":false,"url":"https://api.github.com/repos/smowton/cbmc/commits/ef5c6f013550c5cf659d11158ff5d50f9d65c090"},{"sha":"bcb076b28c5f6f3c17f85097192a8896fc7ddd33","author":{"name":"Romain Brenguier","email":"b85ea2d6dcc482bea20a3fb7e3d8761fccb4a9b2@gmail.com"},"message":"Correct tests for String.indexOf\n\nThese were using String.charAt which is no longer supported by CBMC and\nwe should use CProverString.charAt instead (the two differ in that\nCProverString.charAt does not throw exceptions).\n\nThis problem was undecteted before because the constant \"hello\" was\ninterferring with the string-max-length value.\nSo this parameter is replaced by string-max-input-length which only\nconstrain inputs.","distinct":false,"url":"https://api.github.com/repos/smowton/cbmc/commits/bcb076b28c5f6f3c17f85097192a8896fc7ddd33"},{"sha":"981c8e0b75b4ba897ba67d9e210e1053676633b9","author":{"name":"Michael Tautschnig","email":"fd1ef0d7c905eb5db5ac61801dcf5e96317c84ad@debian.org"},"message":"Merge pull request #1743 from tautschnig/dump-c-fix\n\nfixup! Updated dump-C to use the new class","distinct":false,"url":"https://api.github.com/repos/smowton/cbmc/commits/981c8e0b75b4ba897ba67d9e210e1053676633b9"}]}
{"actor":{"display_login":"smowton"}}