{"push_id":854766931,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"6520cf4b4dcf3141b5f572682f2474f788d8419f","before":"45c7e6ca6f90be5bee54b0b7d6980fadac17c8f8","commits":[{"sha":"6520cf4b4dcf3141b5f572682f2474f788d8419f","author":{"email":"5a3445560e6164123f00401f680012e7b5ed639a@informatik.uni-freiburg.de","name":"Marius Greitschus"},"message":"- Added QuadBools. Boolean values that can be true, false, top, or bottom.\n- Changed the evaluators accordingly.\n\nWARNING: This change might have broken abstract interpretation. If this\nis the case, revert to the previous version and file a bug report with\nthe benchmarks in concern and a detailed description of the problems.","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/6520cf4b4dcf3141b5f572682f2474f788d8419f"}]}