{"push_id":756028732,"size":10,"distinct_size":1,"ref":"refs/heads/w-extraction","head":"25a0544309dddeacd7835e9201852d0721f007b1","before":"69cce159350f37fad2aa282f6cc3f7c60f3d6e8e","commits":[{"sha":"6baa992b627631aa6ac518241a5801d1040cb971","author":{"email":"3623de16a2d847203d0b13f4c029365b5cd13403@microsoft.com","name":"Abhishek Anand (@ MSR desktop)"},"message":"more naming consistency.","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/6baa992b627631aa6ac518241a5801d1040cb971"},{"sha":"4b1f20dc731808f61f22badc8034c368ef78aadb","author":{"email":"f1b89739ee0d76620764af569435c64abee7d584@gmail.com","name":"Catalin Hritcu"},"message":".gitignore","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/4b1f20dc731808f61f22badc8034c368ef78aadb"},{"sha":"c1625fbe4988dc50703e5eedf3fc93eaf49fe714","author":{"email":"f1b89739ee0d76620764af569435c64abee7d584@gmail.com","name":"Catalin Hritcu"},"message":"smt2 files for the various things that (used to) break","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/c1625fbe4988dc50703e5eedf3fc93eaf49fe714"},{"sha":"5af036a11f121e8d60e7a811bfa4a67bd3be07ad","author":{"email":"3623de16a2d847203d0b13f4c029365b5cd13403@microsoft.com","name":"Abhishek Anand (@ MSR desktop)"},"message":"consistent names:\n\nSTackAndHeap.refExistsInMem --> StackAndHeap.liveRef\nArrayAlgos.contains --> ArrayAlgos.liveArr\nLref.gonly --> Lref.only\nLref.gunion --> Lref.eunion (e for erased)","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/5af036a11f121e8d60e7a811bfa4a67bd3be07ad"},{"sha":"a675433118d5616e97038e4e6160742620e0106b","author":{"email":"3623de16a2d847203d0b13f4c029365b5cd13403@microsoft.com","name":"Abhishek Anand (@ MSR desktop)"},"message":"Merge branch 'locatedRef'","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/a675433118d5616e97038e4e6160742620e0106b"},{"sha":"8e7e7882e2dc7fef67473658bf999c2732d0237b","author":{"email":"3623de16a2d847203d0b13f4c029365b5cd13403@microsoft.com","name":"Abhishek Anand (@ MSR desktop)"},"message":"liveness for located data","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/8e7e7882e2dc7fef67473658bf999c2732d0237b"},{"sha":"ba51d4d7d967e7cab80bd1261078a5ad0f169244","author":{"email":"cfb2ac0f41b3a66a8c4e34a72520665f71d5038c@microsoft.com","name":"Jonathan Protzenko"},"message":"Minor tweak: building huffman requires building the allocator first.","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/ba51d4d7d967e7cab80bd1261078a5ad0f169244"},{"sha":"c48d16765bee679253fe23dad29a276631d00735","author":{"email":"b82eecdfce19ef6c0125840b498d3afc6226dd31@cs.uni-saarland.de","name":"Niklas Grimm"},"message":"started porting smart meter example","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/c48d16765bee679253fe23dad29a276631d00735"},{"sha":"4489d1257a1166676a20c03fe1dc1af1bcf11b35","author":{"email":"f02918dbae64dbe83e65060325bfde138e069d1f@cs.umd.edu","name":"Aseem Rastogi"},"message":"fixing broken regressions","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/4489d1257a1166676a20c03fe1dc1af1bcf11b35"},{"sha":"25a0544309dddeacd7835e9201852d0721f007b1","author":{"email":"f02918dbae64dbe83e65060325bfde138e069d1f@cs.umd.edu","name":"Aseem Rastogi"},"message":"Merge branch 'master' into w-extraction","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/25a0544309dddeacd7835e9201852d0721f007b1"}]}