{"push_id":2374464263,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7a2c7266b3d37c582b673b78b4c2c47944ce9b94","before":"e253013b0d9852f7a52f1ec154a5b2a253cb785b","commits":[{"sha":"7a2c7266b3d37c582b673b78b4c2c47944ce9b94","author":{"name":"Vaibhav Sharma","email":"73e733f54aec8147bb41865f6b4b9148827fbae7@umn.edu"},"message":"1. Adding support for logical_not operator especially for use in GreenConstraint\n2. Allowing write-after-write and write-after-read operations for now","distinct":true,"url":"https://api.github.com/repos/vaibhavbsharma/jpf-symbc-veritesting/commits/7a2c7266b3d37c582b673b78b4c2c47944ce9b94"}]}
{"actor":{"display_login":"vaibhavbsharma"}}