{"push_id":1940130885,"size":3,"distinct_size":3,"ref":"refs/heads/smt-lib","head":"5564816aaf829e2ad05067e755e7f6aa484d165a","before":"f9127d3d5b746d91536c951367e18f1fabc9789a","commits":[{"sha":"9fedd8d9008479c1c53a305c2b12e27866ba1f31","author":{"name":"makaimann","email":"e2a69e91e546d3ae19a9117be938b2d6690ba878@stanford.edu"},"message":"Add function for getting smt bitstring","distinct":true,"url":"https://api.github.com/repos/makaimann/coreir/commits/9fedd8d9008479c1c53a305c2b12e27866ba1f31"},{"sha":"8adc490e947831a669f86615519cd9820b879dc8","author":{"name":"makaimann","email":"e2a69e91e546d3ae19a9117be938b2d6690ba878@stanford.edu"},"message":"Merge branch 'smt-lib' of https://github.com/makaimann/coreir into smt-lib","distinct":true,"url":"https://api.github.com/repos/makaimann/coreir/commits/8adc490e947831a669f86615519cd9820b879dc8"},{"sha":"5564816aaf829e2ad05067e755e7f6aa484d165a","author":{"name":"makaimann","email":"e2a69e91e546d3ae19a9117be938b2d6690ba878@stanford.edu"},"message":"print assigned constant value","distinct":true,"url":"https://api.github.com/repos/makaimann/coreir/commits/5564816aaf829e2ad05067e755e7f6aa484d165a"}]}
{"actor":{"display_login":"makaimann"}}