{"push_id":691114607,"size":1,"distinct_size":1,"ref":"refs/heads/formula_slicing","head":"bde15f047d6f93233b7ded9a2d20af88d02b3a87","before":"0a3e182a5078b51b8411321875c78df49e719297","commits":[{"sha":"bde15f047d6f93233b7ded9a2d20af88d02b3a87","author":{"email":"fafbb143bc98b3398fb52cc5dc97b0add41e1a09@gmail.com","name":"George Karpenkov"},"message":"Formula Slicing: initial commit.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/formula_slicing@16995 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/bde15f047d6f93233b7ded9a2d20af88d02b3a87"}]}