Title | Teach predtest about IS [NOT] <boolean> proofs | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Topic | Performance | ||||||||||||||||||||||||
Created | 2023-12-11 20:00:42 | ||||||||||||||||||||||||
Last modified | 2024-08-01 01:56:00 (1 month, 2 weeks ago) | ||||||||||||||||||||||||
Latest email | 2024-04-06 00:43:33 (5 months, 1 week ago) | ||||||||||||||||||||||||
Status |
2024-09: Needs review
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 | |||||||||||||||||||||||||
Emails |
|
||||||||||||||||||||||||
History |
|