{"push_id":2328843904,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"e06139703e121d9d5cf516f36cb496a2344a30b3","before":"c6a72735fa9c9c6a0067ce5e75fa300faf3eb07b","commits":[{"sha":"683d59c22223ae25a25c7be0325c463c536dd26e","author":{"name":"dustin","email":"e1708261a950e9bd5bd391c330aa933f13f134af@gmail.com"},"message":"`cast` --> `check` or `trust`","distinct":true,"url":"https://api.github.com/repos/legalese/legalese-compiler/commits/683d59c22223ae25a25c7be0325c463c536dd26e"},{"sha":"2be1467223450de85731fae45f59110806fdd9d2","author":{"name":"dustin","email":"e1708261a950e9bd5bd391c330aa933f13f134af@gmail.com"},"message":"tell z3 that if we don't update a state var in a particular scope, then it stays the same.","distinct":true,"url":"https://api.github.com/repos/legalese/legalese-compiler/commits/2be1467223450de85731fae45f59110806fdd9d2"},{"sha":"e06139703e121d9d5cf516f36cb496a2344a30b3","author":{"name":"dustin","email":"e1708261a950e9bd5bd391c330aa933f13f134af@gmail.com"},"message":"z3 not checking state invariants","distinct":true,"url":"https://api.github.com/repos/legalese/legalese-compiler/commits/e06139703e121d9d5cf516f36cb496a2344a30b3"}]}
{"actor":{"display_login":"DustinWehr"}}