{"push_id":2331007325,"size":40,"distinct_size":1,"ref":"refs/heads/feature/overlay-methods","head":"94e9b7b36c3cbc4584dc6f3071408f878ba963e3","before":"2c2163ec6fb056318749dd0ab3a82a06c77f8eda","commits":[{"sha":"b2c4188a2089a28a5554df06161c1fa2b5e7bd2f","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"Do not use non-trivial system headers with --32\n\nFunction declarations in system headers would cause type conflicts when running\non 64-bit systems. Just add a proper declaration of malloc in place instead.","distinct":false,"url":"https://api.github.com/repos/NathanJPhillips/cbmc/commits/b2c4188a2089a28a5554df06161c1fa2b5e7bd2f"},{"sha":"c45032846e57e1699e7a5ab58b9d9a8898a59562","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"Support for --16 on Visual Studio, no _WIN64 in 32-bit mode","distinct":false,"url":"https://api.github.com/repos/NathanJPhillips/cbmc/commits/c45032846e57e1699e7a5ab58b9d9a8898a59562"},{"sha":"cab7b52dded1822715b176bf191876fe2b91c5ea","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"C front-end: fix promotion order for types ranking lower than int\n\nThe ranks specified in the enum are only correct if sizeof(int) > sizeof(short)\nand sizeof(int) > sizeof(char). The code was supposed to fix this up, but none\nof the branches was feasible as max_type would always be at least INT.\n\nFixes: #1748","distinct":false,"url":"https://api.github.com/repos/NathanJPhillips/cbmc/commits/cab7b52dded1822715b176bf191876fe2b91c5ea"},{"sha":"45f0939b1a0414f02c54188eda0422b6f4699b14","author":{"name":"Chris Smowton","email":"4181b934c2715a2bba60cdb3cc1b35b2777d1c23@smowton.net"},"message":"test.pl: add support for tagging test-cases\n\nTest cases can now have secondary tags after their main CORE/KNOWNBUG/FUTURE/THOROUGH tag,\nwhich can be filtered using -I (require tag) or -X (exclude tag) options. Both options can\nbe repeated; -I x -I y means a case needs either x or y tags, and -X x -X y means it cannot\nhave either if it is to run.","distinct":false,"url":"https://api.github.com/repos/NathanJPhillips/cbmc/commits/45f0939b1a0414f02c54188eda0422b6f4699b14"},{"sha":"bcd88a0e5c593dc008ed974a939f0d3c0ae98ab5","author":{"name":"Michael Tautschnig","email":"fd1ef0d7c905eb5db5ac61801dcf5e96317c84ad@debian.org"},"message":"Merge pull request #1821 from smowton/smowton/feature/test-pl-tags\n\ntest.pl: add support for tagging test-cases","distinct":false,"url":"https://api.github.com/repos/NathanJPhillips/cbmc/commits/bcd88a0e5c593dc008ed974a939f0d3c0ae98ab5"},{"sha":"dd040e5ecdaf0e825e1caee75f1662c6c8c3392e","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"Added function_typet.\n\nThis is a type for a mathematical function, which is not to be confused\nwith code_typet, which is a function in an imperative program.\nUse with function_application_exprt. It's envisaged to use this\nfor various side-effect-free builtins.","distinct":false,"url":"https://api.github.com/repos/NathanJPhillips/cbmc/commits/dd040e5ecdaf0e825e1caee75f1662c6c8c3392e"},{"sha":"f9b9599204f2b02c0d9c1ccb44f5f9d5ae493d6d","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"Merge pull request #1761 from diffblue/function_typet\n\nAdded function_typet","distinct":false,"url":"https://api.github.com/repos/NathanJPhillips/cbmc/commits/f9b9599204f2b02c0d9c1ccb44f5f9d5ae493d6d"},{"sha":"d8967f559330d19f342e7313f4e45a10c1bec6ba","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"moving language.h and language_file.h to langapi folder\n\nThe languaget API has become excessively cluttered, and will be phased out.\nIn preparation, the files are moved to the langapi folder.","distinct":false,"url":"https://api.github.com/repos/NathanJPhillips/cbmc/commits/d8967f559330d19f342e7313f4e45a10c1bec6ba"},{"sha":"1bac4847dfd40117488ed3faef11f4a5f6e88b0f","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"cleanout decision_proceduret::in_core","distinct":false,"url":"https://api.github.com/repos/NathanJPhillips/cbmc/commits/1bac4847dfd40117488ed3faef11f4a5f6e88b0f"},{"sha":"77c8b9c5911c4e079884e9883e596db2633ea749","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"remove translation for certain boolean program constructs","distinct":false,"url":"https://api.github.com/repos/NathanJPhillips/cbmc/commits/77c8b9c5911c4e079884e9883e596db2633ea749"},{"sha":"63f09acedf603ea8da1f219786802db093c6db80","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"remove unused function make_next_state","distinct":false,"url":"https://api.github.com/repos/NathanJPhillips/cbmc/commits/63f09acedf603ea8da1f219786802db093c6db80"},{"sha":"733f3b8f76592c931f38838892a57bc562c96a2e","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"remove old-style constructor for member_exprt","distinct":false,"url":"https://api.github.com/repos/NathanJPhillips/cbmc/commits/733f3b8f76592c931f38838892a57bc562c96a2e"},{"sha":"11714b2e7c6e170f5f75ec9209320219881c7898","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"use constant_exprt version of to_integer","distinct":false,"url":"https://api.github.com/repos/NathanJPhillips/cbmc/commits/11714b2e7c6e170f5f75ec9209320219881c7898"},{"sha":"441f706d2404460fc577580a68ca7a580a7fb57b","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"Merge pull request #1823 from diffblue/cleanup\n\nClean out various bits of legacy code","distinct":false,"url":"https://api.github.com/repos/NathanJPhillips/cbmc/commits/441f706d2404460fc577580a68ca7a580a7fb57b"},{"sha":"d0889a86f237c66ad0353aa82d29489bd6980842","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"Merge pull request #1822 from diffblue/legacy-language\n\nmoving language.h and language_file.h to langapi folder","distinct":false,"url":"https://api.github.com/repos/NathanJPhillips/cbmc/commits/d0889a86f237c66ad0353aa82d29489bd6980842"},{"sha":"b66526998d028a677718e0a12b14c46dc5b29ff6","author":{"name":"thk123","email":"5f919b14acad347486cfcc925fe5476cb2791020@diffblue.com"},"message":"Correcting path to a file\n\nPR 1822 moved this file into langapi, updated the comment (and removed\nthe erroneous s at the end of the file name).","distinct":false,"url":"https://api.github.com/repos/NathanJPhillips/cbmc/commits/b66526998d028a677718e0a12b14c46dc5b29ff6"},{"sha":"ba76a8f20480d58fa64140688c1290c9f3b8f482","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"Merge pull request #1751 from tautschnig/fix-1748\n\nC front-end: fix promotion order for types ranking lower than int","distinct":false,"url":"https://api.github.com/repos/NathanJPhillips/cbmc/commits/ba76a8f20480d58fa64140688c1290c9f3b8f482"},{"sha":"678218a61bfefaa088ecc8021d9091191cbd6a7f","author":{"name":"Thomas Kiley","email":"ac59214222b6391ec42e755da22dbe4ffccb8799@diffblue.com"},"message":"Merge pull request #1825 from thk123/refactor/corrected-path-of-language-file\n\nCorrecting path to a file","distinct":false,"url":"https://api.github.com/repos/NathanJPhillips/cbmc/commits/678218a61bfefaa088ecc8021d9091191cbd6a7f"},{"sha":"dc696a4c64dfbcc4b1e28f954123387f2164514f","author":{"name":"Romain Brenguier","email":"b85ea2d6dcc482bea20a3fb7e3d8761fccb4a9b2@gmail.com"},"message":"Make format_number_range function instead of class","distinct":false,"url":"https://api.github.com/repos/NathanJPhillips/cbmc/commits/dc696a4c64dfbcc4b1e28f954123387f2164514f"},{"sha":"0f3ae1adcaa45de251fed8f0229d59727d659010","author":{"name":"Romain Brenguier","email":"b85ea2d6dcc482bea20a3fb7e3d8761fccb4a9b2@gmail.com"},"message":"Make representative_inst an optional\n\nThis is more explicit than using goto_program.instructions.end to denote\nthe empty case.","distinct":false,"url":"https://api.github.com/repos/NathanJPhillips/cbmc/commits/0f3ae1adcaa45de251fed8f0229d59727d659010"}]}
{"actor":{"display_login":"NathanJPhillips"}}