{"push_id":935498553,"size":1,"distinct_size":1,"ref":"refs/heads/sparkv85","head":"c97f31e8c36b61f1e1ca17a2126607bc932c49dc","before":"1664bf1668a7d1ba04b7ce78fdcfd4afa008d29c","commits":[{"sha":"c97f31e8c36b61f1e1ca17a2126607bc932c49dc","author":{"email":"6dba231d870e70fc5620e331351fe3f0080f1006@cnam.fr","name":"Pierre Courtieu"},"message":"New lemma on the stack. TBC.","distinct":true,"url":"https://api.github.com/repos/Matafou/CompCert/commits/c97f31e8c36b61f1e1ca17a2126607bc932c49dc"}]}