{"push_id":1248144877,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"70adb853589d84110b24c2c3585a1f7d1c4ed164","before":"a705993f323adf8ef86721b8d91472c47b9368a0","commits":[{"sha":"a2897d525ddc09bb6a0460d34b1301cec615c886","author":{"name":"Michael Salter","email":"713289efb12a9c78a73604fad7961f0934d8336b@pdx.edu"},"message":"Changed smt_output's handling of boolean variables to match libsmt.rs's\nchange.","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/a2897d525ddc09bb6a0460d34b1301cec615c886"},{"sha":"52fe717cdc2686baf4a20aadcf8f382c90647d53","author":{"name":"Michael Salter","email":"713289efb12a9c78a73604fad7961f0934d8336b@pdx.edu"},"message":"Merge remote-tracking branch 'upstream/master'","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/52fe717cdc2686baf4a20aadcf8f382c90647d53"},{"sha":"70adb853589d84110b24c2c3585a1f7d1c4ed164","author":{"name":"Matthew Slocum","email":"5ce065d73aa2ed76999588563591d1a2bb08125f@gmail.com"},"message":"Merge pull request #235 from salterm/master\n\nChange of support for boolean variables.","distinct":true,"url":"https://api.github.com/repos/Rust-Proof/rustproof/commits/70adb853589d84110b24c2c3585a1f7d1c4ed164"}]}
{"actor":{"display_login":"arc3x"}}