{"push_id":2395786042,"size":3,"distinct_size":3,"ref":"refs/heads/dev","head":"3f39ebc70add1244bbb44b70cb1854f26c31aee7","before":"3a918939c46e5ebd4b5d1e1cf94f8ec88caddfe3","commits":[{"sha":"742121472c3bd76b9c364dca125b54c3db273311","author":{"name":"Tamás Tóth","email":"1cb0552e9dcd0e48769bf2ca4844be67774957b4@mit.bme.hu"},"message":"Update error message for undefined default case in DispatchTable","distinct":true,"url":"https://api.github.com/repos/FTSRG/theta/commits/742121472c3bd76b9c364dca125b54c3db273311"},{"sha":"45b57af3478ac529ecfe97ff0e6f7ec6039981a5","author":{"name":"Tamás Tóth","email":"1cb0552e9dcd0e48769bf2ca4844be67774957b4@mit.bme.hu"},"message":"Add support for arrays in Z3ExprTransformer","distinct":true,"url":"https://api.github.com/repos/FTSRG/theta/commits/45b57af3478ac529ecfe97ff0e6f7ec6039981a5"},{"sha":"3f39ebc70add1244bbb44b70cb1854f26c31aee7","author":{"name":"Tamás Tóth","email":"1cb0552e9dcd0e48769bf2ca4844be67774957b4@mit.bme.hu"},"message":"Add support for arrays in Z3TypeTransformer","distinct":true,"url":"https://api.github.com/repos/FTSRG/theta/commits/3f39ebc70add1244bbb44b70cb1854f26c31aee7"}]}
{"actor":{"display_login":"tothtamas28"}}