{"push_id":1478551835,"size":11,"distinct_size":0,"ref":"refs/heads/master","head":"a8bcf3ab142865935a538dacf592a5cb4f89968e","before":"9017d9719f4de11a6632e007fd9be38f0c6f50a1","commits":[{"sha":"9c43fc54314748d5c48eaa98ab8d7710e6a79ac4","author":{"name":"Robby","email":"81855ef260643c1c437d22de4648c589b0de3525@k-state.edu"},"message":"Allowed multiple returns (each return should be at the end of the block). Removed backward mode for now.","distinct":false,"url":"https://api.github.com/repos/sireum/v3/commits/9c43fc54314748d5c48eaa98ab8d7710e6a79ac4"},{"sha":"e18339f0504bec992efd84d52430d862387bbcf2","author":{"name":"Robby","email":"81855ef260643c1c437d22de4648c589b0de3525@k-state.edu"},"message":"Streamlined summoning titles.","distinct":false,"url":"https://api.github.com/repos/sireum/v3/commits/e18339f0504bec992efd84d52430d862387bbcf2"},{"sha":"02442afa4c448169e7e9c2608866193f42ae11f1","author":{"name":"Robby","email":"81855ef260643c1c437d22de4648c589b0de3525@k-state.edu"},"message":"Generated a warning for unsat loop condition, and an error for unsat negation of loop condition without return in loop body.","distinct":false,"url":"https://api.github.com/repos/sireum/v3/commits/02442afa4c448169e7e9c2608866193f42ae11f1"},{"sha":"b6299fbe8dae5ccb1850b7fc57c10d0416dd5ab0","author":{"name":"Robby","email":"81855ef260643c1c437d22de4648c589b0de3525@k-state.edu"},"message":"More summoning title streamlining.","distinct":false,"url":"https://api.github.com/repos/sireum/v3/commits/b6299fbe8dae5ccb1850b7fc57c10d0416dd5ab0"},{"sha":"f23bc1856520b5a601c258982c812bc3af4f4847","author":{"name":"Robby","email":"81855ef260643c1c437d22de4648c589b0de3525@k-state.edu"},"message":"Generated a warning for unsat loop condition, and an error for unsat negation of loop condition without return in loop body.","distinct":false,"url":"https://api.github.com/repos/sireum/v3/commits/f23bc1856520b5a601c258982c812bc3af4f4847"},{"sha":"0dc991e2d263fa7fa80362b7b8b4e0bc7bfbd400","author":{"name":"Robby","email":"81855ef260643c1c437d22de4648c589b0de3525@k-state.edu"},"message":"Cleaned up.","distinct":false,"url":"https://api.github.com/repos/sireum/v3/commits/0dc991e2d263fa7fa80362b7b8b4e0bc7bfbd400"},{"sha":"bdca70c4116282b9242a217115c5e471991b9944","author":{"name":"Robby","email":"81855ef260643c1c437d22de4648c589b0de3525@k-state.edu"},"message":"Added fun def without condition.","distinct":false,"url":"https://api.github.com/repos/sireum/v3/commits/bdca70c4116282b9242a217115c5e471991b9944"},{"sha":"764345b2c575862a1caf8616e620e1f0589fc820","author":{"name":"Robby","email":"81855ef260643c1c437d22de4648c589b0de3525@k-state.edu"},"message":"Allowed invocation of pure methods in expressions (including contract expressions).","distinct":false,"url":"https://api.github.com/repos/sireum/v3/commits/764345b2c575862a1caf8616e620e1f0589fc820"},{"sha":"036fc9d39ba4e573158337f0cbda364c62541348","author":{"name":"Robby","email":"81855ef260643c1c437d22de4648c589b0de3525@k-state.edu"},"message":"Added more pure invoke examples.","distinct":false,"url":"https://api.github.com/repos/sireum/v3/commits/036fc9d39ba4e573158337f0cbda364c62541348"},{"sha":"949e52788dac4d56b47cf59d16d7a6e8bbef3ea3","author":{"name":"Robby","email":"81855ef260643c1c437d22de4648c589b0de3525@k-state.edu"},"message":"Updated logika-runtime to 3.0.0-10.","distinct":false,"url":"https://api.github.com/repos/sireum/v3/commits/949e52788dac4d56b47cf59d16d7a6e8bbef3ea3"},{"sha":"a8bcf3ab142865935a538dacf592a5cb4f89968e","author":{"name":"Robby","email":"81855ef260643c1c437d22de4648c589b0de3525@k-state.edu"},"message":"Introduced @pure methods; only @pure annotated methods can be used inside expressions.","distinct":false,"url":"https://api.github.com/repos/sireum/v3/commits/a8bcf3ab142865935a538dacf592a5cb4f89968e"}]}
{"actor":{"display_login":"robby-phd"}}