{"push_id":1862728179,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"da34de340d582784e0068eb6f287faa56b74a243","before":"680f3422479537fe107bb28ab6216def0586e350","commits":[{"sha":"6e2ca69654efae9fcddcad755aa5826448f1a8d2","author":{"name":"Dan Liew","email":"83a8ff37c44d688876396ac8ef90241df7a1f3c7@imperial.ac.uk"},"message":"[CMake] Change the `WARNINGS_AS_ERRORS` option from BOOL to STRING\nto allow a new mode `SERIOUS_ONLY`.\n\nModes:\n\n`ON` - All warnings are treated as errors (same as before)\n`OFF` - Warnings are not treated as errors (same as before)\n`SERIOUS_ONLY` - A subset of \"serious\" warnings are treated as errors.\n\nUpgrade code is included to upgrade old CMake cache's to use the new\ntype of `WARNINGS_AS_ERRORS`. We should remove it eventually. The\nuser's previous setting is preserved when doing this.\n\nVery few warnings are treated as errors for now. Developers can\nadd more later as they see fit.","distinct":true,"url":"https://api.github.com/repos/manhhomienbienthuy/z3/commits/6e2ca69654efae9fcddcad755aa5826448f1a8d2"},{"sha":"630863619b926e1741f195a8ad0b2dd91a4fa4ee","author":{"name":"Dan Liew","email":"83a8ff37c44d688876396ac8ef90241df7a1f3c7@imperial.ac.uk"},"message":"[TravisCI] Add `Z3_WARNINGS_AS_ERRORS` environment variable to\ncontrol the `WARNINGS_AS_ERRORS` CMake option.","distinct":true,"url":"https://api.github.com/repos/manhhomienbienthuy/z3/commits/630863619b926e1741f195a8ad0b2dd91a4fa4ee"},{"sha":"8a57e081f7deb7e1cec32d5450e870e6f8974e24","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"Merge pull request #1138 from delcypher/cmake_serious_warnings\n\nSupport serious warnings in CMake and TravisCI","distinct":true,"url":"https://api.github.com/repos/manhhomienbienthuy/z3/commits/8a57e081f7deb7e1cec32d5450e870e6f8974e24"},{"sha":"da34de340d582784e0068eb6f287faa56b74a243","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Fixed bug in sat model converter. Fixes #1148.","distinct":true,"url":"https://api.github.com/repos/manhhomienbienthuy/z3/commits/da34de340d582784e0068eb6f287faa56b74a243"}]}
{"actor":{"display_login":"manhhomienbienthuy"}}