Teach predtest about IS [NOT] <boolean> proofs

Edit
ID 4690
Title Teach predtest about IS [NOT] <boolean> proofs
CI (CFBot) Summary
Stats (from CFBot) Patch version: v8, Patch count: 3, First patch: +1599−103, All patches: +1882−129
Tags Performance
Created 2023-12-11 20:00:42
Last modified 2025-04-07 15:49:02 (1 year ago)
Latest email 2024-04-06 00:43:33 (2 years ago)
Status
PG19-1 (2025-07-01 – 2025-07-31): Needs review
2025-03 (2025-03-01 – 2025-04-08): Moved to different CF
2025-01 (2025-01-01 – 2025-01-31): Moved to different CF
2024-11 (2024-11-01 – 2024-11-30): Moved to different CF
2024-09 (2024-09-01 – 2024-09-30): Moved to different CF
2024-07 (2024-07-01 – 2024-07-31): Moved to different CF
2024-03 (2024-03-01 – 2024-04-08): Moved to different CF
2024-01 (2024-01-01 – 2024-01-31): Moved to different CF
Target version
Authors James Coleman (jcole1989)
Reviewers Become reviewer
Committer
Links
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
2026-04-07 15:50:10 Tom Lane (tgl) Removed tgl from reviewers
2025-04-07 15:49:02 Tom Lane (tgl) Closed in commitfest 2025-03 with status: Moved to next CF
2025-02-03 16:32:20 Tom Lane (tgl) Closed in commitfest 2025-01 with status: Moved to next CF
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
Edit