{"push_id":2391636987,"size":2,"distinct_size":1,"ref":"refs/heads/commitfest/17/1424","head":"9532172a241f32d5098f06eb83f73100a34acc7d","before":"7448a350404a3b269e2a6fd9279a2ccb181925c0","commits":[{"sha":"5748f3a0aa7cf78ac6979010273bd9d50869bb8e","author":{"name":"Tom Lane","email":"9ca635a44fdf5aa326758d8d245579b9ae84653c@sss.pgh.pa.us"},"message":"Improve predtest.c's internal docs, and enhance its functionality a bit.\n\nCommit b08df9cab left things rather poorly documented as far as the\nexact semantics of \"clause_is_check\" mode went.  Also, that mode did\nnot really work correctly for predicate_refuted_by; although given the\nlack of specification as to what it should do, as well as the lack\nof any actual use-case, that's perhaps not surprising.\n\nRename \"clause_is_check\" to \"weak\" proof mode, and provide specifications\nfor what it should do.  I defined weak refutation as meaning \"truth of A\nimplies non-truth of B\", which makes it possible to use the mode in the\npart of relation_excluded_by_constraints that checks for mutually\ncontradictory WHERE clauses.  Fix up several places that did things wrong\nfor that definition.  (As far as I can see, these errors would only lead\nto failure-to-prove, not incorrect claims of proof, making them not\nserious bugs even aside from the fact that v10 contains no use of this\nmode.  So there seems no need for back-patching.)\n\nIn addition, teach predicate_refuted_by_recurse that it can use\npredicate_implied_by_recurse after all when processing a strong NOT-clause,\nso long as it asks for the correct proof strength.  This is an optimization\nthat could have been included in commit b08df9cab, but wasn't.\n\nAlso, simplify and generalize the logic that checks for whether nullness of\nthe argument of IS [NOT] NULL would force overall nullness of the predicate\nor clause.  (This results in a change in the partition_prune test's output,\nas it is now able to prune an all-nulls partition that it did not recognize\nbefore.)\n\nIn passing, in PartConstraintImpliedByRelConstraint, remove bogus\nconversion of the constraint list to explicit-AND form and then right back\nagain; that accomplished nothing except forcing a useless extra level of\nrecursion inside predicate_implied_by.\n\nDiscussion: https://postgr.es/m/5983.1520487191@sss.pgh.pa.us","distinct":false,"url":"https://api.github.com/repos/postgresql-cfbot/postgresql/commits/5748f3a0aa7cf78ac6979010273bd9d50869bb8e"},{"sha":"9532172a241f32d5098f06eb83f73100a34acc7d","author":{"name":"Commitfest Bot","email":"aab6a594935fe5db0d690bc154b19f642bfbe9d7@cputube.org"},"message":"[CF 17/1424] General purpose hashing func in pgbench\n\nThis commit was automatically generated by cfbot at commitfest.cputube.org.\nIt is based on patches submitted to the PostgreSQL mailing lists and\nregistered in the PostgreSQL Commitfest application.\n\nThis branch will be overwritten each time a new patch version is posted to\nthe email thread or the master branch changes.\n\nCommitfest entry: https://commitfest.postgresql.org/17/1424\nPatch(es): https://www.postgresql.org/message-id/7b1b71c7-e308-b39f-e386-d6d67d276071%40postgrespro.ru\nAuthor(s): Ildar Musin","distinct":true,"url":"https://api.github.com/repos/postgresql-cfbot/postgresql/commits/9532172a241f32d5098f06eb83f73100a34acc7d"}]}
{"actor":{"display_login":"postgresql-cfbot"}}