{"push_id":804169104,"size":1,"distinct_size":1,"ref":"refs/heads/pushouts_no_specs","head":"67990878a71f4fc96f8ca9920de771b10e446527","before":"82865db85e10466a40086f313f5b032abb4a37bc","commits":[{"sha":"67990878a71f4fc96f8ca9920de771b10e446527","author":{"email":"e455829d6eae73bce2267e10e98029e9ab9463f5@gmail.com","name":"Edwin Westbrook"},"message":"added types SpecCtor and SpecProjs to contain constructors and projections of record types that are isomorphic to a given spec","distinct":true,"url":"https://api.github.com/repos/KestrelInstitute/SpecwareC/commits/67990878a71f4fc96f8ca9920de771b10e446527"}]}