Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: postgresql-cfbot/postgresql
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: cf/4690~1
Choose a base ref
...
head repository: postgresql-cfbot/postgresql
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: cf/4690
Choose a head ref
  • 4 commits
  • 6 files changed
  • 2 contributors

Commits on Apr 29, 2025

  1. Teach predtest.c about BooleanTest 

    There are lots of things we can prove based on/for IS [NOT]
{TRUE,FALSE,UNKNOWN} clauses -- particularly how they related to boolean
variables, NOT clauses, and IS [NOT] NULL clauses.

There are a few other more generic improvements as well, such as the
ability for clause_is_strict_for to recurse into NOT clauses and
adjusting proofs refutation based on implication to know that if we can
prove strong refutation we can also prove weak refutation by default.
    @jcoleman
    jcoleman authored and Commitfest Bot committed Apr 29, 2025
    Configuration menu
    Copy the full SHA
    8074999 View commit details
    Browse the repository at this point in the history

  2. Recurse weak and strong implication at the same time 

    This is particularly useful for implication as used in refutation proofs
with "NOT x" clauses. We don't plumb through external callers this way
since they are generally interested in one or the other.
    @jcoleman
    jcoleman authored and Commitfest Bot committed Apr 29, 2025
    Configuration menu
    Copy the full SHA
    7c9ff95 View commit details
    Browse the repository at this point in the history

  3. Add temporary 'all permutations' test

    @jcoleman
    jcoleman authored and Commitfest Bot committed Apr 29, 2025
    Configuration menu
    Copy the full SHA
    298fd6a View commit details
    Browse the repository at this point in the history

  4. [CF 4690] v8 - Teach predtest about IS [NOT] <boolean> proofs 

    This branch was automatically generated by a robot using patches from an
email thread registered at:

https://commitfest.postgresql.org/patch/4690

The branch will be overwritten each time a new patch version is posted to
the thread, and also periodically to check for bitrot caused by changes
on the master branch.

Patch(es): https://www.postgresql.org/message-id/CAAaqYe-s59GXnfEb-V39oBhp=W5zRDABn3Zk77vYOgZi8k+T6A@mail.gmail.com
Author(s): James Coleman
    Commitfest Bot committed Apr 29, 2025
    Configuration menu
    Copy the full SHA
    c93336e View commit details
    Browse the repository at this point in the history
Loading