{"push_id":908333023,"size":1,"distinct_size":1,"ref":"refs/heads/felicia-dataflow","head":"2296b6ba5f7b6719de9b4beade05c324d8522a17","before":"e850281e8c6ab834dfbdf5ff05327c700d463a98","commits":[{"sha":"2296b6ba5f7b6719de9b4beade05c324d8522a17","author":{"email":"0fdf7c96a4e7daa4ca2228bd9ebfb57713a872a8@nus.edu.sg","name":"Andrew Santosa"},"message":"In PointsToFrame, changed vector of Locations pointed to by cell to simply Location* pointed to by cell fixed comparison operators of MemCell and Location classes, added checks in store_points_to in PointsTo.h to test the existence of a key before referencing the map","distinct":true,"url":"https://api.github.com/repos/domainexpert/klee/commits/2296b6ba5f7b6719de9b4beade05c324d8522a17"}]}