{"push_id":808740490,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"ed932f5da25fc5d929c0b44e67fc7ce53dfb5010","before":"d65d70e5a6e364fe4e639292635bfdcaa03d8d0f","commits":[{"sha":"ed932f5da25fc5d929c0b44e67fc7ce53dfb5010","author":{"email":"ac0bf0410e278f3401f45c41c52aee879da8699a@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"friedber"},"message":"renaming options for UF-encoding.\n\n\"encode*\" is done in CtoFormulaEncoder.\n\"replace*\" is done in ReplaceBVWithNumeralTheory.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@17898 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/ed932f5da25fc5d929c0b44e67fc7ce53dfb5010"}]}