{"push_id":1462141399,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"ccb0a6dab05081f3d0eb2ca75383a323534029c1","before":"62f7d0a1a96597cceb658224790ae9fea8ce439d","commits":[{"sha":"24afd12b7aced0f9ec77485b43b68c31bccac9c7","author":{"name":"Didier Villevalois","email":"ee4cfdc7ff99de935ec4333cbb99d27bdf81e991@free.fr"},"message":"Make Z3Solver.assertCnstr(dsl.Tree[dsl.BoolSort]) public","distinct":true,"url":"https://api.github.com/repos/epfl-lara/ScalaZ3/commits/24afd12b7aced0f9ec77485b43b68c31bccac9c7"},{"sha":"ccb0a6dab05081f3d0eb2ca75383a323534029c1","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Merge pull request #51 from ptitjes/dsl-assertions\n\nMake Z3Solver.assertCnstr(dsl.Tree[dsl.BoolSort]) public","distinct":true,"url":"https://api.github.com/repos/epfl-lara/ScalaZ3/commits/ccb0a6dab05081f3d0eb2ca75383a323534029c1"}]}
{"actor":{"display_login":"samarion"}}