{"push_id":2436525108,"size":7,"distinct_size":1,"ref":"refs/heads/sygusRrStat","head":"59430e10851206f211f66d8e98baa3543cd32d29","before":"9bd9f3735ae88c18a09df7336435e2d5f85b5704","commits":[{"sha":"a4c2248a49506f60d555cbd7b99784b20ff02aef","author":{"name":"Andres Noetzli","email":"d37444924895fabce924c9900296ac1acbe5fe02@gmail.com"},"message":"Make Java bindings work with newer build envs (#1709)\n\nOur current build scripts did not work with Automake 1.16. At configure\r\ntime, the .swig_deps target in src/bindings/Makefile.am was executed due\r\nto the `@mk_include@ .swig_deps` (which is not the case with older\r\nversions of Automake). This ultimately caused configure to fail because\r\nSWIG was complaining about missing files (generated source files, such\r\nas src/expr/expr.h). This commit fixes the issue by adding\r\n`-ignoremissing` to the call to SWIG. With that option, SWIG is not\r\ncomplaining about the missing files and the dependency generation\r\ncompletes successfully.\r\n\r\nCurrently, the src/bindings/compat/java/create_impl.py script is not\r\ncompatible with Python 3, which leads to errors when building on systems\r\nwhere `python` links to Python 3 (e.g. on Arch Linux). This commit makes\r\nthe script compatible with both Python 2 and 3.\r\n\r\nOur build scripts were using old -source/-target versions when calling\r\n`javac`. Those are not supported by newer Java versions (e.g.  Java 9).\r\nThis commit updates the version to 1.6, which is still fairly old, so\r\nshould be broadly supported.\r\n\r\nFinally, some systems (e.g. Arch Linux' AUR package for SWIG 2) refer to\r\nSWIG 2 as `swig-2`.  This commit adds support for detecting this at\r\nconfigure time.","distinct":false,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/a4c2248a49506f60d555cbd7b99784b20ff02aef"},{"sha":"8b5b4e7c9df5bd9d5959c7c92a5b28c951881d49","author":{"name":"Andres Noetzli","email":"d37444924895fabce924c9900296ac1acbe5fe02@gmail.com"},"message":"Fix memory leak in bvminisat (#1710)\n\nWhile reviewing #1695, I realized that bvminisat is leaking memory for\r\neach call to setNotify(). This commit uses std::unique_ptr to fix the\r\nissue. It also adds std::unique_ptr to manage d_minisat.","distinct":false,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/8b5b4e7c9df5bd9d5959c7c92a5b28c951881d49"},{"sha":"d0ce9d1dd563e6ec5c84743ced1b07ff0b3b9cb5","author":{"name":"Andres Noetzli","email":"d37444924895fabce924c9900296ac1acbe5fe02@gmail.com"},"message":"Add support for filtering regressions with regex (#1711)\n\nThis commit adds support for filtering the regression tests using a\r\nregex. For example:\r\n\r\n```\r\nTEST_REGEX=quantifiers make regress0\r\n```\r\n\r\nRuns regression tests from level 0 that have \"quantifiers\" in their\r\nname.","distinct":false,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/d0ce9d1dd563e6ec5c84743ced1b07ff0b3b9cb5"},{"sha":"bf300b47de94182145f5c4d0f0ec0e7cf09b6143","author":{"name":"Andres Noetzli","email":"d37444924895fabce924c9900296ac1acbe5fe02@gmail.com"},"message":"Regression level 0 for distcheck on Travis (#1714)\n\nWe are running all our Travis tests with regression level 0 except for\r\ndistcheck, which is running with the default level 1. This commit lowers\r\nthe level to 0 to make all jobs consistent.","distinct":false,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/bf300b47de94182145f5c4d0f0ec0e7cf09b6143"},{"sha":"ab70f7a01939515792221b33372ec994bd425fde","author":{"name":"Andrew Reynolds","email":"1683003588f98781d463ba572209fd0d5da95e1b@gmail.com"},"message":"Documentation and simplifications for PBE (#1677)","distinct":false,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/ab70f7a01939515792221b33372ec994bd425fde"},{"sha":"6a656809c353776c9de9580b19a6de79ef5a76d4","author":{"name":"Andres Noetzli","email":"d37444924895fabce924c9900296ac1acbe5fe02@gmail.com"},"message":"Better normalization of string concatenation (#1719)","distinct":false,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/6a656809c353776c9de9580b19a6de79ef5a76d4"},{"sha":"59430e10851206f211f66d8e98baa3543cd32d29","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/59430e10851206f211f66d8e98baa3543cd32d29"}]}
{"actor":{"display_login":"ajreynol"}}