{"push_id":2542491769,"size":11,"distinct_size":0,"ref":"refs/heads/master","head":"53c40b078942db622939fc1c8e48a59cce5cd56d","before":"357fbd28c8fa38486b9aec8abcf59a1c2cebf3cd","commits":[{"sha":"970fa5e6e1272d885987ad32d72640aebe5de509","author":{"name":"Kevin Chen","email":"099517b593e3715609e6bf26533316e14f62bd90@gmail.com"},"message":"Add system tests.","distinct":false,"url":"https://api.github.com/repos/zchn/eth-acl2/commits/970fa5e6e1272d885987ad32d72640aebe5de509"},{"sha":"635db9f0c8bbe101db19dadc8d509e219151c2e9","author":{"name":"Kevin Chen","email":"099517b593e3715609e6bf26533316e14f62bd90@gmail.com"},"message":"try encapsulating include-book in local as much as possible.","distinct":false,"url":"https://api.github.com/repos/zchn/eth-acl2/commits/635db9f0c8bbe101db19dadc8d509e219151c2e9"},{"sha":"03667b9c14d60969f8ee41d1dfe521d2f337481b","author":{"name":"Kevin Chen","email":"099517b593e3715609e6bf26533316e14f62bd90@gmail.com"},"message":"Implement proper SUB by converting negative result to two's\ncomplement. Also fix the comparison logic in helper.lisp to work\naround the storage problem.","distinct":false,"url":"https://api.github.com/repos/zchn/eth-acl2/commits/03667b9c14d60969f8ee41d1dfe521d2f337481b"},{"sha":"8988fd66f78f8205526086573596d53b45f88b75","author":{"name":"Kevin Chen","email":"099517b593e3715609e6bf26533316e14f62bd90@gmail.com"},"message":"enable 1 more add test","distinct":false,"url":"https://api.github.com/repos/zchn/eth-acl2/commits/8988fd66f78f8205526086573596d53b45f88b75"},{"sha":"faaa41a8e7c8deae3846a2a09bbcf43bfa97a4e6","author":{"name":"Kevin Chen","email":"099517b593e3715609e6bf26533316e14f62bd90@gmail.com"},"message":"Fix bug in SUB and support ADDMOD.","distinct":false,"url":"https://api.github.com/repos/zchn/eth-acl2/commits/faaa41a8e7c8deae3846a2a09bbcf43bfa97a4e6"},{"sha":"a190bc2742ceb6bf2bca798459ff5cc6f33aed2d","author":{"name":"Kevin Chen","email":"099517b593e3715609e6bf26533316e14f62bd90@gmail.com"},"message":"Remove extra spaces.","distinct":false,"url":"https://api.github.com/repos/zchn/eth-acl2/commits/a190bc2742ceb6bf2bca798459ff5cc6f33aed2d"},{"sha":"12f750a6b01788ae4adb3db51a416967517bae13","author":{"name":"Kevin Chen","email":"099517b593e3715609e6bf26533316e14f62bd90@gmail.com"},"message":"Enable STOP and MUL tests.","distinct":false,"url":"https://api.github.com/repos/zchn/eth-acl2/commits/12f750a6b01788ae4adb3db51a416967517bae13"},{"sha":"07e4c56a81d6fb37c88f545613dd2acafc291f6a","author":{"name":"Kevin Chen","email":"099517b593e3715609e6bf26533316e14f62bd90@gmail.com"},"message":"Enable MOD tests.","distinct":false,"url":"https://api.github.com/repos/zchn/eth-acl2/commits/07e4c56a81d6fb37c88f545613dd2acafc291f6a"},{"sha":"7c8ca8f6e6a2370643f6c3792746771385aa9237","author":{"name":"Kevin Chen","email":"099517b593e3715609e6bf26533316e14f62bd90@gmail.com"},"message":"Support MULMOD.","distinct":false,"url":"https://api.github.com/repos/zchn/eth-acl2/commits/7c8ca8f6e6a2370643f6c3792746771385aa9237"},{"sha":"5f64abb0fd4b72387977b48354fc63d2b61b122b","author":{"name":"Kevin Chen","email":"099517b593e3715609e6bf26533316e14f62bd90@gmail.com"},"message":"Change neg-to-unsigned-w256 to signed-to-unsigned-w256.","distinct":false,"url":"https://api.github.com/repos/zchn/eth-acl2/commits/5f64abb0fd4b72387977b48354fc63d2b61b122b"},{"sha":"53c40b078942db622939fc1c8e48a59cce5cd56d","author":{"name":"Kevin Chen","email":"099517b593e3715609e6bf26533316e14f62bd90@gmail.com"},"message":"Support SDIV.","distinct":false,"url":"https://api.github.com/repos/zchn/eth-acl2/commits/53c40b078942db622939fc1c8e48a59cce5cd56d"}]}
{"actor":{"display_login":"zchn"}}