Teach predtest about IS [NOT] <boolean> proofs

Edit
ID 4690
Title Teach predtest about IS [NOT] <boolean> proofs
Topic Performance
Created 2023-12-11 20:00:42
Last modified 2024-10-08 01:57:28 (1 month, 1 week ago)
Latest email 2024-04-06 00:43:33 (7 months, 1 week ago)
Status
2024-11: Needs review
2024-09: Moved to next CF
2024-07: Moved to next CF
2024-03: Moved to next CF
2024-01: Moved to next CF
Target version
Authors James Coleman (jcole1989)
Reviewers Tom Lane (tgl)Become reviewer
Committer
Links CFbot results (CirrusCI) CFbot GitHub
Checkout latest CFbot patchset Go to your local checkout of the PostgreSQL repository and run:
git remote add commitfest https://github.com/postgresql-cfbot/postgresql.git
git fetch commitfest cf/4690
git checkout commitfest/cf/4690
Emails
Teach predtest about IS [NOT] <boolean> proofs
First at 2023-12-11 19:59:46 by James Coleman <jtc331 at gmail.com>
Latest at 2024-04-06 00:43:33 by James Coleman <jtc331 at gmail.com>
Latest attachment (v8-0001-Teach-predtest.c-about-BooleanTest.patch) at 2024-04-06 00:43:33 from James Coleman <jtc331 at gmail.com>
    Attachment (v8-0001-Teach-predtest.c-about-BooleanTest.patch) at 2024-04-06 00:43:33 from James Coleman <jtc331 at gmail.com> (Patch: Yes)
    Attachment (v7-0002-Teach-predtest.c-about-BooleanTest.patch) at 2024-03-25 21:53:06 from Tom Lane <tgl at sss.pgh.pa.us> (Patch: Yes)
    Attachment (v6-0002-Teach-predtest.c-about-BooleanTest.patch) at 2024-01-25 01:08:47 from James Coleman <jtc331 at gmail.com> (Patch: Yes)
    Attachment (v5-0001-Use-switch-statements-in-predicate_-implied-refut.patch) at 2024-01-22 17:57:41 from Tom Lane <tgl at sss.pgh.pa.us> (Patch: Yes)
    Attachment (v4-0003-Add-temporary-all-permutations-test.patch) at 2024-01-18 00:34:36 from James Coleman <jtc331 at gmail.com> (Patch: Yes)
    Attachment (WIP-refactor-predicate_implied_by_simple_clause.patch) at 2023-12-22 19:48:29 from Tom Lane <tgl at sss.pgh.pa.us> (Patch: Yes)
    Attachment (v2-0001-WIP-use-switch-statements.patch) at 2023-12-22 15:00:50 from James Coleman <jtc331 at gmail.com> (Patch: Yes)
    Attachment (v1-0001-Teach-predtest-about-IS-NOT-bool-proofs.patch) at 2023-12-11 19:59:46 from James Coleman <jtc331 at gmail.com> (Patch: Yes)
History
When Who What
2024-10-08 01:57:28 Michael Paquier (michael-kun) Closed in commitfest 2024-09 with status: Moved to next CF
2024-08-01 01:56:00 Corey Huinker (coreyh) Closed in commitfest 2024-07 with status: Moved to next CF
2024-04-09 06:30:24 Andrey Borodin (x4m) Closed in commitfest 2024-03 with status: Moved to next CF
2024-02-01 17:54:49 vigneshwaran C (vignesh.postgres) Closed in commitfest 2024-01 with status: Moved to next CF
2024-01-20 23:01:59 Tom Lane (tgl) Added tgl as reviewer
2023-12-11 20:00:52 James Coleman (jcole1989) Changed authors to James Coleman (jcole1989)
2023-12-11 20:00:42 James Coleman (jcole1989) Attached mail thread CAAaqYe8Bo4bf_i6qKj8KBsmHMYXhe3Xt6vOe3OBQnOaf3_XBWg@mail.gmail.com
2023-12-11 20:00:42 James Coleman (jcole1989) Created patch record
Edit