{"push_id":3814847191,"size":8,"distinct_size":8,"ref":"refs/heads/master","head":"fb124d6e9301fea1cb1b2c3c9d78ee1c966c1e68","before":"4deb9d2af27426fe18381af2994bbc60f5513a3a","commits":[{"sha":"23d01f5974cf6d97455f00d562fbf46da7ce218e","author":{"name":"Nils Becker","email":"1e03f1b864af9fa766284ff6b9be441d533d0eb8@student.ethz.ch"},"message":"fixing rewrite logging (https://bitbucket.org/viperproject/axiom-profiler/issues/13/version-486-of-z3-not-compatible-with)","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/23d01f5974cf6d97455f00d562fbf46da7ce218e"},{"sha":"035101f399ba3112affd341eb7a8636ca5da13dc","author":{"name":"Nils Becker","email":"1e03f1b864af9fa766284ff6b9be441d533d0eb8@student.ethz.ch"},"message":"Merge branch 'master' of https://github.com/Z3Prover/z3 into HEAD","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/035101f399ba3112affd341eb7a8636ca5da13dc"},{"sha":"b226f3a77cf63ed92539165b54b48889f8ad2289","author":{"name":"Nils Becker","email":"1e03f1b864af9fa766284ff6b9be441d533d0eb8@student.ethz.ch"},"message":"cleaning up includes","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/b226f3a77cf63ed92539165b54b48889f8ad2289"},{"sha":"7a48524213f5935efa6579cbfacb9af60de775dd","author":{"name":"Nils Becker","email":"1e03f1b864af9fa766284ff6b9be441d533d0eb8@student.ethz.ch"},"message":"count subterm references correctly","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/7a48524213f5935efa6579cbfacb9af60de775dd"},{"sha":"1d859a98e571245ddfc0cbb682fb6e18ebd53993","author":{"name":"Nils Becker","email":"1e03f1b864af9fa766284ff6b9be441d533d0eb8@student.ethz.ch"},"message":"updating comment","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/1d859a98e571245ddfc0cbb682fb6e18ebd53993"},{"sha":"335072eda2fd56974dc3fc969329f748523bec1f","author":{"name":"nilsbecker","email":"1e03f1b864af9fa766284ff6b9be441d533d0eb8@student.ethz.ch"},"message":"extract logging into separate function","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/335072eda2fd56974dc3fc969329f748523bec1f"},{"sha":"308647efd96ea302b20d6f8a4534293ce71dcae3","author":{"name":"nilsbecker","email":"1e03f1b864af9fa766284ff6b9be441d533d0eb8@student.ethz.ch"},"message":"Merge branch 'master' of https://github.com/Z3Prover/z3","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/308647efd96ea302b20d6f8a4534293ce71dcae3"},{"sha":"fb124d6e9301fea1cb1b2c3c9d78ee1c966c1e68","author":{"name":"Nikolaj Bjorner","email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com"},"message":"Merge pull request #2393 from Nils-Becker/master\n\nFix Incorrect Logging of Newly Introduced Terms During Rewrite","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/fb124d6e9301fea1cb1b2c3c9d78ee1c966c1e68"}]}
{"actor":{"display_login":"NikolajBjorner"}}