{"push_id":2431580265,"size":12,"distinct_size":2,"ref":"refs/heads/sygusRrStat","head":"687d0ca456c88771775255bb5ff1e5ffdc9f1c2c","before":"ace27dd33bc5980c6eec291cc5412ee7dc94b98c","commits":[{"sha":"bdba2bf65eb2f68daa1a5e488c4e50f5dac1b312","author":{"name":"Mathias Preiner","email":"8ea4fa12853687583b583519694ac65fcd759d94@gmail.com"},"message":"Refactor mkoptions (#1631)\n\nThis commit refactors code generation for options. It uses a new configuration format for defining options (*.toml) and a new Python script mkoptions.py to generate the source code and option documentation.\r\n\r\nThe option behavior did not change for most of the options, except that for bool --enable-/--disable- long options enable/disable was removed. E.g. --enable-miplib-trick and --disable-miplib-trick got changed to --miplib-trick and --no-miplib-trick.\r\n\r\nThis commit fixes also an issues with set-option/get-option via the SMT2 interface. Before long options were only accessible if the name included the =ARG part.","distinct":false,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/bdba2bf65eb2f68daa1a5e488c4e50f5dac1b312"},{"sha":"6a0b4c3c4c77aa1bdd1a44c41d4c3ad9c88d9307","author":{"name":"Andres Noetzli","email":"d37444924895fabce924c9900296ac1acbe5fe02@gmail.com"},"message":"Fix 'make regress' (#1683)\n\nCommit b8db52f9bad5b1053810c93f0067de8423349da3 removed the option to do \"make regress\" (I only tested with \"make regressX\" and \"make check\"). This commit reenables \"make regress\".","distinct":false,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/6a0b4c3c4c77aa1bdd1a44c41d4c3ad9c88d9307"},{"sha":"d3528b6db31f9bdff56bc519bbf427b2533c43b8","author":{"name":"Mathias Preiner","email":"8ea4fa12853687583b583519694ac65fcd759d94@gmail.com"},"message":"Ignore whitespaces and moved code for contrib/get-authors.","distinct":false,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/d3528b6db31f9bdff56bc519bbf427b2533c43b8"},{"sha":"d95e5257f452d765aa67931f0b2af7b178f2e986","author":{"name":"Andrew Reynolds","email":"1683003588f98781d463ba572209fd0d5da95e1b@gmail.com"},"message":"Enable post-condition strenghtening by default for non-syntax restricted invariant synthesis (#1703)","distinct":false,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/d95e5257f452d765aa67931f0b2af7b178f2e986"},{"sha":"4f506ac50e43a71a92094a478deeaa2c2cd1df4a","author":{"name":"Andrew Reynolds","email":"1683003588f98781d463ba572209fd0d5da95e1b@gmail.com"},"message":"Minor reorganization for ematching (#1701)","distinct":false,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/4f506ac50e43a71a92094a478deeaa2c2cd1df4a"},{"sha":"f3d010e07f30dd658d4532a43b3813654376162d","author":{"name":"Andrew Reynolds","email":"1683003588f98781d463ba572209fd0d5da95e1b@gmail.com"},"message":"Remove unused code (#1700)","distinct":false,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/f3d010e07f30dd658d4532a43b3813654376162d"},{"sha":"d13b2981520e3d39039e8eb2c3c844de473a1e7c","author":{"name":"Andrew Reynolds","email":"1683003588f98781d463ba572209fd0d5da95e1b@gmail.com"},"message":"Remove abstract regular expression constant (#1698)","distinct":false,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/d13b2981520e3d39039e8eb2c3c844de473a1e7c"},{"sha":"22586fb55f88ea964c723716af9ea43cf3f93c87","author":{"name":"Andrew Reynolds","email":"1683003588f98781d463ba572209fd0d5da95e1b@gmail.com"},"message":"Add a few quantifiers regressions to improve coverage (#1702)","distinct":false,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/22586fb55f88ea964c723716af9ea43cf3f93c87"},{"sha":"9e9e6b8777047160ef7a1f2708a295aa503eb856","author":{"name":"Mathias Preiner","email":"8ea4fa12853687583b583519694ac65fcd759d94@gmail.com"},"message":"Remove doc/libcvc4.3 from options/Makefile.am. (#1696)\n\nThis commit fixes an issue with calling make clean && make.\r\n\r\nThe final doc/libcvc4.3 is now generated during ./autogen.sh and should not\r\nbe deleted with make clean.","distinct":false,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/9e9e6b8777047160ef7a1f2708a295aa503eb856"},{"sha":"c03e15c1b4ef6ec62209f2a4906cce5843e80c46","author":{"name":"Andrew Reynolds","email":"1683003588f98781d463ba572209fd0d5da95e1b@gmail.com"},"message":"Cleanup various exit calls (#1692)","distinct":false,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/c03e15c1b4ef6ec62209f2a4906cce5843e80c46"},{"sha":"b1cd4f9c51e98c4d18c8d3ad0c3f1cd60ac8ff41","author":{"name":"ajreynol","email":"1683003588f98781d463ba572209fd0d5da95e1b@gmail.com"},"message":"Merge branch 'master' of https://github.com/CVC4/CVC4 into sygusRrStat","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/b1cd4f9c51e98c4d18c8d3ad0c3f1cd60ac8ff41"},{"sha":"687d0ca456c88771775255bb5ff1e5ffdc9f1c2c","author":{"name":"ajreynol","email":"1683003588f98781d463ba572209fd0d5da95e1b@gmail.com"},"message":"Option","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/687d0ca456c88771775255bb5ff1e5ffdc9f1c2c"}]}
{"actor":{"display_login":"ajreynol"}}