{"push_id":638184650,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"5fe6c35516bac162183fb29cc22ff7211aa4dabf","before":"5f226bca54608412ab050e77da7f3cb80d9ff10b","commits":[{"sha":"25c5cc948b26c703abbbc8fbd5c02d2ac8827607","author":{"email":"cf43de92e885c828939e8d77803882703881910e@inria.fr","name":"Chantal Keller"},"message":"Mixing intuitionistic logic and SMT reasoning to prove properties about gcd\n(inspired by Simon and Jean-Karim solution to VerifyThis)\nAre the two assuptions avoidable? Should they be part of F* core if we want to mix SMT with tactics?","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/25c5cc948b26c703abbbc8fbd5c02d2ac8827607"},{"sha":"5fe6c35516bac162183fb29cc22ff7211aa4dabf","author":{"email":"cf43de92e885c828939e8d77803882703881910e@inria.fr","name":"Chantal Keller"},"message":"Merge branch 'master' of github.com:FStarLang/FStar","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/5fe6c35516bac162183fb29cc22ff7211aa4dabf"}]}