{"push_id":618469959,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"603664052a3aa421d67ad8787999471af7422e27","before":"be11da97c01b4416aa20ceb7fabb35fadc1743e4","commits":[{"sha":"28c64723bf00d0529e7a08c7a42d6aaef8e16d42","author":{"email":"caf903eb3da59fd49de57746f9e5c2a7f039d1ff@localhost","name":"alanmi"},"message":"Changed in comparing user timing.","distinct":true,"url":"https://api.github.com/repos/openfpga/abc/commits/28c64723bf00d0529e7a08c7a42d6aaef8e16d42"},{"sha":"89e5711b0528881dd921b01d0d895020aed125a4","author":{"email":"caf903eb3da59fd49de57746f9e5c2a7f039d1ff@localhost","name":"alanmi"},"message":"Print-out of sequential equivalences in &scorr.","distinct":true,"url":"https://api.github.com/repos/openfpga/abc/commits/89e5711b0528881dd921b01d0d895020aed125a4"},{"sha":"603664052a3aa421d67ad8787999471af7422e27","author":{"email":"caf903eb3da59fd49de57746f9e5c2a7f039d1ff@localhost","name":"alanmi"},"message":"Updating command &satfx.","distinct":true,"url":"https://api.github.com/repos/openfpga/abc/commits/603664052a3aa421d67ad8787999471af7422e27"}]}