{"push_id":877641556,"size":1,"distinct_size":1,"ref":"refs/heads/heaparray-integration","head":"874cb796211d99b65ca8b44c7b3a345616d4d590","before":"88f4a6f4387271438b82e0028be6113bf602aefa","commits":[{"sha":"874cb796211d99b65ca8b44c7b3a345616d4d590","author":{"email":"fdf48669bf30a1b7cf144e2d79bb8eed9c068d7d@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"lukasczyk"},"message":"Refactoring heaparray.CToFormulaConverterWithHeapArray\n\nWe now have a more consistent naming of fields and parameters and also\npay more attention to the coding guidelines.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/heaparray-integration@18647 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/874cb796211d99b65ca8b44c7b3a345616d4d590"}]}