Title | Teach predtest about IS [NOT] <boolean> proofs | |||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Topic | Performance | |||||||||||||||||||||
Created | 2023-12-11 20:00:42 | |||||||||||||||||||||
Last modified | 2024-04-09 06:30:24 (3 weeks, 1 day ago) | |||||||||||||||||||||
Latest email | 2024-04-06 00:43:33 (3 weeks, 4 days ago) | |||||||||||||||||||||
Status |
2024-07: Needs review
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 |
|