{"push_id":876849839,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"19d4fb70fcfafc7d9c0fb680ef0245af025185fe","before":"bc44a3f7177b8413afdbbfb0b8d5b4222c11febc","commits":[{"sha":"19d4fb70fcfafc7d9c0fb680ef0245af025185fe","author":{"email":"2cbe48de27626291d4789a0d88f861eebc2cb61c@princeton.edu","name":"Lennart Beringer"},"message":"Cleaned up some imports and lemma statements. Compilation time about 32mins (single core)","distinct":true,"url":"https://api.github.com/repos/PrincetonUniversity/VST/commits/19d4fb70fcfafc7d9c0fb680ef0245af025185fe"}]}