{"push_id":1035896356,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"2cb0df106257a80158f5e4c87cd3f7b310393d17","before":"de9ed054fd0bb067f74ab348dd1cafcfc4ac4d5f","commits":[{"sha":"2cb0df106257a80158f5e4c87cd3f7b310393d17","author":{"email":"5a3445560e6164123f00401f680012e7b5ed639a@informatik.uni-freiburg.de","name":"Marius Greitschus"},"message":"Abstract Interpretation\n\n- Changed all Util.and to script.term(\"and\", ...)","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/2cb0df106257a80158f5e4c87cd3f7b310393d17"}]}