{"push_id":2679581219,"size":229,"distinct_size":229,"ref":"refs/heads/clean-up/preprocessing","head":"b00b5f15dcec9e8e43c7bf10c9710c8a0b3ea772","before":"4defa93c07c735d776526309b416d6cd8c80c67f","commits":[{"sha":"d1f617b7de38d389b341b8cd935d4b6ebbef7d79","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Apply symbol replacement in type_arg members\n\nThis is used int the precursor of a typechecked sizeof expression.","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/d1f617b7de38d389b341b8cd935d4b6ebbef7d79"},{"sha":"9c93f59593214cbf38a1ca0748fe91a91351fe41","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Fully interpret __attribute__((always_inline))\n\nThe Linux kernel uses tests on __builtin_constant_p that are required to evalute\nto true for compilationt to succeed. These can only evaluate to true when\ninlining is actually done (and expressions are simplified).","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/9c93f59593214cbf38a1ca0748fe91a91351fe41"},{"sha":"688a0ab2308c0dc1f1030b64d08f3ea38fa5eeb3","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Macros are not needed outside translation units\n\nMacros are as local as types; we use macros for always-inlined functions, and\ncontained symbols never end up in the symbol table. Thus macros must be removed\nbefore attempting to recurse into them for the purpose of symbol-table cleanup.","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/688a0ab2308c0dc1f1030b64d08f3ea38fa5eeb3"},{"sha":"3d64070de5ae048487c49f25ca273b974f12cf1c","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Partially revert \"Use small intrusive pointer in irep\"\n\nThis partially reverts commit b741d4b1251f522df6955cf89fe90713702a30e9.\n\nWhile safer to use, these changes prevented sharing on irept's where non-const\nreferences had been taken to any irept stored in their sub/named_sub\ncollections. The newly introduced cow.h and small_shared_ptr.h are kept in\nplace, but all modifications to irept are reverted.","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/3d64070de5ae048487c49f25ca273b974f12cf1c"},{"sha":"d58fd18159e978f01774d0842e6434cf34137489","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Silence the linter on assert in irep.h\n\nUsing invariant.h would drag in a number of additional headers into almost every\nfile thus it seems preferable to maintain the assert here.","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/d58fd18159e978f01774d0842e6434cf34137489"},{"sha":"abdb0443f2cc15d69232eca3c170f5cd9bbe6d30","author":{"name":"Nathan Phillips","email":"4d790b27d6fb3ce447f818383d4a633ba603b92d@diffblue.com"},"message":"Unit test to check that irept implements sharing\n\nSeparately test irept and exprt, where the latter are expected to have the very\nsame behaviour.","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/abdb0443f2cc15d69232eca3c170f5cd9bbe6d30"},{"sha":"cbce4bc11741b4310a16b2ef3547ea6885da591a","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Unit test of irept's public API","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/cbce4bc11741b4310a16b2ef3547ea6885da591a"},{"sha":"8cc1848e5c05d6c6b166396984a58ef7f5da4276","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"Merge pull request #1860 from tautschnig/restore-irept-sharing\n\nRevert irept change that stopped sharing and add unit test","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/8cc1848e5c05d6c6b166396984a58ef7f5da4276"},{"sha":"2f142d5cc029d141d2de1f96d666beed64270d31","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"allow customizing the tar command for solver download","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/2f142d5cc029d141d2de1f96d666beed64270d31"},{"sha":"eaa2e0519c023210e968bb85d3d16aec8430fd4a","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"update Solaris instructions","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/eaa2e0519c023210e968bb85d3d16aec8430fd4a"},{"sha":"9efd7055359e949ec38ff40ff988da4f97237113","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"add model for ___errno for Solaris 11","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/9efd7055359e949ec38ff40ff988da4f97237113"},{"sha":"9d40a9ee3678e26f61a7b46dfc16150f33693e5e","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"Merge pull request #2365 from diffblue/solaris_errno\n\nadd model for ___errno for Solaris 11","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/9d40a9ee3678e26f61a7b46dfc16150f33693e5e"},{"sha":"cbe691bad4b12fa535ccb60fb48c08d65cbdebf6","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"Merge pull request #2363 from diffblue/Makefile-TAR\n\nCompiling with Solaris 11","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/cbe691bad4b12fa535ccb60fb48c08d65cbdebf6"},{"sha":"52a8afcefde146d6ce8d093f0d78fc8f3911eee2","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"Merge pull request #1898 from tautschnig/always-inline\n\nFully process always_inline (second attempt)","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/52a8afcefde146d6ce8d093f0d78fc8f3911eee2"},{"sha":"2b2b797ee403650331cb457a0d0d43ac80cd28df","author":{"name":"Chris Smowton","email":"711c73f64afdce07b7e38039a96d2224209e9a6c@smowton.net"},"message":"goto-gcc: select default language standard depending on emulated compiler\n\nThis ensures that goto-cc with no `-std` explicitly specified will expect the same\nlanguage standard as the underlying compiler's preprocessor -- so for example, using\n`goto-cc test.cpp`, which invokes `g++-7 -E` to perform preprocessing, will be able to\nparse the C++14 constructs in the standard library exposed because g++-6 and above\nenable C++14 support by default.","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/2b2b797ee403650331cb457a0d0d43ac80cd28df"},{"sha":"91a9c646af9e6a7e5955c72463f87f6b03259823","author":{"name":"Chris Smowton","email":"711c73f64afdce07b7e38039a96d2224209e9a6c@smowton.net"},"message":"Amend two tests that explicitly target C++98\n\nThese were previously broken on g++-6 and above, as the compiler defaults to C++14 mode.","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/91a9c646af9e6a7e5955c72463f87f6b03259823"},{"sha":"4de45388fa6cbe759875ca469bf69a9a79e95641","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"switch regression/cbmc/Typecast2 to preprocessed code\n\nThis avoids the need for a cross-compiler to 64 bit when run on a 32-bit\nsystem.","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/4de45388fa6cbe759875ca469bf69a9a79e95641"},{"sha":"bcc3bef4a44a7fd9dd26a1fa76d7846fcd674ba4","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"make regression/cbmc/bounds_check1 independent of types used","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/bcc3bef4a44a7fd9dd26a1fa76d7846fcd674ba4"},{"sha":"6882da679cc7ce1f7b0ce61c89e380b94e1c1950","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"Merge pull request #2367 from diffblue/fix-tests\n\nFix two cbmc tests","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/6882da679cc7ce1f7b0ce61c89e380b94e1c1950"},{"sha":"5ca741056dc2488d7921499fe53ce58f0b23cf65","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"ignore size of arrays on ptr-to-array conversions","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/5ca741056dc2488d7921499fe53ce58f0b23cf65"}]}
{"actor":{"display_login":"romainbrenguier"}}