{"push_id":2986079887,"size":414,"distinct_size":350,"ref":"refs/heads/listbv","head":"9eb5fb36588c3391c95d8e8c6183350dd1bf2324","before":"c4b72effafca66b7ba82192e9265b792c8b376ae","commits":[{"sha":"583b11e50a2f5a9019cb1ad487fa360447bb4034","author":{"name":"Zoe Paraskevopoulou","email":"43a9ee8a82bf4ea473f1dca68088a1e9c6a72e2a@gmail.com"},"message":"Option for using nbe by default in norm requests","distinct":false,"url":"https://api.github.com/repos/lastland/FStar/commits/583b11e50a2f5a9019cb1ad487fa360447bb4034"},{"sha":"752351b2cc065098f9e43e87350ade563a87dbb9","author":{"name":"Zoe Paraskevopoulou","email":"43a9ee8a82bf4ea473f1dca68088a1e9c6a72e2a@gmail.com"},"message":"snap","distinct":false,"url":"https://api.github.com/repos/lastland/FStar/commits/752351b2cc065098f9e43e87350ade563a87dbb9"},{"sha":"af066c505d1dba666229c65eb2addf8aebe9c0e3","author":{"name":"Zoe Paraskevopoulou","email":"43a9ee8a82bf4ea473f1dca68088a1e9c6a72e2a@gmail.com"},"message":"Verified low swap_and_sum","distinct":false,"url":"https://api.github.com/repos/lastland/FStar/commits/af066c505d1dba666229c65eb2addf8aebe9c0e3"},{"sha":"93cffc138701981002afa777f3457d1b91aa2ae3","author":{"name":"Zoe Paraskevopoulou","email":"43a9ee8a82bf4ea473f1dca68088a1e9c6a72e2a@gmail.com"},"message":"comments","distinct":false,"url":"https://api.github.com/repos/lastland/FStar/commits/93cffc138701981002afa777f3457d1b91aa2ae3"},{"sha":"95b776264b5b0a64eb8d675e4fa28420cce42291","author":{"name":"Zoe Paraskevopoulou","email":"43a9ee8a82bf4ea473f1dca68088a1e9c6a72e2a@gmail.com"},"message":"Dir rename","distinct":false,"url":"https://api.github.com/repos/lastland/FStar/commits/95b776264b5b0a64eb8d675e4fa28420cce42291"},{"sha":"e83433c1dcf00e50e03ad2d318a8ee4a5b460d22","author":{"name":"Zoe Paraskevopoulou","email":"43a9ee8a82bf4ea473f1dca68088a1e9c6a72e2a@gmail.com"},"message":"Second version of refinement:\n- Low-level code written in a monadic style\n- genric low_type for low-level code","distinct":false,"url":"https://api.github.com/repos/lastland/FStar/commits/e83433c1dcf00e50e03ad2d318a8ee4a5b460d22"},{"sha":"ae35f4f51b916b4c0415caab93da5c3e4ec4a9e8","author":{"name":"Zoe Paraskevopoulou","email":"43a9ee8a82bf4ea473f1dca68088a1e9c6a72e2a@gmail.com"},"message":"typo","distinct":false,"url":"https://api.github.com/repos/lastland/FStar/commits/ae35f4f51b916b4c0415caab93da5c3e4ec4a9e8"},{"sha":"c2888ef0a284a3cca29366463002984f62deddb1","author":{"name":"Zoe Paraskevopoulou","email":"43a9ee8a82bf4ea473f1dca68088a1e9c6a72e2a@gmail.com"},"message":"typo","distinct":false,"url":"https://api.github.com/repos/lastland/FStar/commits/c2888ef0a284a3cca29366463002984f62deddb1"},{"sha":"1d1bce19b225298eeee502f5ff6413bd5b5429b9","author":{"name":"Zoe Paraskevopoulou","email":"43a9ee8a82bf4ea473f1dca68088a1e9c6a72e2a@gmail.com"},"message":"Low level monadic combinators with refinement proofs","distinct":false,"url":"https://api.github.com/repos/lastland/FStar/commits/1d1bce19b225298eeee502f5ff6413bd5b5429b9"},{"sha":"c66c0d4f1170d25dc0bfa58fc1049defac929039","author":{"name":"Zoe Paraskevopoulou","email":"43a9ee8a82bf4ea473f1dca68088a1e9c6a72e2a@gmail.com"},"message":"High-level effect definition","distinct":false,"url":"https://api.github.com/repos/lastland/FStar/commits/c66c0d4f1170d25dc0bfa58fc1049defac929039"},{"sha":"24fa8cc3d2be73d4b600871ef0002d920e4b34ce","author":{"name":"Zoe Paraskevopoulou","email":"43a9ee8a82bf4ea473f1dca68088a1e9c6a72e2a@gmail.com"},"message":"Defining low type; not there yet","distinct":false,"url":"https://api.github.com/repos/lastland/FStar/commits/24fa8cc3d2be73d4b600871ef0002d920e4b34ce"},{"sha":"01babd71f234d2e62747ea698ab42eb1923e3953","author":{"name":"Zoe Paraskevopoulou","email":"43a9ee8a82bf4ea473f1dca68088a1e9c6a72e2a@gmail.com"},"message":"Added file","distinct":false,"url":"https://api.github.com/repos/lastland/FStar/commits/01babd71f234d2e62747ea698ab42eb1923e3953"},{"sha":"6d25d78fa2d42665f6d4aa906f275da5699f10b3","author":{"name":"Zoe Paraskevopoulou","email":"43a9ee8a82bf4ea473f1dca68088a1e9c6a72e2a@gmail.com"},"message":"Different variants for low type and DSL for Low computations; bind does not tc yet","distinct":false,"url":"https://api.github.com/repos/lastland/FStar/commits/6d25d78fa2d42665f6d4aa906f275da5699f10b3"},{"sha":"f0f01a4c95e4ffe075060d883336cbbcc5208b00","author":{"name":"Zoe Paraskevopoulou","email":"43a9ee8a82bf4ea473f1dca68088a1e9c6a72e2a@gmail.com"},"message":"added low read and write","distinct":false,"url":"https://api.github.com/repos/lastland/FStar/commits/f0f01a4c95e4ffe075060d883336cbbcc5208b00"},{"sha":"5364c64ed1b8632e466f916672fdf4eb96e0fe3c","author":{"name":"Jonathan Protzenko","email":"c4431aafd1f90d6e2f94187a7040251abaf4dd1d@gmail.com"},"message":"With Zoe, Guido: fight a little bit to try to get the bind_wp combinators to type-check, at the cost of a couple admits","distinct":false,"url":"https://api.github.com/repos/lastland/FStar/commits/5364c64ed1b8632e466f916672fdf4eb96e0fe3c"},{"sha":"65df2247fe5f827c37817b23ce8fab67c22d3348","author":{"name":"Zoe Paraskevopoulou","email":"43a9ee8a82bf4ea473f1dca68088a1e9c6a72e2a@gmail.com"},"message":"working with examples","distinct":false,"url":"https://api.github.com/repos/lastland/FStar/commits/65df2247fe5f827c37817b23ce8fab67c22d3348"},{"sha":"b1b31394ded8710589d6b1d9808daef08aae3ea9","author":{"name":"Zoe Paraskevopoulou","email":"43a9ee8a82bf4ea473f1dca68088a1e9c6a72e2a@gmail.com"},"message":"working with examples","distinct":false,"url":"https://api.github.com/repos/lastland/FStar/commits/b1b31394ded8710589d6b1d9808daef08aae3ea9"},{"sha":"1b8815018c1646f7d89b4200244fded3867112f3","author":{"name":"Zoe Paraskevopoulou","email":"43a9ee8a82bf4ea473f1dca68088a1e9c6a72e2a@gmail.com"},"message":"example does not verify yet","distinct":false,"url":"https://api.github.com/repos/lastland/FStar/commits/1b8815018c1646f7d89b4200244fded3867112f3"},{"sha":"9ff377e198d2a074fc6a64e5fa9120e21c7f2b57","author":{"name":"Zoe Paraskevopoulou","email":"43a9ee8a82bf4ea473f1dca68088a1e9c6a72e2a@gmail.com"},"message":"example verifies using the prime versions of the type","distinct":false,"url":"https://api.github.com/repos/lastland/FStar/commits/9ff377e198d2a074fc6a64e5fa9120e21c7f2b57"},{"sha":"973b1f802a8cf1dddaf4cc0d318431fff0067044","author":{"name":"Zoe Paraskevopoulou","email":"43a9ee8a82bf4ea473f1dca68088a1e9c6a72e2a@gmail.com"},"message":"example verifies using the prime versions of the type","distinct":false,"url":"https://api.github.com/repos/lastland/FStar/commits/973b1f802a8cf1dddaf4cc0d318431fff0067044"}]}
{"actor":{"display_login":"catalin-hritcu"}}