{"push_id":811109074,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8492c680ccc46b39717cefe8a219a6dc72a257db","before":"e4e5ed21f9bcbf4fe9821641b7b1d0d7f40c28f0","commits":[{"sha":"8492c680ccc46b39717cefe8a219a6dc72a257db","author":{"email":"1bafd54f151cbbf1e4ea67bfc45707624d2678a2@umd.edu","name":"Yuchen Zhou"},"message":"finish adding initial state of Generator. Need to see condition of satisfying sequence of output","distinct":true,"url":"https://api.github.com/repos/yzh89/MITL2Timed/commits/8492c680ccc46b39717cefe8a219a6dc72a257db"}]}