{"push_id":914604376,"size":1,"distinct_size":1,"ref":"refs/heads/z3","head":"6e33a51cb711e7625baf6f0499fd406884f34019","before":"441a77f34dfedf2da9bba1ec4b8a16c4c3433088","commits":[{"sha":"6e33a51cb711e7625baf6f0499fd406884f34019","author":{"email":"cccb0077ccf07117f3b18f72d046590f468dd95f@maximum.lipn.univ-paris13.fr","name":"Monniaux David"},"message":"Fixed code for creating symbol tables for Z3.\nThe Z3 instantiated functor is now AbstractModel.Poulet ; feel free to rename it to something more suitable.","distinct":true,"url":"https://api.github.com/repos/coti/imitator/commits/6e33a51cb711e7625baf6f0499fd406884f34019"}]}