{"push_id":578348905,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d64befd55d58acfc72c008cf5af6cff80e7132fd","before":"b67d8b5821b1f21e280805eab2a440899f9f1701","commits":[{"sha":"d64befd55d58acfc72c008cf5af6cff80e7132fd","author":{"email":"7ffe1ba40f2584b96991dec44ac44fe7e8d6bc68@galois.com","name":"Pat Hickey"},"message":"ivory paper: work on overview - fix trevor's, and many of and lee's comments\n\nstill need to do toolchain overview and maybe the untyped ast thing.","distinct":true,"url":"https://api.github.com/repos/GaloisInc/ivory/commits/d64befd55d58acfc72c008cf5af6cff80e7132fd"}]}