{"push_id":712882710,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"7fdd8e8b7ea0cc5e0987376e46feb7f790e88487","before":"c899858239229bc032230f93a99bceebda1457fe","commits":[{"sha":"ac385ce59932da0ab4762fe884bcc340fe8568ca","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Make this more readable","distinct":true,"url":"https://api.github.com/repos/epfl-lara/leon/commits/ac385ce59932da0ab4762fe884bcc340fe8568ca"},{"sha":"7fdd8e8b7ea0cc5e0987376e46feb7f790e88487","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Fix bug in RecursiveEvaluator","distinct":true,"url":"https://api.github.com/repos/epfl-lara/leon/commits/7fdd8e8b7ea0cc5e0987376e46feb7f790e88487"}]}