{"push_id":857937503,"size":21,"distinct_size":21,"ref":"refs/heads/master","head":"622d7378a84fb4bebd2f43005f76da49920ca735","before":"e20184f83ba01ff0c104dfdaa3abb99c6b3dfca2","commits":[{"sha":"a686a64206d55f88eb0bc908f9ed13170dd106f7","author":{"email":"bdcaa0682677dc406773a1c4ba4307355d42531f@ispras.ru","name":"Pavel"},"message":"Add models of get_/set_drvdata","distinct":true,"url":"https://api.github.com/repos/kfriedberger/sv-benchmarks/commits/a686a64206d55f88eb0bc908f9ed13170dd106f7"},{"sha":"bcc88712864904c35e864d9b3bd32da4abbed168","author":{"email":"9fd8de5fc2a7c2c0d469b2fff1afde4e5def37ba@metaworld.me","name":"George Karpenkov"},"message":"Fixing more \"Loops\" benchmarks with UB","distinct":true,"url":"https://api.github.com/repos/kfriedberger/sv-benchmarks/commits/bcc88712864904c35e864d9b3bd32da4abbed168"},{"sha":"3c93723d0ef61a40b7c4669c3adffbb357aae5cc","author":{"email":"f02deabc026083422c4080a2a3c0fa14358d5b51@imperial.ac.uk","name":"Dan Liew"},"message":"Fix bug in Makefile.rules where if ``SUPPRESS_WARNINGS=1`` then\nthe warnings that were supposed to be treated as errors were not\npassed. Also refactor a little bit and add the current value of\nCC.Warnings and CC.WarningsAsErrors to the output of ``make debug_vars``","distinct":true,"url":"https://api.github.com/repos/kfriedberger/sv-benchmarks/commits/3c93723d0ef61a40b7c4669c3adffbb357aae5cc"},{"sha":"3d40f67c82368318a69e102feab2a99c3604fae2","author":{"email":"f75c399cc90244e26e6319132b16756799e7d78b@cs.utah.edu","name":"Zvonimir"},"message":"Fixing signatures of routines that are passed to pthread_create","distinct":true,"url":"https://api.github.com/repos/kfriedberger/sv-benchmarks/commits/3d40f67c82368318a69e102feab2a99c3604fae2"},{"sha":"7db79a91c9b247ab810d3db9983380aeb83fadf4","author":{"email":"566abccb0fc1c7af01796bc811875930ec300f78@qmul.ac.uk","name":"Michael Tautschnig"},"message":"Expand all valid values for NR, ITERATIONS in .c files","distinct":true,"url":"https://api.github.com/repos/kfriedberger/sv-benchmarks/commits/7db79a91c9b247ab810d3db9983380aeb83fadf4"},{"sha":"e3311db67cb366fbe010e54cf9afc86ca9d85145","author":{"email":"566abccb0fc1c7af01796bc811875930ec300f78@qmul.ac.uk","name":"Michael Tautschnig"},"message":"The build system implemented by @delcypher is much more advanced","distinct":true,"url":"https://api.github.com/repos/kfriedberger/sv-benchmarks/commits/e3311db67cb366fbe010e54cf9afc86ca9d85145"},{"sha":"f26d52794f3a82b7e1dd3d216a9a8bed12b050f4","author":{"email":"f02deabc026083422c4080a2a3c0fa14358d5b51@imperial.ac.uk","name":"Dan Liew"},"message":"Add an additional mode (2) to REPORT_CC_FILE that just prints a\ndot for every file compiled. The motivation for this is that mode 0\n(no output) sometimes gives the impression to TravisCI that build has\nhung. Mode 1 (print the filename of every benchmark being compiled) is\ntoo verbose and causes the TravisCI log limit to be reached. The new\nmode is somewhere inbetween these two.","distinct":true,"url":"https://api.github.com/repos/kfriedberger/sv-benchmarks/commits/f26d52794f3a82b7e1dd3d216a9a8bed12b050f4"},{"sha":"229cd47959f5a60d079bff911971cc4c41088bd4","author":{"email":"f02deabc026083422c4080a2a3c0fa14358d5b51@imperial.ac.uk","name":"Dan Liew"},"message":"Teach TravisCI to use the new REPORT_CC_FILE mode.","distinct":true,"url":"https://api.github.com/repos/kfriedberger/sv-benchmarks/commits/229cd47959f5a60d079bff911971cc4c41088bd4"},{"sha":"7ea9b0ec0dcc081ab78ad8f96932a50222b63d13","author":{"email":"f02deabc026083422c4080a2a3c0fa14358d5b51@imperial.ac.uk","name":"Dan Liew"},"message":"The TravisCI webconsole doesn't seem to support \"-e\" being passed to\necho. Just use an additional empty echo command to simulate a newline\ninstead.","distinct":true,"url":"https://api.github.com/repos/kfriedberger/sv-benchmarks/commits/7ea9b0ec0dcc081ab78ad8f96932a50222b63d13"},{"sha":"8953bc922867bfe108725818336a7dc938964305","author":{"email":"f02deabc026083422c4080a2a3c0fa14358d5b51@imperial.ac.uk","name":"Dan Liew"},"message":"Fix or comment out bad assembly code that gcc 5.2 rejects with the error\n\n```\nError: incorrect register `%rax' used with `w' suffix\n```\n\nThis only appears when make is run with ``SYNTAX_ONLY=0`` because\nwhen gcc is passed ``-fsyntax-only`` (i.e. ``SYNTAX_ONLY=1``) the\nGNU assembler is not invoked.\n\nThis fixes issue #42","distinct":true,"url":"https://api.github.com/repos/kfriedberger/sv-benchmarks/commits/8953bc922867bfe108725818336a7dc938964305"},{"sha":"68c1262063c67878c07ef40e115dcff0947e5c90","author":{"email":"f02deabc026083422c4080a2a3c0fa14358d5b51@imperial.ac.uk","name":"Dan Liew"},"message":"Fix typo in comment.","distinct":true,"url":"https://api.github.com/repos/kfriedberger/sv-benchmarks/commits/68c1262063c67878c07ef40e115dcff0947e5c90"},{"sha":"d83bbc45d88fc81592693d9645209295412fe51a","author":{"email":"386a21e92f3928c26c3bfdc636aedf05dbb980b2@sosy-lab.org","name":"Dirk Beyer"},"message":"Merge pull request #112 from kfriedberger/master\n\nadding missing declarations of __VERIFIER_-functions, again.","distinct":true,"url":"https://api.github.com/repos/kfriedberger/sv-benchmarks/commits/d83bbc45d88fc81592693d9645209295412fe51a"},{"sha":"e575b349de26ac40c480f46aaee8f52132015279","author":{"email":"386a21e92f3928c26c3bfdc636aedf05dbb980b2@sosy-lab.org","name":"Dirk Beyer"},"message":"Merge pull request #113 from cheshire/new_overflow_bugs\n\nFixing more \"Loops\" benchmarks with UB","distinct":true,"url":"https://api.github.com/repos/kfriedberger/sv-benchmarks/commits/e575b349de26ac40c480f46aaee8f52132015279"},{"sha":"d5fa0e689620392d019e27846afc0166552b8653","author":{"email":"386a21e92f3928c26c3bfdc636aedf05dbb980b2@sosy-lab.org","name":"Dirk Beyer"},"message":"Merge pull request #114 from mutilin/master\n\nFix ldv benchmarks","distinct":true,"url":"https://api.github.com/repos/kfriedberger/sv-benchmarks/commits/d5fa0e689620392d019e27846afc0166552b8653"},{"sha":"5b5a9dda284ae2390ef8c4b8d2ac1331022ed1f9","author":{"email":"386a21e92f3928c26c3bfdc636aedf05dbb980b2@sosy-lab.org","name":"Dirk Beyer"},"message":"Merge pull request #115 from delcypher/fix_warnings_as_errors\n\nFix bug in Makefile.rules where if ``SUPPRESS_WARNINGS=1`` then","distinct":true,"url":"https://api.github.com/repos/kfriedberger/sv-benchmarks/commits/5b5a9dda284ae2390ef8c4b8d2ac1331022ed1f9"},{"sha":"5445496be2dea5268ea3297b1aa57609e17a6e84","author":{"email":"386a21e92f3928c26c3bfdc636aedf05dbb980b2@sosy-lab.org","name":"Dirk Beyer"},"message":"Merge pull request #116 from zvonimir/fix-pthreads\n\nFixing signatures of routines that are passed to pthread_create","distinct":true,"url":"https://api.github.com/repos/kfriedberger/sv-benchmarks/commits/5445496be2dea5268ea3297b1aa57609e17a6e84"},{"sha":"6eaed0b241b878ec7fe783a058936d68dca6fc90","author":{"email":"386a21e92f3928c26c3bfdc636aedf05dbb980b2@sosy-lab.org","name":"Dirk Beyer"},"message":"Merge pull request #117 from tautschnig/floats-cdfpl\n\nExpand all valid values for NR, ITERATIONS in .c files","distinct":true,"url":"https://api.github.com/repos/kfriedberger/sv-benchmarks/commits/6eaed0b241b878ec7fe783a058936d68dca6fc90"},{"sha":"9b8905dc176b2b842cc5d2805d55747f9c969d03","author":{"email":"386a21e92f3928c26c3bfdc636aedf05dbb980b2@sosy-lab.org","name":"Dirk Beyer"},"message":"Merge pull request #118 from tautschnig/check-script-superseded\n\nThe build system implemented by @delcypher is much more advanced","distinct":true,"url":"https://api.github.com/repos/kfriedberger/sv-benchmarks/commits/9b8905dc176b2b842cc5d2805d55747f9c969d03"},{"sha":"06b23b2f021dc501a9696ce661e2d1273b9db03a","author":{"email":"386a21e92f3928c26c3bfdc636aedf05dbb980b2@sosy-lab.org","name":"Dirk Beyer"},"message":"Merge pull request #119 from delcypher/remove_problematic_assembly\n\nFix or comment out bad assembly code that gcc 5.2 rejects with the error","distinct":true,"url":"https://api.github.com/repos/kfriedberger/sv-benchmarks/commits/06b23b2f021dc501a9696ce661e2d1273b9db03a"},{"sha":"b2018647635c20a006fd6ec26ad7f221a4132099","author":{"email":"2ead1e2e0ae6a87f7bc0f79360ab602a46f82834@gmail.com","name":"Karlheinz Friedberger"},"message":"fixing return-type of __VERIFIER_assume.\n\nMerge #113 causes problems in Travis.","distinct":true,"url":"https://api.github.com/repos/kfriedberger/sv-benchmarks/commits/b2018647635c20a006fd6ec26ad7f221a4132099"}]}