{"push_id":603358543,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"cfd8d1c0d2070e4f4ca62e49c2ace43920ff8bac","before":"ab2ebfe86f131fac8e431432c6d1e4a9c80b532b","commits":[{"sha":"fbfa6155c7fb4cf0797759f3ffc4b3b4d4af4297","author":{"email":"c2d07ca52d763e76c132c7b9f383ad0794056fc3@lsv.ens-cachan.fr","name":"Alban Linard"},"message":"Remove useless files.","distinct":true,"url":"https://api.github.com/repos/CosyVerif/library/commits/fbfa6155c7fb4cf0797759f3ffc4b3b4d4af4297"},{"sha":"896c569c3a996bc03b210f0b25c016fc72d0e7b2","author":{"email":"c2d07ca52d763e76c132c7b9f383ad0794056fc3@lsv.ens-cachan.fr","name":"Alban Linard"},"message":"Remove useless module.","distinct":true,"url":"https://api.github.com/repos/CosyVerif/library/commits/896c569c3a996bc03b210f0b25c016fc72d0e7b2"},{"sha":"cfd8d1c0d2070e4f4ca62e49c2ace43920ff8bac","author":{"email":"c2d07ca52d763e76c132c7b9f383ad0794056fc3@lsv.ens-cachan.fr","name":"Alban Linard"},"message":"Work in progress for inheritance.","distinct":true,"url":"https://api.github.com/repos/CosyVerif/library/commits/cfd8d1c0d2070e4f4ca62e49c2ace43920ff8bac"}]}