{"push_id":912713628,"size":1,"distinct_size":1,"ref":"refs/heads/1.0","head":"6b35ced369ec4985225c557edab6232290953aa5","before":"a4c1ff3c6746b10cb157da1bf1322878e03e4e98","commits":[{"sha":"6b35ced369ec4985225c557edab6232290953aa5","author":{"email":"3ab4b4e365d2c50e7762f909b332e9beb5b4a074@strub.nu","name":"Pierre-Yves Strub"},"message":"Variant of `case` that retains the case equation.\n\nSyntax is `case _: ...`, and work as in vanilla variant, but retains\nthe case equation (that is pushed as a top-assumption).","distinct":true,"url":"https://api.github.com/repos/EasyCrypt/easycrypt/commits/6b35ced369ec4985225c557edab6232290953aa5"}]}