{"push_id":843780403,"size":16,"distinct_size":1,"ref":"refs/heads/w-extraction","head":"597ce4fea5f163bb4f2914a1f0262d83e2d1c8c3","before":"adca2bcbdc1bda4c295f189a638af5dd13c804a8","commits":[{"sha":"00fbe081adf3e8cb8188c4ef0069b3cb4e5106d4","author":{"email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com","name":"nikswamy"},"message":"explicit patterns on some datatype axioms","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/00fbe081adf3e8cb8188c4ef0069b3cb4e5106d4"},{"sha":"bb6d6dd0b027f2e6a8b396394009cab5e709bfde","author":{"email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com","name":"nikswamy"},"message":"inlining Valid (b2t ...), avoiding deep embedding of primitives like =, <=, >= etc.","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/bb6d6dd0b027f2e6a8b396394009cab5e709bfde"},{"sha":"5f7637b9385a64923b295363b96ea2b7946a402b","author":{"email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com","name":"nikswamy"},"message":"correctly report one more error;disabling Wysteria from the regression suite for now (with @aseemr's approval)","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/5f7637b9385a64923b295363b96ea2b7946a402b"},{"sha":"f75321d909eaea7c033b55350435ebaccee8059c","author":{"email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com","name":"nikswamy"},"message":"associated file for #424","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/f75321d909eaea7c033b55350435ebaccee8059c"},{"sha":"512da383a60b000e0db4cc5719524ed989565afe","author":{"email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com","name":"nikswamy"},"message":"#422 file","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/512da383a60b000e0db4cc5719524ed989565afe"},{"sha":"75cc949b162f7405b7d0b08c7e62ccee245d3041","author":{"email":"f1b89739ee0d76620764af569435c64abee7d584@gmail.com","name":"Catalin Hritcu"},"message":"Reverted taking out lib and examples out of make test\n\n... don't think it was an intentional change","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/75cc949b162f7405b7d0b08c7e62ccee245d3041"},{"sha":"2f9ae32ccde8c5b28ea35be5a634f96657eb3367","author":{"email":"41164ae696511bcf6abdcc86f1de14b9fc9d34ac@gmail.com","name":"Santiago Zanella-Béguelin"},"message":"Simpler example for #424","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/2f9ae32ccde8c5b28ea35be5a634f96657eb3367"},{"sha":"d24cd36e72ffad89d5896668d3f2bce7e0e61aa2","author":{"email":"0749e5dd25babf08d5bfafc2069ecdd31e4f5458@gmail.com","name":"Jean Karim Zinzindohoue"},"message":"#429","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/d24cd36e72ffad89d5896668d3f2bce7e0e61aa2"},{"sha":"c5976627992350fdf8e0a2cfe3946872ac91b00f","author":{"email":"0749e5dd25babf08d5bfafc2069ecdd31e4f5458@gmail.com","name":"Jean Karim Zinzindohoue"},"message":"remove code for #429","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/c5976627992350fdf8e0a2cfe3946872ac91b00f"},{"sha":"cbfb8606e76a4ef7be3a1c55f14586f96396c5a5","author":{"email":"7c723933c74ca8aafc7a847bb7d2885d4e2e1cee@microsoft.com","name":"Michael Lowell Roberts"},"message":"fix broken reference to FsLexYacc.Runtime in parser project.","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/cbfb8606e76a4ef7be3a1c55f14586f96396c5a5"},{"sha":"20ff6d49a15c868bac72e7420cf11f04586bff96","author":{"email":"f1b89739ee0d76620764af569435c64abee7d584@gmail.com","name":"Catalin Hritcu"},"message":"Added fullpage to LaTeX tutorial","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/20ff6d49a15c868bac72e7420cf11f04586bff96"},{"sha":"52ebcb558efe9583bb82a7397c6a63eeadc23a2f","author":{"email":"f1b89739ee0d76620764af569435c64abee7d584@gmail.com","name":"Catalin Hritcu"},"message":"Fixed text running out of the printed page problems","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/52ebcb558efe9583bb82a7397c6a63eeadc23a2f"},{"sha":"f6bb2fef9107ee8bf56e0f3e724c4bdeda12f92b","author":{"email":"f1b89739ee0d76620764af569435c64abee7d584@gmail.com","name":"Catalin Hritcu"},"message":"Tutorial prints beautifully ... or so","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/f6bb2fef9107ee8bf56e0f3e724c4bdeda12f92b"},{"sha":"c34cb5e2f1a0d27d38edbc0531f6f1208a635030","author":{"email":"f02918dbae64dbe83e65060325bfde138e069d1f@cs.umd.edu","name":"Aseem Rastogi"},"message":"fixing and adding back wysteria","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/c34cb5e2f1a0d27d38edbc0531f6f1208a635030"},{"sha":"c80dd9cccaa5dac2fca3dd4f9d32ab87c4f6cc47","author":{"email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com","name":"nikswamy"},"message":"Merge pull request #431 from mlr-msft/mirobert-wip-misc\n\nfix broken reference to FsLexYacc.Runtime in parser project (#430)","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/c80dd9cccaa5dac2fca3dd4f9d32ab87c4f6cc47"},{"sha":"597ce4fea5f163bb4f2914a1f0262d83e2d1c8c3","author":{"email":"f02918dbae64dbe83e65060325bfde138e069d1f@cs.umd.edu","name":"Aseem Rastogi"},"message":"merge","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/597ce4fea5f163bb4f2914a1f0262d83e2d1c8c3"}]}