{"push_id":617453958,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"045f2973e379d6eadd8673a13c90f14a1b54953e","before":"7db3cd8c53ae704942ba1037d771e02d8e26bdad","commits":[{"sha":"435028d99ef5ed9ff018f2abe3d6f1838831fe37","author":{"email":"aa5ddc582937fac10a8c51bc75f5a067eeaf97a5@kit.edu","name":"Sebastian Buchwald"},"message":"Added test for local optimization of Cmp nodes.","distinct":true,"url":"https://api.github.com/repos/MatzeB/firm-testsuite/commits/435028d99ef5ed9ff018f2abe3d6f1838831fe37"},{"sha":"045f2973e379d6eadd8673a13c90f14a1b54953e","author":{"email":"4d1508a733b54d752d82f9e7d450313625cf6007@cs.uni-saarland.de","name":"Christoph Mallon"},"message":"Use a bigger constant to recurse deeper and crash.","distinct":true,"url":"https://api.github.com/repos/MatzeB/firm-testsuite/commits/045f2973e379d6eadd8673a13c90f14a1b54953e"}]}