{"push_id":1362114196,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"8e274c7d6e6221c5cb4e790c3a411db80782c537","before":"056b5360a9086d530021b2023e5aa27627c6df70","commits":[{"sha":"c10cfb93394b0de7accd3121a4b9c1b69921ac2a","author":{"name":"Jean-Marie Madiot","email":"c2c322306321161daf58ed27e8bd9e89137fb034@gmail.com"},"message":"filled hole in veric (no more yuck admits)\n\nsemax_func_cons_ext requires typechecking of the return value in terms\nof C types (Clight.type), but the user is now provided with the fact\nthat the return value typechecks in terms of assembly types (AST.typ),\nwhich in practice means no additional goal is generated.","distinct":true,"url":"https://api.github.com/repos/PrincetonUniversity/VST/commits/c10cfb93394b0de7accd3121a4b9c1b69921ac2a"},{"sha":"303de31d0984df0e7164a305ecd315e2762887ad","author":{"name":"Jean-Marie Madiot","email":"c2c322306321161daf58ed27e8bd9e89137fb034@gmail.com"},"message":"Merge branch 'master' of github.com:PrincetonUniversity/VST","distinct":true,"url":"https://api.github.com/repos/PrincetonUniversity/VST/commits/303de31d0984df0e7164a305ecd315e2762887ad"},{"sha":"8e274c7d6e6221c5cb4e790c3a411db80782c537","author":{"name":"Jean-Marie Madiot","email":"c2c322306321161daf58ed27e8bd9e89137fb034@gmail.com"},"message":"fix compcert_threads_lemmas for return value and signature checking","distinct":true,"url":"https://api.github.com/repos/PrincetonUniversity/VST/commits/8e274c7d6e6221c5cb4e790c3a411db80782c537"}]}
{"actor":{"display_login":"jmadiot"}}