{"push_id":798969602,"size":1,"distinct_size":1,"ref":"refs/heads/devel","head":"14243c556eb1eb3285d670221adbc5cea4c712eb","before":"2575cbb1fc968698d7344f8549c6b93071c88ee6","commits":[{"sha":"14243c556eb1eb3285d670221adbc5cea4c712eb","author":{"email":"4252883e3d6704dff11c5af0288d8217de7ccd88@gmail.com","name":"schaef"},"message":"started working on a simple memory model","distinct":true,"url":"https://api.github.com/repos/jayhorn/jayhorn/commits/14243c556eb1eb3285d670221adbc5cea4c712eb"}]}