{"push_id":785323786,"size":1,"distinct_size":1,"ref":"refs/heads/contracts-strategy","head":"6ff50d54213aec3677774416d865dd4d20efc151","before":"28644ac218b13b7c7dcded857a1eea132d722795","commits":[{"sha":"6ff50d54213aec3677774416d865dd4d20efc151","author":{"email":"17a13435e94672b3e5ef1717a4ef158858e48fdb@mail.com","name":"Adrien Champion"},"message":"Fixed cex reconstruction bug (wrong offset in eval term).","distinct":true,"url":"https://api.github.com/repos/AdrienChampion/kind2/commits/6ff50d54213aec3677774416d865dd4d20efc151"}]}