{"push_id":1950291452,"size":52,"distinct_size":48,"ref":"refs/heads/bugfix/check-axioms#874","head":"90e7dbb2bde98124cc8248dfc84e017358289031","before":"f4cd015184b15ed67f476ed320f58d7736284bda","commits":[{"sha":"28893701097d13cbe608633caccf5446797fe0f0","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"pointer_typet now requires a width","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/28893701097d13cbe608633caccf5446797fe0f0"},{"sha":"72316855a010ddf9f94bd4aea7083b56e8a0978d","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"avoid hard-wired pointer width","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/72316855a010ddf9f94bd4aea7083b56e8a0978d"},{"sha":"4362116091012d7ddfaf7eeeaaba26509e90995a","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"Remove constant_exprt::integer_constant\n\nUse from_integer, everywhere.","distinct":false,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/4362116091012d7ddfaf7eeeaaba26509e90995a"},{"sha":"7d5f1158a4c97a5165cabe0817db94e98c0917bc","author":{"name":"reuk","email":"1774fe870a479326542322fbe02cc5d2b4b04a79@users.noreply.github.com"},"message":"Replace owning raw pointers with unique_ptr\n\nImplement @tautschnig's fixes\n\nFix residual memory leak from narrow_argv","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/7d5f1158a4c97a5165cabe0817db94e98c0917bc"},{"sha":"aea00bfd12eb9c9089fb0c2f7654df5d39c8979e","author":{"name":"Michael Tautschnig","email":"fd1ef0d7c905eb5db5ac61801dcf5e96317c84ad@debian.org"},"message":"Merge pull request #1290 from tautschnig/no-integer_constant\n\nRemove constant_exprt::integer_constant","distinct":false,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/aea00bfd12eb9c9089fb0c2f7654df5d39c8979e"},{"sha":"13cc59883b38acf9b3bef8d4ca8826b9b1e776cc","author":{"name":"theyoucheng","email":"deb9516cbbe370e5d023584056fda85d28cebad0@cs.ox.ac.uk"},"message":"Fix output of fault localization result in XML","distinct":false,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/13cc59883b38acf9b3bef8d4ca8826b9b1e776cc"},{"sha":"a37f0909917f3f6ff24037c1094242e2bfe8b2d0","author":{"name":"reuk","email":"1774fe870a479326542322fbe02cc5d2b4b04a79@users.noreply.github.com"},"message":"Suppress loading notModelled","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/a37f0909917f3f6ff24037c1094242e2bfe8b2d0"},{"sha":"5c9eb591cee7bb632481c2737b1db706f1e3b02b","author":{"name":"Peter Schrammel","email":"1abc7a7f39c96e4fe62131a19a8b104232935f6a@users.noreply.github.com"},"message":"Merge pull request #1233 from theyoucheng/fault-localization-xml-ui\n\nFix the output of the fault localization result in XML","distinct":false,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/5c9eb591cee7bb632481c2737b1db706f1e3b02b"},{"sha":"37106b6e67adf0a7e7f38f987bd4577468295766","author":{"name":"thk123","email":"5f919b14acad347486cfcc925fe5476cb2791020@diffblue.com"},"message":"Added check for a type being a valid formed Java array\n\nEssentially serves to programatically document what is expected of a\nJava array type when represented in GOTO.","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/37106b6e67adf0a7e7f38f987bd4577468295766"},{"sha":"0a99dc86bcd3c6d9ff464576a451e46a88f2ff51","author":{"name":"thk123","email":"5f919b14acad347486cfcc925fe5476cb2791020@diffblue.com"},"message":"Added invariants on the correct structure of the array type\n\nAdded to converting types and when creating non det initilization.","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/0a99dc86bcd3c6d9ff464576a451e46a88f2ff51"},{"sha":"5274109b82c93beaf5411f582753a7d0ac3f4d4f","author":{"name":"thk123","email":"5f919b14acad347486cfcc925fe5476cb2791020@diffblue.com"},"message":"Reduced strictness of the array check\n\nIt might be the type of the first component is in fact a symbol rather\nthan the struct directly. To avoid complicating the check, I removed\nthese two conditions.","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/5274109b82c93beaf5411f582753a7d0ac3f4d4f"},{"sha":"00406facff018d8c5464e89200ff0aaa094b3ff2","author":{"name":"Romain Brenguier","email":"b85ea2d6dcc482bea20a3fb7e3d8761fccb4a9b2@gmail.com"},"message":"Replacing assertions by appropriate macros in string preprocessing","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/00406facff018d8c5464e89200ff0aaa094b3ff2"},{"sha":"7b55399674d6c780c84026bad3653162f0edad82","author":{"name":"Thomas Kiley","email":"83924bfe281cb4eb346870906eee1a1007a502d2@gmail.com"},"message":"Merge pull request #1152 from thk123/feature/java-array-checker\n\nAdded check for a type being a valid formed Java array","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/7b55399674d6c780c84026bad3653162f0edad82"},{"sha":"e9e413e7db96c6ed9195603ffb2bff470d15b4a3","author":{"name":"Thomas Kiley","email":"83924bfe281cb4eb346870906eee1a1007a502d2@gmail.com"},"message":"Merge pull request #1295 from reuk/reuk/notModelled\n\nSuppress loading notModelled method from CProver library","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/e9e413e7db96c6ed9195603ffb2bff470d15b4a3"},{"sha":"2ae344916e04ae260e0458354616ef3e5531382c","author":{"name":"Thomas Kiley","email":"83924bfe281cb4eb346870906eee1a1007a502d2@gmail.com"},"message":"Merge pull request #835 from reuk/no-raw-ptrs\n\nReplace owning raw pointers","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/2ae344916e04ae260e0458354616ef3e5531382c"},{"sha":"d099f9bbbc9e63ab4bbef03f8aea4d06f14d328c","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"Merge pull request #1284 from diffblue/pointer-width-fixup\n\nPointer width fixup","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/d099f9bbbc9e63ab4bbef03f8aea4d06f14d328c"},{"sha":"6d1be13107e46d511744e2202a5cee6a0a812fb2","author":{"name":"Romain Brenguier","email":"b85ea2d6dcc482bea20a3fb7e3d8761fccb4a9b2@diffblue.com"},"message":"Merge pull request #1282 from romainbrenguier/cleaning/assertion-in-preprocessing\n\nReplacing assertions by appropriate macros in string preprocessing","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/6d1be13107e46d511744e2202a5cee6a0a812fb2"},{"sha":"130384ee50a157fc0724b27289bd34ed4514d1e8","author":{"name":"Romain Brenguier","email":"b85ea2d6dcc482bea20a3fb7e3d8761fccb4a9b2@gmail.com"},"message":"Setting string-max-length for several tests\n\nCbmc can potentialy run out of memory if no maximum string length is\nset. This happens more often with the new version of check axioms\nbecause a concretization step is made to be more precise in the check.","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/130384ee50a157fc0724b27289bd34ed4514d1e8"},{"sha":"18a78ee9936826be550a1f554f2c8bf4f469fd3d","author":{"name":"Romain Brenguier","email":"b85ea2d6dcc482bea20a3fb7e3d8761fccb4a9b2@gmail.com"},"message":"Correcting pad_vector\n\nIt was assuming that the set given was in a specific order and should\nnow be more robust","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/18a78ee9936826be550a1f554f2c8bf4f469fd3d"},{"sha":"e2a66cfc17cc0aa176facc26b72f53f3d9ffbeba","author":{"name":"Romain Brenguier","email":"b85ea2d6dcc482bea20a3fb7e3d8761fccb4a9b2@gmail.com"},"message":"Better debug info","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/e2a66cfc17cc0aa176facc26b72f53f3d9ffbeba"}]}
{"actor":{"display_login":"romainbrenguier"}}