{"push_id":1241235408,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1cdb0c503c45a548e8980a57b3636fa1a99bf54d","before":"d4f6a8731e45b259214cf6c96ee5f38c700bd36c","commits":[{"sha":"1cdb0c503c45a548e8980a57b3636fa1a99bf54d","author":{"name":"Philipp Wendler","email":"4daf4f0d85ca09ff1c0203a9f8c631d5f538d77e@philippwendler.de"},"message":"Add workaround to Z3Prover/z3#665 (closes 68).\n\nZ3 sometimes returns interpolants with free variables such as `(var :0)`\noutside a quantifier, which is invalid.\nWhen these formulas get used as input for further queries,\nZ3 might segfault. Thus we check immediately after interpolant whether\nthis case occurs and fail fast with a proper exception.","distinct":true,"url":"https://api.github.com/repos/sosy-lab/java-smt/commits/1cdb0c503c45a548e8980a57b3636fa1a99bf54d"}]}
{"actor":{"display_login":"PhilippWendler"}}