{"push_id":1090512158,"size":9,"distinct_size":2,"ref":"refs/heads/fuel-trace","head":"94247d6858a8f0fec290d41fbf8bc62321104a5a","before":"8a67c716bb14a9e076e32c0cea3badd0e2916850","commits":[{"sha":"b7db7d87edefa111edd191dfee91c165e2e1b3aa","author":{"email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com","name":"Nikhil Swamy"},"message":"removing special handling of null binders in rel.fs ... too error prone","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/b7db7d87edefa111edd191dfee91c165e2e1b3aa"},{"sha":"cb262e72c00296987000c4ff7af6c38804006a8c","author":{"email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com","name":"Nikhil Swamy"},"message":"Merge branch 'master' of github.com:FStarLang/FStar","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/cb262e72c00296987000c4ff7af6c38804006a8c"},{"sha":"4826e1079116602da3eac1c5a26bff3470d16e71","author":{"email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com","name":"Nikhil Swamy"},"message":"snap; finally fixing an old bug/crash revealed by HandshakeMessages","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/4826e1079116602da3eac1c5a26bff3470d16e71"},{"sha":"df45499935fb5ec2e15b41be07b1e483d094e6d2","author":{"email":"cfb2ac0f41b3a66a8c4e34a72520665f71d5038c@microsoft.com","name":"Jonathan Protzenko"},"message":"DM4Free in the testsuite","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/df45499935fb5ec2e15b41be07b1e483d094e6d2"},{"sha":"4cb05919bb43c33553dc059d796880bd3c94d20f","author":{"email":"649799e19e45e5ec0c0c28ea59e0ff112e8daa79@gmail.com","name":"Guido Martínez"},"message":"typechecker: wps4free: collect all binders\n\nThey might not be together in a single arrow (for example if the user\ndefines the WP type in more than one declaration). So, collect all the\nbinders by traversing the arrows until we reach a Tm_type","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/4cb05919bb43c33553dc059d796880bd3c94d20f"},{"sha":"0fa89820da6bc28b85423f7fbfb74b0846b7117d","author":{"email":"649799e19e45e5ec0c0c28ea59e0ff112e8daa79@gmail.com","name":"Guido Martínez"},"message":"dm4free: add simple Makefile\n\nNot perfect, but fixes the build","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/0fa89820da6bc28b85423f7fbfb74b0846b7117d"},{"sha":"f21b2be11b5cc158b427b79466dddf2fca3f65f5","author":{"email":"f1b89739ee0d76620764af569435c64abee7d584@gmail.com","name":"Catalin Hritcu"},"message":"Added larger z3 timeouts at places where things fail on my machine","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/f21b2be11b5cc158b427b79466dddf2fca3f65f5"},{"sha":"759e2d6b94870138c64454ebdb25c642afeef6d3","author":{"email":"cfb2ac0f41b3a66a8c4e34a72520665f71d5038c@microsoft.com","name":"Jonathan Protzenko"},"message":"Merge branch 'master' into fuel-trace","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/759e2d6b94870138c64454ebdb25c642afeef6d3"},{"sha":"94247d6858a8f0fec290d41fbf8bc62321104a5a","author":{"email":"cfb2ac0f41b3a66a8c4e34a72520665f71d5038c@microsoft.com","name":"Jonathan Protzenko"},"message":"Try full verification on the server","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/94247d6858a8f0fec290d41fbf8bc62321104a5a"}]}