{"push_id":670649017,"size":1,"distinct_size":1,"ref":"refs/heads/rewriting_functions","head":"e7274bc18a64a126e9d1ca6916ac551ce4bd5612","before":"13afc0c3ec74b7cf5d5b2bcfef436eaa9209ef19","commits":[{"sha":"e7274bc18a64a126e9d1ca6916ac551ce4bd5612","author":{"email":"401bd629fff00cd029f70ffaa816cfeb73f9ea8b@gmail.com","name":"MikAnd"},"message":"BUGFIX: Fixed a crash in PRenexNormalizer","distinct":true,"url":"https://api.github.com/repos/pysmt/pysmt/commits/e7274bc18a64a126e9d1ca6916ac551ce4bd5612"}]}