{"push_id":1281043663,"size":6,"distinct_size":4,"ref":"refs/heads/master","head":"532a228bc718bde32afb3b96ca2cd3abcbd40f48","before":"d6b840e521eef52a864f51fa18d6e86a6bf34f4a","commits":[{"sha":"07c4b6c27aac497c74695dd559adfee0d9e8e83f","author":{"name":"Tim King","email":"6d42afa01bfdc4760de647746c33f49c3f23e5e4@google.com"},"message":"Removing the forward declaration of QuantInfo from rewrite_engine.h.","distinct":false,"url":"https://api.github.com/repos/timothy-king/CVC4/commits/07c4b6c27aac497c74695dd559adfee0d9e8e83f"},{"sha":"d09bb1889f184de32ceb078a815e016502e24279","author":{"name":"Tim King","email":"6d42afa01bfdc4760de647746c33f49c3f23e5e4@google.com"},"message":"Relaxing the throw specifiers for the destructors for Node, TypeNode, the context/ classes, and their subclasses. Fixes compilation issues with clang 3.5 and -std=c++11 'exception specification of overriding function is more lax than base version' for a couple of different classes.","distinct":false,"url":"https://api.github.com/repos/timothy-king/CVC4/commits/d09bb1889f184de32ceb078a815e016502e24279"},{"sha":"2cadfe31cfddaff7eff4cd220273d0bab3d2792d","author":{"name":"ajreynol","email":"1683003588f98781d463ba572209fd0d5da95e1b@gmail.com"},"message":"Updates to cbqi.  New strategy --cbqi-nested-qe to do qe on nested quantifiers during instantiation. Decide on innermost ce lits first, register nested counterexample lemmas eagerly.","distinct":true,"url":"https://api.github.com/repos/timothy-king/CVC4/commits/2cadfe31cfddaff7eff4cd220273d0bab3d2792d"},{"sha":"135171f4a10ef709b8982d79f2e477c12b29f64d","author":{"name":"ajreynol","email":"1683003588f98781d463ba572209fd0d5da95e1b@gmail.com"},"message":"Cleanup quantifier elimination in smt engine.","distinct":true,"url":"https://api.github.com/repos/timothy-king/CVC4/commits/135171f4a10ef709b8982d79f2e477c12b29f64d"},{"sha":"cbfc0961327831dc43ce6dda600740bab224ff6c","author":{"name":"ajreynol","email":"1683003588f98781d463ba572209fd0d5da95e1b@gmail.com"},"message":"Fix boolean term issue in invariants from sygus. Minor default options changes for cbqi.","distinct":true,"url":"https://api.github.com/repos/timothy-king/CVC4/commits/cbfc0961327831dc43ce6dda600740bab224ff6c"},{"sha":"532a228bc718bde32afb3b96ca2cd3abcbd40f48","author":{"name":"Tim King","email":"6d42afa01bfdc4760de647746c33f49c3f23e5e4@cs.nyu.edu"},"message":"Merge pull request #91 from timothy-king/no-throw\n\nRelaxing the throw specifiers for the destructors for Node, TypeNode,…","distinct":true,"url":"https://api.github.com/repos/timothy-king/CVC4/commits/532a228bc718bde32afb3b96ca2cd3abcbd40f48"}]}
{"actor":{"display_login":"timothy-king"}}