{"push_id":1230148475,"size":1,"distinct_size":1,"ref":"refs/heads/ver1.3","head":"bc73bcbcdfc0074cc467b2699094f574cc2b3819","before":"9d1455d47ae0ce5a9274cecc3c21012d367b1147","commits":[{"sha":"bc73bcbcdfc0074cc467b2699094f574cc2b3819","author":{"name":"oferst","email":"b221d125a3587648b290f11ed60f64aef95303bf@ie.technion.ac.il"},"message":"Important!\nremoved removesuplicate_ from several places\nRemoved sort(vecuidstoremove) from minimalcore.cc\nThe reason for both is that sort() (which is also called by removeduplicate) leads to stack overflow, e.g. with SEQ009_size8.smt.cn.\nConditioned the call to removeclauses_withoutparents\nNeed to be tested to confrm that we did not affect correctness","distinct":true,"url":"https://api.github.com/repos/oferst/hmuc/commits/bc73bcbcdfc0074cc467b2699094f574cc2b3819"}]}
{"actor":{"display_login":"oferst"}}