{"push_id":1370638980,"size":1,"distinct_size":1,"ref":"refs/heads/syscall-stub-errors","head":"9a98435e3cf33d8c887aa654a1e0129fa9a646f9","before":"3cf4ea55ae070a2bad809f7aa7f616c43402a111","commits":[{"sha":"9a98435e3cf33d8c887aa654a1e0129fa9a646f9","author":{"name":"Jeff Waugh","email":"1d3591417498a6275f28e075a606c70a3c0e133a@bethesignal.org"},"message":"Retain registers in IPC buffer only on error\n\n- cheesy mid-function definition to avoid lots of rejigging\n- still passes sabre/qemu test suite\n- next step is to break the # ouputs = # inputs assumption","distinct":true,"url":"https://api.github.com/repos/jdub/seL4/commits/9a98435e3cf33d8c887aa654a1e0129fa9a646f9"}]}
{"actor":{"display_login":"jdub"}}