{"push_id":3099435657,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7a6e47eb7c9a83421614b1d550ffd71dc51d2927","before":"4198749c98e5ea20a9e9979f0a612c8c60514089","commits":[{"sha":"7a6e47eb7c9a83421614b1d550ffd71dc51d2927","author":{"name":"Nuno Lopes","email":"1583f6ce38ffd3df97b3af6fa047d3128d9947f3@ist.utl.pt"},"message":"SMT: fix encoding of signed saturating arithmetic","distinct":true,"url":"https://api.github.com/repos/AliveToolkit/alive2/commits/7a6e47eb7c9a83421614b1d550ffd71dc51d2927"}]}
{"actor":{"display_login":"nunoplopes"}}