Teach predtest about IS [NOT] <boolean> proofs

ID 4690

Title Teach predtest about IS [NOT] <boolean> proofs

Topic Performance

Created 2023-12-11 20:00:42

Last modified 2024-12-01 19:12:45 (2 weeks, 5 days ago)

Latest email 2024-04-06 00:43:33 (8 months, 2 weeks ago)

Status

2025-01: Needs review

2024-11: Moved to next CF

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-12-01 19:12:45	Dmitry Dolgov (erthalion)	Closed in commitfest 2024-11 with status: Moved to next CF
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