Teach predtest about IS [NOT] <boolean> proofs

Title

CI (CFBot)

Summary

Stats (from CFBot)

Patch version: v8, Patch count: 3, First patch: +1599−103, All patches: +1882−129

Topic

Performance

Created

2023-12-11 20:00:42

Last modified

2025-04-07 15:49:02 (1 month ago)

Latest email

2024-04-06 00:43:33 (1 year ago)

Status

2025-07: Needs review

2025-03: Moved to next CF

2025-01: Moved to next CF

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

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
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