{"push_id":702311648,"size":1,"distinct_size":1,"ref":"refs/heads/new_compcert","head":"1c03f4e36b2ab3978aa113e55d22f26355c0ccd2","before":"25659ed0f83d89dca6f43578b2e47b219d444816","commits":[{"sha":"1c03f4e36b2ab3978aa113e55d22f26355c0ccd2","author":{"email":"913446ef8b4114bf9d2c4883d245fa7bbca12257@gmail.com","name":"Qinxiang"},"message":"As compcert allows more flexible usage of alignas attributes, legal_alignas_type is weakened a little bit.","distinct":true,"url":"https://api.github.com/repos/PrincetonUniversity/VST/commits/1c03f4e36b2ab3978aa113e55d22f26355c0ccd2"}]}