{"push_id":607920401,"size":11,"distinct_size":11,"ref":"refs/heads/master","head":"6ba74da77aa30a956cd34d86e2c7c86c75631c4b","before":"4887599ba58f7048602f2ceadbbde4e78851b421","commits":[{"sha":"95e42228f41b919425f130611955db79990149fc","author":{"email":"17a3c6b449600b29b116c46196a4a7a295bcf2cd@itu.dk","name":"Ahmad Salim Al-Sibahi"},"message":"Added static analysis to C RTS","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/95e42228f41b919425f130611955db79990149fc"},{"sha":"42fe4f7e2b0fbaa804fb1a1fce86762d8af19c20","author":{"email":"17a3c6b449600b29b116c46196a4a7a295bcf2cd@itu.dk","name":"Ahmad Salim Al-Sibahi"},"message":"Added `then` to bash if","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/42fe4f7e2b0fbaa804fb1a1fce86762d8af19c20"},{"sha":"a54ea34af8d032cc33a1c4b4f9b83a29699e405f","author":{"email":"17a3c6b449600b29b116c46196a4a7a295bcf2cd@itu.dk","name":"Ahmad Salim Al-Sibahi"},"message":"Added more options to cppcheck\n\nAdded multithreads (since Travis supports 1.5) and enabled all reporting.","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/a54ea34af8d032cc33a1c4b4f9b83a29699e405f"},{"sha":"b0c03c1fb984907b3fcf998dd20f5034f9515586","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Merge branch 'testing/cstaticanalysis' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-testing/cstaticanalysis","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/b0c03c1fb984907b3fcf998dd20f5034f9515586"},{"sha":"e4358f0966f02242944f61b5197699d71b853d8b","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Fix cppcheck error and make more robust\n\ncppcheck now excludes imported library code from other projects and (for\nnow) the Windows RTS. Everything also passes, so #1907 is superseded and\nfulfilled.","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/e4358f0966f02242944f61b5197699d71b853d8b"},{"sha":"88623c71ead55edd99a4970bcaa2d9b0ab01949f","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Give Travis's cppcheck an explicit file list","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/88623c71ead55edd99a4970bcaa2d9b0ab01949f"},{"sha":"429766668b6b6ca7a07345a69415e5256d3a33d4","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Merge remote-tracking branch 'refs/remotes/upstream/master' into ahmadsalim-testing/cstaticanalysis","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/429766668b6b6ca7a07345a69415e5256d3a33d4"},{"sha":"ebf98385cf90245c720d077f1c5c0e96fa3d7987","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Only check for errors with cppcheck in Travis","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/ebf98385cf90245c720d077f1c5c0e96fa3d7987"},{"sha":"2a58905de09dff445e920f3c5b27542a6601248b","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"fix cppcheck cmdline","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/2a58905de09dff445e920f3c5b27542a6601248b"},{"sha":"5ed857b100bda75446430b05994848d669390570","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Merge remote-tracking branch 'refs/remotes/upstream/master' into ahmadsalim-testing/cstaticanalysis","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/5ed857b100bda75446430b05994848d669390570"},{"sha":"6ba74da77aa30a956cd34d86e2c7c86c75631c4b","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2005 from david-christiansen/ahmadsalim-testing/cstaticanalysis\n\nUpdate Ahmad's cppcheck branch to work","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/6ba74da77aa30a956cd34d86e2c7c86c75631c4b"}]}