{"push_id":2883062100,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"dd92afc3da5ce3c8db63e462b37031860fd0152b","before":"4a9a0dcb8b06e3fc917b642426140b044a64facd","commits":[{"sha":"c2111c86973b8a80e20a3fdf3cbd0b2ff0dc7010","author":{"name":"Andrew Reynolds","email":"4b5b852a53bcf83c69b3c472b5dac205f46498d1@gmail.com"},"message":"Add Skolem cache for strings, refactor length registration (#2457)\n\nThis PR is in preparation for doing more aggressive caching of skolems (for example, in the strings preprocessor).\r\n\r\nIt refactors sendLengthLemma -> registerLength, which unifies how length lemmas for skolems and other string terms are handled.","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/c2111c86973b8a80e20a3fdf3cbd0b2ff0dc7010"},{"sha":"2060f439c873c8b1928cbd5f54967571176f2aba","author":{"name":"Andres Noetzli","email":"a27884a205c28e99df76dbb0d834084a9a704cba@gmail.com"},"message":"Refactor how assertions are added to decision engine (#2396)\n\nBefore refactoring the preprocessing passes, we were using three\r\narguments to add assertions to the decision engine. Now all that\r\ninformation lives in the AssertionPipeline. This commit moves the\r\nAssertionPipeline to its own file and changes the `addAssertions()`\r\nmethods related to the decision engine to take an AssertionPipeline as\r\nan arguement instead of three separate ones. Additionally, the\r\nTheoryEngine now uses an AssertionPipeline for lemmas.","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/2060f439c873c8b1928cbd5f54967571176f2aba"},{"sha":"dd92afc3da5ce3c8db63e462b37031860fd0152b","author":{"name":"Andrew Reynolds","email":"4b5b852a53bcf83c69b3c472b5dac205f46498d1@gmail.com"},"message":"Decision strategy: incorporate sygus feasible and sygus stream feasible (#2462)","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/dd92afc3da5ce3c8db63e462b37031860fd0152b"}]}
{"actor":{"display_login":"ajreynol"}}