{"push_id":1220558871,"size":19,"distinct_size":19,"ref":"refs/heads/master","head":"b3fd7626b43665be1b7f036950e9ab9595f1799f","before":"e6a0439fa0cdb3708316bec9b06c5db1042e7430","commits":[{"sha":"29b47aa1bcad0711c393c4f75a88d9c8c014ec3d","author":{"name":"Bradley Rasmussen","email":"ebcce7404c0e4b40a89d11464d35c2d2ba0ccb71@pdx.edu"},"message":"Started work on the smt-output module","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/29b47aa1bcad0711c393c4f75a88d9c8c014ec3d"},{"sha":"c9055e2cfc532c93a3c6acdfd5f0178c02b59033","author":{"name":"Bradley Rasmussen","email":"ebcce7404c0e4b40a89d11464d35c2d2ba0ccb71@pdx.edu"},"message":"Merge branch 'master' of github.com:Rust-Proof/rustproof","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/c9055e2cfc532c93a3c6acdfd5f0178c02b59033"},{"sha":"a0be36e1c19d4ef563693e4850f0a6b0701ef0b5","author":{"name":"Bradley Rasmussen","email":"ebcce7404c0e4b40a89d11464d35c2d2ba0ccb71@pdx.edu"},"message":"Merge branch 'master' of github.com:Rust-Proof/rustproof","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/a0be36e1c19d4ef563693e4850f0a6b0701ef0b5"},{"sha":"6e844395d5b3096ccf7d409fd0605cb332cb3e06","author":{"name":"Bradley Rasmussen","email":"ebcce7404c0e4b40a89d11464d35c2d2ba0ccb71@pdx.edu"},"message":"Building smt_output","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/6e844395d5b3096ccf7d409fd0605cb332cb3e06"},{"sha":"1414a49a3e7e73e91cf210eac47cff394bd20743","author":{"name":"Bradley Rasmussen","email":"ebcce7404c0e4b40a89d11464d35c2d2ba0ccb71@pdx.edu"},"message":"Building smt_output","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/1414a49a3e7e73e91cf210eac47cff394bd20743"},{"sha":"1decbc73e29896cc092bde7a81e8da82677493cc","author":{"name":"Bradley Rasmussen","email":"ebcce7404c0e4b40a89d11464d35c2d2ba0ccb71@pdx.edu"},"message":"Merge branch 'master' into smt_output","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/1decbc73e29896cc092bde7a81e8da82677493cc"},{"sha":"7e7200f46bd8ce8079ceba485ad67530883c223f","author":{"name":"Bradley Rasmussen","email":"ebcce7404c0e4b40a89d11464d35c2d2ba0ccb71@pdx.edu"},"message":"Merged with master","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/7e7200f46bd8ce8079ceba485ad67530883c223f"},{"sha":"f6a4e61394256d919b1e798916e15af5e5e9dc73","author":{"name":"Bradley Rasmussen","email":"ebcce7404c0e4b40a89d11464d35c2d2ba0ccb71@pdx.edu"},"message":"Merged with upstream","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/f6a4e61394256d919b1e798916e15af5e5e9dc73"},{"sha":"497338ce2ae5327ed2195b86be3166ab15ec0800","author":{"name":"Bradley Rasmussen","email":"ebcce7404c0e4b40a89d11464d35c2d2ba0ccb71@pdx.edu"},"message":"Merge branch 'master' into smt_output","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/497338ce2ae5327ed2195b86be3166ab15ec0800"},{"sha":"a68faac25ccdcce8deb374b09d89c6e3006106f0","author":{"name":"Bradley Rasmussen","email":"ebcce7404c0e4b40a89d11464d35c2d2ba0ccb71@pdx.edu"},"message":"Almost done building the SMT module","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/a68faac25ccdcce8deb374b09d89c6e3006106f0"},{"sha":"b9fe04a0e6c0c0ff96fcfea10068103b8cf03044","author":{"name":"Bradley Rasmussen","email":"ebcce7404c0e4b40a89d11464d35c2d2ba0ccb71@pdx.edu"},"message":"Sorted out how to do libsmt types","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/b9fe04a0e6c0c0ff96fcfea10068103b8cf03044"},{"sha":"9f426d066415bb2d541e98b21639be66835a3e18","author":{"name":"Bradley Rasmussen","email":"ebcce7404c0e4b40a89d11464d35c2d2ba0ccb71@pdx.edu"},"message":"Set dummy value for Array expressions","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/9f426d066415bb2d541e98b21639be66835a3e18"},{"sha":"3ba5fac3139bee1db760f459ce99084fe91ac90e","author":{"name":"Bradley Rasmussen","email":"ebcce7404c0e4b40a89d11464d35c2d2ba0ccb71@pdx.edu"},"message":"Resolved compilation errors, but now it panics","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/3ba5fac3139bee1db760f459ce99084fe91ac90e"},{"sha":"b423fbe1cd1beeca120cb1897114cd44ce0fd4d6","author":{"name":"Bradley Rasmussen","email":"ebcce7404c0e4b40a89d11464d35c2d2ba0ccb71@pdx.edu"},"message":"Forgot to add comments","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/b423fbe1cd1beeca120cb1897114cd44ce0fd4d6"},{"sha":"8763c8505db197f0ea2b362ba63e054b65386d00","author":{"name":"Bradley Rasmussen","email":"ebcce7404c0e4b40a89d11464d35c2d2ba0ccb71@pdx.edu"},"message":"Merge branch 'master' of github.com:Rust-Proof/rustproof","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/8763c8505db197f0ea2b362ba63e054b65386d00"},{"sha":"988a29cbf86afb4af276e7b89edd8b25b053285a","author":{"name":"Bradley Rasmussen","email":"ebcce7404c0e4b40a89d11464d35c2d2ba0ccb71@pdx.edu"},"message":"Resolved errors! We are now evaluating expressions with Z3!","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/988a29cbf86afb4af276e7b89edd8b25b053285a"},{"sha":"94cbccfc2b9af32920d5577a8e21a7a160187c89","author":{"name":"Bradley Rasmussen","email":"ebcce7404c0e4b40a89d11464d35c2d2ba0ccb71@pdx.edu"},"message":"Merged with upstream and resolved conflicts","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/94cbccfc2b9af32920d5577a8e21a7a160187c89"},{"sha":"db5c9331e89cfc24109354cfd98eb68c7c38eed5","author":{"name":"Bradley Rasmussen","email":"ebcce7404c0e4b40a89d11464d35c2d2ba0ccb71@pdx.edu"},"message":"Adjusted solver to check validity of the VC, instead of satisfiability","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/db5c9331e89cfc24109354cfd98eb68c7c38eed5"},{"sha":"b3fd7626b43665be1b7f036950e9ab9595f1799f","author":{"name":"Drew","email":"a7f19e76f79a38910cf4967cbb9ad32e1bab162a@gmail.com"},"message":"Merge pull request #146 from bajr/master\n\nImplemented smt_output module","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/b3fd7626b43665be1b7f036950e9ab9595f1799f"}]}
{"actor":{"display_login":"found101"}}