{"push_id":2011782443,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"2229a2fc1b07e733bbb69bd3f997cfd259134ca7","before":"f179d49f4f4ac90e9515f42ee690426c5a67fa52","commits":[{"sha":"6450ee33c58a9dc5e86b7a7b852af46277ce16d5","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"disregard model validation when source expression contains uninterpreted theory functions\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/manhhomienbienthuy/z3/commits/6450ee33c58a9dc5e86b7a7b852af46277ce16d5"},{"sha":"2229a2fc1b07e733bbb69bd3f997cfd259134ca7","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"model validation update take 2\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/manhhomienbienthuy/z3/commits/2229a2fc1b07e733bbb69bd3f997cfd259134ca7"}]}
{"actor":{"display_login":"manhhomienbienthuy"}}