{"push_id":2323049677,"size":1000,"distinct_size":0,"ref":"refs/heads/zoe_nbe","head":"3c637a799e03510a1d1c6b0e596525129fa55050","before":"d7ce56b77ef0a9ad96194948ca53cbad7e9ee701","commits":[{"sha":"6c48ad098fa2e46cc727d3a9a7944bce6002ab7e","author":{"name":"Jonathan Protzenko","email":"6fddb1048f6869e3b85caf276e41d5ee2cd764d7@microsoft.com"},"message":"pattern-matching on C literals with a width","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/6c48ad098fa2e46cc727d3a9a7944bce6002ab7e"},{"sha":"65540b730e370e14ac628bbad9383dd10b039507","author":{"name":"Jonathan Protzenko","email":"6fddb1048f6869e3b85caf276e41d5ee2cd764d7@microsoft.com"},"message":"bootsrap","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/65540b730e370e14ac628bbad9383dd10b039507"},{"sha":"28a656e4d9ba9e036690efa9417d9d8353e7e6c7","author":{"name":"Nikhil Swamy","email":"b4d6aa98ae71f168e6de9d5f2e4ec3e236a67237@users.noreply.github.com"},"message":"translating string to kremlin strings","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/28a656e4d9ba9e036690efa9417d9d8353e7e6c7"},{"sha":"28cf132244876be9c8213b8fee785bfbc026d85a","author":{"name":"Jonathan Protzenko","email":"6fddb1048f6869e3b85caf276e41d5ee2cd764d7@microsoft.com"},"message":"Merge remote-tracking branch 'origin/nik_kremstr' into protz_pconstnat","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/28cf132244876be9c8213b8fee785bfbc026d85a"},{"sha":"8928dc91193f943c6b76efcc39822020e38232f7","author":{"name":"Nikhil Swamy","email":"b4d6aa98ae71f168e6de9d5f2e4ec3e236a67237@users.noreply.github.com"},"message":"merging master in again","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/8928dc91193f943c6b76efcc39822020e38232f7"},{"sha":"20dd4b1458e5c6006d8957ee9b673e839c5769a1","author":{"name":"Nikhil Swamy","email":"b4d6aa98ae71f168e6de9d5f2e4ec3e236a67237@users.noreply.github.com"},"message":"snap","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/20dd4b1458e5c6006d8957ee9b673e839c5769a1"},{"sha":"f40f0f051c83dbf1626b553dfa6c1da1c74bfa2d","author":{"name":"Dzomo the everest Yak","email":"ab0ac8107b117217f5e33b576c31b5593ba05bcf@microsoft.com"},"message":"[CI] regenerate hints + ocaml snapshot","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/f40f0f051c83dbf1626b553dfa6c1da1c74bfa2d"},{"sha":"78d01ececfbb4e2ff29c59805b9d9c1bee1014c3","author":{"name":"Aseem Rastogi","email":"5a152d181014acc09d4c2178c1b0480d035c3bf4@microsoft.com"},"message":"fixes to pointers","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/78d01ececfbb4e2ff29c59805b9d9c1bee1014c3"},{"sha":"fe8eb94ef750d8faa70c9997a8d2011a39b42d23","author":{"name":"Aseem Rastogi","email":"5a152d181014acc09d4c2178c1b0480d035c3bf4@microsoft.com"},"message":"***NO_CI*** fixing code after the fix for ascriptions","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/fe8eb94ef750d8faa70c9997a8d2011a39b42d23"},{"sha":"8182e9bed6dc2322818e7e0df0c058a9032cff10","author":{"name":"Aseem Rastogi","email":"5a152d181014acc09d4c2178c1b0480d035c3bf4@microsoft.com"},"message":"***NO_CI*** merge","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/8182e9bed6dc2322818e7e0df0c058a9032cff10"},{"sha":"53d49e1e5948740fceaf4855fb5d6ec512f89bee","author":{"name":"Aseem Rastogi","email":"5a152d181014acc09d4c2178c1b0480d035c3bf4@microsoft.com"},"message":"***NO_CI*** restoring files to their master version","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/53d49e1e5948740fceaf4855fb5d6ec512f89bee"},{"sha":"b294cf1000dfb8ce3aa6d56e60e41c51c000f822","author":{"name":"Aseem Rastogi","email":"5a152d181014acc09d4c2178c1b0480d035c3bf4@microsoft.com"},"message":"few more examples ***NO_CI***","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/b294cf1000dfb8ce3aa6d56e60e41c51c000f822"},{"sha":"e46203b09952708315dcf1659db748eee3244eed","author":{"name":"Aseem Rastogi","email":"5a152d181014acc09d4c2178c1b0480d035c3bf4@microsoft.com"},"message":"***NO_CI*** math lemmas","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/e46203b09952708315dcf1659db748eee3244eed"},{"sha":"6d6a2fc28272bac45da0c4a82a495ac550663942","author":{"name":"Aseem Rastogi","email":"5a152d181014acc09d4c2178c1b0480d035c3bf4@microsoft.com"},"message":"bug-reports Makefile fix, should include Makefile.include, else standard flags like OTHERFLAGS don't work","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/6d6a2fc28272bac45da0c4a82a495ac550663942"},{"sha":"579ed0a73228780614ac49a5c2a117c9f85924a3","author":{"name":"Aseem Rastogi","email":"5a152d181014acc09d4c2178c1b0480d035c3bf4@microsoft.com"},"message":"Checking of formals and actuals for let recs seems fishy","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/579ed0a73228780614ac49a5c2a117c9f85924a3"},{"sha":"0eb67739722ae5898049ab6a497decca6c4eca42","author":{"name":"Aseem Rastogi","email":"5a152d181014acc09d4c2178c1b0480d035c3bf4@microsoft.com"},"message":"A new example where two-phase doesn't work: when the implicit is unified to the type of a recursive function's occurrence, the type of the recursive binding is different in the two phases (decreases clause), and so it fails in the second phase. A small example in Test.fst, from bug056","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/0eb67739722ae5898049ab6a497decca6c4eca42"},{"sha":"c264ebf2e8fad77f1ae133c8a1bd1884fb20d43e","author":{"name":"Nikhil Swamy","email":"b4d6aa98ae71f168e6de9d5f2e4ec3e236a67237@users.noreply.github.com"},"message":"Taking kremlin.fs from FStar/master\nadding a ^ operator in FStar.String ... should eventually remove it from prims;","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/c264ebf2e8fad77f1ae133c8a1bd1884fb20d43e"},{"sha":"9c24ac880225e78d272c3d95ff91bc630ce80430","author":{"name":"Nikhil Swamy","email":"b4d6aa98ae71f168e6de9d5f2e4ec3e236a67237@users.noreply.github.com"},"message":"snap","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/9c24ac880225e78d272c3d95ff91bc630ce80430"},{"sha":"27f1d1c7c7c7ed4683670d697a2768d7a8725f76","author":{"name":"Nikhil Swamy","email":"b4d6aa98ae71f168e6de9d5f2e4ec3e236a67237@users.noreply.github.com"},"message":"incremental bootstrapping build","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/27f1d1c7c7c7ed4683670d697a2768d7a8725f76"},{"sha":"37ca131e0a5781606fcbb793cbe44dcd9a6fd7f6","author":{"name":"Nikhil Swamy","email":"b4d6aa98ae71f168e6de9d5f2e4ec3e236a67237@users.noreply.github.com"},"message":"snap","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/37ca131e0a5781606fcbb793cbe44dcd9a6fd7f6"}]}
{"actor":{"display_login":"zoep"}}