{"push_id":813658655,"size":1000,"distinct_size":1,"ref":"refs/heads/master","head":"95dea3922dd670147a2fc3629e738b4a62c93028","before":"e0026a1cbb5e919293bbcbba25f17359ba3237a8","commits":[{"sha":"51cb63b6c0c293c274d75fa8282d179a85fec10b","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"adding simplex\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":false,"url":"https://api.github.com/repos/wintersteiger/z3/commits/51cb63b6c0c293c274d75fa8282d179a85fec10b"},{"sha":"fde48d2c0e551fd43590ce2968f42cd4e71838c0","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"debugging signs\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":false,"url":"https://api.github.com/repos/wintersteiger/z3/commits/fde48d2c0e551fd43590ce2968f42cd4e71838c0"},{"sha":"ea65f32914248a85bafb00c4c17bcda437f8c901","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"fixing simplex\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":false,"url":"https://api.github.com/repos/wintersteiger/z3/commits/ea65f32914248a85bafb00c4c17bcda437f8c901"},{"sha":"e2db1418f9fb187c8048f4a2a0616b0d5b6ecc4b","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"debugging simplex/pb\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":false,"url":"https://api.github.com/repos/wintersteiger/z3/commits/e2db1418f9fb187c8048f4a2a0616b0d5b6ecc4b"},{"sha":"e180cfe256ecd124fe352c9d898ebf82bb182077","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"optimizing pb\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":false,"url":"https://api.github.com/repos/wintersteiger/z3/commits/e180cfe256ecd124fe352c9d898ebf82bb182077"},{"sha":"478b3160ace6b7c66d8ab44c78d864fd5df0bb5b","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"optimize theory pb\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":false,"url":"https://api.github.com/repos/wintersteiger/z3/commits/478b3160ace6b7c66d8ab44c78d864fd5df0bb5b"},{"sha":"54e3b5ee0d3d2493dbe5f75103184a8d58d71fef","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"further tuning pb\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":false,"url":"https://api.github.com/repos/wintersteiger/z3/commits/54e3b5ee0d3d2493dbe5f75103184a8d58d71fef"},{"sha":"3757f337e58ce56a0b397dd6dcb9255a628a977c","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"working on pb\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":false,"url":"https://api.github.com/repos/wintersteiger/z3/commits/3757f337e58ce56a0b397dd6dcb9255a628a977c"},{"sha":"eb6d39ba46a712ecc3dcfd6eb810c75e34094528","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"fix memory smash\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":false,"url":"https://api.github.com/repos/wintersteiger/z3/commits/eb6d39ba46a712ecc3dcfd6eb810c75e34094528"},{"sha":"c4b1f5c30e9a633d7f46e4c75d6524fad731cceb","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"adding simplex to diff\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":false,"url":"https://api.github.com/repos/wintersteiger/z3/commits/c4b1f5c30e9a633d7f46e4c75d6524fad731cceb"},{"sha":"fe61492d5de85db70167a508d6bfe55f17159a1f","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"debugging diff logic simple simplex\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":false,"url":"https://api.github.com/repos/wintersteiger/z3/commits/fe61492d5de85db70167a508d6bfe55f17159a1f"},{"sha":"80ba830091b170636b75894904ca28d283a89e1d","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"working on DL opt\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":false,"url":"https://api.github.com/repos/wintersteiger/z3/commits/80ba830091b170636b75894904ca28d283a89e1d"},{"sha":"99b4ce037d1c300e87f87e361a1332accd1e041b","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"integrating diff opt\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":false,"url":"https://api.github.com/repos/wintersteiger/z3/commits/99b4ce037d1c300e87f87e361a1332accd1e041b"},{"sha":"e94a1b56ae7e760876a7cd6419c411bfccf857e0","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"working on DL opt\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":false,"url":"https://api.github.com/repos/wintersteiger/z3/commits/e94a1b56ae7e760876a7cd6419c411bfccf857e0"},{"sha":"f82f7f83b9f740c22931b122308741e89a465145","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"adding optimization to dense difference logic\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":false,"url":"https://api.github.com/repos/wintersteiger/z3/commits/f82f7f83b9f740c22931b122308741e89a465145"},{"sha":"90bd02b5f7e2383f924246cbfa97b62bd4d7fcd4","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"making ddl work with objectives\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":false,"url":"https://api.github.com/repos/wintersteiger/z3/commits/90bd02b5f7e2383f924246cbfa97b62bd4d7fcd4"},{"sha":"af55088b7852f1027df86380ccf7b6f5b8b3c438","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"debugging opt\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":false,"url":"https://api.github.com/repos/wintersteiger/z3/commits/af55088b7852f1027df86380ccf7b6f5b8b3c438"},{"sha":"4effa7f0c042baa0f3c11287529b2ed4121bf49f","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"debug opt\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":false,"url":"https://api.github.com/repos/wintersteiger/z3/commits/4effa7f0c042baa0f3c11287529b2ed4121bf49f"},{"sha":"9811054e722b7f60be86e2a153411b50b5611564","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"adding pb sls\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":false,"url":"https://api.github.com/repos/wintersteiger/z3/commits/9811054e722b7f60be86e2a153411b50b5611564"},{"sha":"94b3a4681114b04701e954d7604b7763a6037a2d","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"working on pb sls\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":false,"url":"https://api.github.com/repos/wintersteiger/z3/commits/94b3a4681114b04701e954d7604b7763a6037a2d"}]}