{"push_id":648882248,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"7d977859ed0514f1ccdc588423aec198f249bdae","before":"5e88109925bf9cf22f2bdc2723919e01f0828cf4","commits":[{"sha":"b53fbca0f8c7f1d00ad698023d0092de172cf824","author":{"email":"1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@robbertkrebbers.nl","name":"Robbert Krebbers"},"message":"Change order assert_wand_elim.","distinct":true,"url":"https://api.github.com/repos/robbertkrebbers/ch2o/commits/b53fbca0f8c7f1d00ad698023d0092de172cf824"},{"sha":"a62af263b08225b77d64eed85d76e7775558742b","author":{"email":"1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@robbertkrebbers.nl","name":"Robbert Krebbers"},"message":"Prove some missing properties about singletons.","distinct":true,"url":"https://api.github.com/repos/robbertkrebbers/ch2o/commits/a62af263b08225b77d64eed85d76e7775558742b"},{"sha":"914ea5ac92abfda0e1ec9937381cae0f55ea15cf","author":{"email":"1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@robbertkrebbers.nl","name":"Robbert Krebbers"},"message":"Forgot to generalize assignments in 5e881099.","distinct":true,"url":"https://api.github.com/repos/robbertkrebbers/ch2o/commits/914ea5ac92abfda0e1ec9937381cae0f55ea15cf"},{"sha":"8a20390642e163fcd932cf46d138d1a7431566a4","author":{"email":"1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@robbertkrebbers.nl","name":"Robbert Krebbers"},"message":"Replace ○ notation for assert_unlock with ◊ as in thesis.","distinct":true,"url":"https://api.github.com/repos/robbertkrebbers/ch2o/commits/8a20390642e163fcd932cf46d138d1a7431566a4"},{"sha":"7d977859ed0514f1ccdc588423aec198f249bdae","author":{"email":"1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@robbertkrebbers.nl","name":"Robbert Krebbers"},"message":"Add more simple version of the axiomatic semantics for expressions.\n\nThis version works for expressions whose result is know. In this case we can\nget rid of all the lambda, foralls and exist quantifiers. These rules are a\ncorollary of the full system.","distinct":true,"url":"https://api.github.com/repos/robbertkrebbers/ch2o/commits/7d977859ed0514f1ccdc588423aec198f249bdae"}]}