{"push_id":1208267254,"size":14,"distinct_size":14,"ref":"refs/heads/master","head":"900f4fd9e9a3d74a0fe03e348c2c7d2cb957796c","before":"0d0d504d62735616bf38c8b2671ea91d68fb5fd2","commits":[{"sha":"e9e10f1d5c2f24a6e36165a018d25630b4ace7b3","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"checking cancel flag to refine the behavior around issue #595\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/travisdavidnelson/z3/commits/e9e10f1d5c2f24a6e36165a018d25630b4ace7b3"},{"sha":"bdbf1c9bf4054f12311434e065ff9c4b4c45a5d2","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"add support for default semantics for stoi (non-integer strings map to -1). Issue #670\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/travisdavidnelson/z3/commits/bdbf1c9bf4054f12311434e065ff9c4b4c45a5d2"},{"sha":"d5ee7e24bcd5bab2bae7d898877b2fc490a9e396","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"add simplification for equalities between itos and constant strings, Issue #589\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/travisdavidnelson/z3/commits/d5ee7e24bcd5bab2bae7d898877b2fc490a9e396"},{"sha":"59865f550289453acc7046feeb2884d5612afb2b","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"Merge branch 'master' of https://github.com/Z3Prover/z3","distinct":true,"url":"https://api.github.com/repos/travisdavidnelson/z3/commits/59865f550289453acc7046feeb2884d5612afb2b"},{"sha":"6eaab00e83097a290cc2d6e43c4885c9a4a505c6","author":{"name":"Fabian Wolff","email":"101c21eafcb4c8f4ab2aff83664f31d04757650f@arcor.de"},"message":"Fix spelling errors","distinct":true,"url":"https://api.github.com/repos/travisdavidnelson/z3/commits/6eaab00e83097a290cc2d6e43c4885c9a4a505c6"},{"sha":"53b3edc8cc06b493b113d768ad0458a5ef23cfda","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"add cases for recognizing ALL. Issue #674\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/travisdavidnelson/z3/commits/53b3edc8cc06b493b113d768ad0458a5ef23cfda"},{"sha":"3d73fe55c71e1a875f3e0691fa8e7f205bcf548f","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"track assumptions when calling check-sat. regression detected by Tjark Weber running core extraction\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/travisdavidnelson/z3/commits/3d73fe55c71e1a875f3e0691fa8e7f205bcf548f"},{"sha":"d7d22cad0229cfecd310839e3d2ba4cb102beaf8","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"undo comment\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/travisdavidnelson/z3/commits/d7d22cad0229cfecd310839e3d2ba4cb102beaf8"},{"sha":"7cf80845fd45d9338fddb4e86977ae2b58ada976","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Merge pull request #675 from FabianWolff/master\n\nFix spelling errors","distinct":true,"url":"https://api.github.com/repos/travisdavidnelson/z3/commits/7cf80845fd45d9338fddb4e86977ae2b58ada976"},{"sha":"8f862f8fedab42a79d424707b9159fd577bcc9f3","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"fix core extraction for QF_BV theory/inc_sat_solver based on regressions pointed out by Matthias Heizmann and Tjark Weber\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/travisdavidnelson/z3/commits/8f862f8fedab42a79d424707b9159fd577bcc9f3"},{"sha":"0a6b03808cdfbad3057d9e2402584bae4e405f9d","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"fix core extraction for QF_BV theory/inc_sat_solver based on regressions pointed out by Matthias Heizmann and Tjark Weber\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/travisdavidnelson/z3/commits/0a6b03808cdfbad3057d9e2402584bae4e405f9d"},{"sha":"73cdf809fe0e5dff76c1c7bc2155be8d8e94dfec","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"Merge branch 'master' of https://github.com/Z3Prover/z3","distinct":true,"url":"https://api.github.com/repos/travisdavidnelson/z3/commits/73cdf809fe0e5dff76c1c7bc2155be8d8e94dfec"},{"sha":"f96cfeae9e2564347f0ac72e6b5a8ae351cd21fe","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"fix build failures under linux\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/travisdavidnelson/z3/commits/f96cfeae9e2564347f0ac72e6b5a8ae351cd21fe"},{"sha":"900f4fd9e9a3d74a0fe03e348c2c7d2cb957796c","author":{"name":"Travis Nelson","email":"769cb7d1ca3804d86ab33be25b0987b5ab4498ca@phasechangesoftware.com"},"message":"Merge remote-tracking branch 'Z3Prover/master'","distinct":true,"url":"https://api.github.com/repos/travisdavidnelson/z3/commits/900f4fd9e9a3d74a0fe03e348c2c7d2cb957796c"}]}
{"actor":{"display_login":"travisdavidnelson"}}