{"push_id":567296424,"size":1,"distinct_size":1,"ref":"refs/heads/IndependentSplitter","head":"0cc4078a6a3d2e4afbdb461b0164966bdf4828c2","before":"a8bacef575be6cae40e45beca2660691deedf674","commits":[{"sha":"0cc4078a6a3d2e4afbdb461b0164966bdf4828c2","author":{"email":"a8d284f006cdf4e6df78f203ddeaf479d43f7a2e@gmail.com","name":"Eric Rizzi"},"message":"Improved handling of value vectors in IndependentSolver to reduce the\namount of copying and pasting.","distinct":true,"url":"https://api.github.com/repos/holycrap872/klee/commits/0cc4078a6a3d2e4afbdb461b0164966bdf4828c2"}]}