{"push_id":693599127,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ad3818b6f791385685673d2f4367fff51967a834","before":"b9153e70f18d48c32ff5606dc0c736df6666a4ec","commits":[{"sha":"ad3818b6f791385685673d2f4367fff51967a834","author":{"email":"5b53cfff3b0ad7f221075ddb45104c0c772aa496@tiscali.com","name":"umanoidTyphoon"},"message":"Insertion of transition and observation models to prove IDHMM correctness","distinct":true,"url":"https://api.github.com/repos/umanoidTyphoon/IDHMM/commits/ad3818b6f791385685673d2f4367fff51967a834"}]}