{"push_id":617279111,"size":1,"distinct_size":1,"ref":"refs/heads/topic/smtrec","head":"360a6f489b77164746295f4614c9eed75ee5adc8","before":"9be70e2d76d06e93c0f9a4cec43c08cec6c466fd","commits":[{"sha":"360a6f489b77164746295f4614c9eed75ee5adc8","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Various fixes","distinct":true,"url":"https://api.github.com/repos/epfl-lara/leon/commits/360a6f489b77164746295f4614c9eed75ee5adc8"}]}