{"push_id":989679051,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"fe32e703f5e2bdefb4e1e4a931c1613b58aecbbf","before":"acb405f80071b61341049850101090543c31bf4d","commits":[{"sha":"fe32e703f5e2bdefb4e1e4a931c1613b58aecbbf","author":{"email":"2b9d56475662d6caa1747a3e28b137cf7ea3db05@gmail.com","name":"Ralf Sasse"},"message":"Changed heuristic to prefer solving adversary knowledge of a signature over double exponentiations - helpful for observational equivalence, but also reduces number of steps required in some old DH-based case studies.","distinct":true,"url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/commits/fe32e703f5e2bdefb4e1e4a931c1613b58aecbbf"}]}