{"push_id":864046821,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a4e50d69b9b570699746a153073833635b038437","before":"5c4488144cbcfd26e080d8527634ceb26581f5d7","commits":[{"sha":"a4e50d69b9b570699746a153073833635b038437","author":{"email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au","name":"Michael Norrish"},"message":"More fleshing out of thread-state dynamics.\n\nSome test-cases in comments; can execute an add instruction, with Abort\nand Blocked outcomes also possible.","distinct":true,"url":"https://api.github.com/repos/microvm/uvm-hol/commits/a4e50d69b9b570699746a153073833635b038437"}]}