{"push_id":1238318152,"size":9,"distinct_size":9,"ref":"refs/heads/master","head":"e0b22c4325da32def1b3c7b2caf3dd41ec02bcbb","before":"8c1f683203d4b757d1d28426894d2529417cc93e","commits":[{"sha":"f32fd0bab8f57c3a653b479cb0bb5a82e9cb6327","author":{"name":"Matt O'Brien","email":"ec15eec78a608b3092d7d08c5cf46a4b9a4da796@pdx.edu"},"message":"Added ReadMe info","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/f32fd0bab8f57c3a653b479cb0bb5a82e9cb6327"},{"sha":"f306419eb418f0b46b5f091ebd523a26151e3b4f","author":{"name":"Matt O'Brien","email":"ec15eec78a608b3092d7d08c5cf46a4b9a4da796@pdx.edu"},"message":"Merge remote-tracking branch 'upstream/master'","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/f306419eb418f0b46b5f091ebd523a26151e3b4f"},{"sha":"d9497137f481e185a5fee89cbaef6f7d65f387fe","author":{"name":"Matt O'Brien","email":"ec15eec78a608b3092d7d08c5cf46a4b9a4da796@pdx.edu"},"message":"Merge remote-tracking branch 'upstream/tuple_fix'","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/d9497137f481e185a5fee89cbaef6f7d65f387fe"},{"sha":"c73f8bbb0d3bbec174caad7a05ea11215b72d19f","author":{"name":"Matt O'Brien","email":"ec15eec78a608b3092d7d08c5cf46a4b9a4da796@pdx.edu"},"message":"Added tests to test_expression","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/c73f8bbb0d3bbec174caad7a05ea11215b72d19f"},{"sha":"1fecc34f4e0628d7ce06a758e53df3e9954a48b4","author":{"name":"Matt O'Brien","email":"ec15eec78a608b3092d7d08c5cf46a4b9a4da796@pdx.edu"},"message":"Altered Readme instructions","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/1fecc34f4e0628d7ce06a758e53df3e9954a48b4"},{"sha":"14fcbb78579562b2fe47f4e9e5d512cd5d5844ad","author":{"name":"Matt O'Brien","email":"ec15eec78a608b3092d7d08c5cf46a4b9a4da796@pdx.edu"},"message":"Merge remote-tracking branch 'upstream/master'","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/14fcbb78579562b2fe47f4e9e5d512cd5d5844ad"},{"sha":"87158bae9cf50710fab53be197be692a2757308a","author":{"name":"Matt O'Brien","email":"ec15eec78a608b3092d7d08c5cf46a4b9a4da796@pdx.edu"},"message":"Fixed the example in the Readme","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/87158bae9cf50710fab53be197be692a2757308a"},{"sha":"4e3daaa81fc074f372dd992dd1c9d4660ad07645","author":{"name":"Matt O'Brien","email":"ec15eec78a608b3092d7d08c5cf46a4b9a4da796@pdx.edu"},"message":"added whitespace for salterm","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/4e3daaa81fc074f372dd992dd1c9d4660ad07645"},{"sha":"e0b22c4325da32def1b3c7b2caf3dd41ec02bcbb","author":{"name":"Brad Rasmussen","email":"ebcce7404c0e4b40a89d11464d35c2d2ba0ccb71@pdx.edu"},"message":"Merge pull request #206 from obriematt/master\n\nAdded more tests and altered ReadMe","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/e0b22c4325da32def1b3c7b2caf3dd41ec02bcbb"}]}
{"actor":{"display_login":"bajr"}}