{"push_id":954382138,"size":1,"distinct_size":1,"ref":"refs/heads/universes","head":"6c75e8cbd2b7a47e730a332a6a3ed7edf9aff329","before":"520ab6f417678a4b45846cc560afe8ba3bfd99c8","commits":[{"sha":"6c75e8cbd2b7a47e730a332a6a3ed7edf9aff329","author":{"email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com","name":"Nikhil Swamy"},"message":"decorating abstractions with computation types for their bodies ... to avoid losses in SMT encoding precision","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/6c75e8cbd2b7a47e730a332a6a3ed7edf9aff329"}]}