{"push_id":702430290,"size":9,"distinct_size":1,"ref":"refs/heads/master","head":"47b2e85bfb52eb11f68079d22ba8fffbdea9fbe2","before":"8166be49d61d067bf873dabaef6f6b77edf333e0","commits":[{"sha":"119a0f8c36c36cafaa95e1cf253bbecfea6fbdb0","author":{"email":"5f46373bc4a66ea80bbe8739fe3c75a56bf2ca51@gmail.com","name":"Etienne Kneuss"},"message":"Inject the synthesized function only once, instead of once per compilation unit.","distinct":false,"url":"https://api.github.com/repos/manoskouk/leon/commits/119a0f8c36c36cafaa95e1cf253bbecfea6fbdb0"},{"sha":"f54da2c2d4c76ef2773c75fc497f8056d76881fe","author":{"email":"5f46373bc4a66ea80bbe8739fe3c75a56bf2ca51@gmail.com","name":"Etienne Kneuss"},"message":"Replace solution within choose, since now it can do direct recursive\ncalls","distinct":false,"url":"https://api.github.com/repos/manoskouk/leon/commits/f54da2c2d4c76ef2773c75fc497f8056d76881fe"},{"sha":"e69595de4ebdaf6af0e222dbf226082c2a9aa475","author":{"email":"5f46373bc4a66ea80bbe8739fe3c75a56bf2ca51@gmail.com","name":"Etienne Kneuss"},"message":"Report timeouts as timeouts, not unknown","distinct":false,"url":"https://api.github.com/repos/manoskouk/leon/commits/e69595de4ebdaf6af0e222dbf226082c2a9aa475"},{"sha":"98050ac9c500c243f3a46aff8ed2f7f01c1d69fe","author":{"email":"b25bbf292e05ba7ef88342a1c5edefe64144a46a@epfl.ch","name":"Viktor Kuncak"},"message":"Etienne's robot case study. Trivial fixes to trivial scalac scripts","distinct":false,"url":"https://api.github.com/repos/manoskouk/leon/commits/98050ac9c500c243f3a46aff8ed2f7f01c1d69fe"},{"sha":"27e7049bab6eb607fc78be3fb859287eb7fab4be","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Fix and generalize genericTransform, fix bug in liftLets","distinct":false,"url":"https://api.github.com/repos/manoskouk/leon/commits/27e7049bab6eb607fc78be3fb859287eb7fab4be"},{"sha":"9806d230f3286aa89496f13fa749e76c46748875","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"No forall in cvc4-cex","distinct":false,"url":"https://api.github.com/repos/manoskouk/leon/commits/9806d230f3286aa89496f13fa749e76c46748875"},{"sha":"e878727be4a47fd52deee0827b6ce39a2539238f","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Add a timeout, just in case","distinct":false,"url":"https://api.github.com/repos/manoskouk/leon/commits/e878727be4a47fd52deee0827b6ce39a2539238f"},{"sha":"70fa92df0e5f9475f17b1a3db43467c4b51954f1","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Variable in Ensuring lambda should have type of body","distinct":false,"url":"https://api.github.com/repos/manoskouk/leon/commits/70fa92df0e5f9475f17b1a3db43467c4b51954f1"},{"sha":"47b2e85bfb52eb11f68079d22ba8fffbdea9fbe2","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"RepairSuite should pick only .scala files","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/47b2e85bfb52eb11f68079d22ba8fffbdea9fbe2"}]}