{"push_id":1212715540,"size":8,"distinct_size":8,"ref":"refs/heads/master","head":"405e5d99eb656e83adbe178d9d1dff8c95c2ee1a","before":"c3830aca0fa2962060db788a36b1ff78f9a1ee62","commits":[{"sha":"ecb08a2d1fbf5c55fbe32a839f5f44e2ef504c82","author":{"name":"Vincent Schuster","email":"c82b6a06ea0a3ade0af37823e841b13780a7e71c@outlook.com"},"message":"Added some new stuff for getting arg,temp,varDECLS","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/ecb08a2d1fbf5c55fbe32a839f5f44e2ef504c82"},{"sha":"cdfbb2477918118916dcd18af61ecd3c4574beef","author":{"name":"Michael Salter","email":"713289efb12a9c78a73604fad7961f0934d8336b@pdx.edu"},"message":"Started implementation for gen_stmt, specifically for the right side of an\nassignment. Should be able to handle addition of integer literals.","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/cdfbb2477918118916dcd18af61ecd3c4574beef"},{"sha":"c06fcaf91ac7304168d7592bdad3ac73939732ab","author":{"name":"Michael Salter","email":"713289efb12a9c78a73604fad7961f0934d8336b@pdx.edu"},"message":"Refactored Rvalue parsing in wp_stmt to be more generic, and added dummy\nLvalue handling to allow testing.","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/c06fcaf91ac7304168d7592bdad3ac73939732ab"},{"sha":"59794011741fe2a0da6ed7ee173a167c31810bb0","author":{"name":"Michael Salter","email":"713289efb12a9c78a73604fad7961f0934d8336b@pdx.edu"},"message":"Expanded gen_stmt's Rvalue parsing to handle most binary operations except\ndivision and modulo, as well as bitwise not. Negation is still unhandled\nand will require rethinking storage of literals.","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/59794011741fe2a0da6ed7ee173a167c31810bb0"},{"sha":"6c208f8999ac6ed36e721bf31f17ab0a62157b65","author":{"name":"Vincent Schuster","email":"fea17283a722b245f64d6c24051507ea6d671738"},"message":"Merge https://github.com/salterm/rustproof","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/6c208f8999ac6ed36e721bf31f17ab0a62157b65"},{"sha":"377ada40a70f0319c92178f1617c61512ef3bb16","author":{"name":"Vincent Schuster","email":"45a05b2215873b8ccb9be0c6fbb86c066f7bbd0f@pdx.edu"},"message":"added salterms code worked with gen_stmt()","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/377ada40a70f0319c92178f1617c61512ef3bb16"},{"sha":"dc455020c88e87558a42aba2896ccde88e5c5826","author":{"name":"Vincent Schuster","email":"c82b6a06ea0a3ade0af37823e841b13780a7e71c@outlook.com"},"message":"Updated WP to use temp names and return. Moved Lvalue Parsing to seperate\nfunction","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/dc455020c88e87558a42aba2896ccde88e5c5826"},{"sha":"405e5d99eb656e83adbe178d9d1dff8c95c2ee1a","author":{"name":"Michael Salter","email":"713289efb12a9c78a73604fad7961f0934d8336b@users.noreply.github.com"},"message":"Merge pull request #127 from VSchuster/master\n\nWorked on Gen_stmt() Salterms code included","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/405e5d99eb656e83adbe178d9d1dff8c95c2ee1a"}]}
{"actor":{"display_login":"salterm"}}