Thank you very much Tom for your quick reply! If nobody objects to it too much, I'd focus my work on ensuring full-text-search is memory-safe.
On Wed, 8 Dec 2021 at 15:21, Tom Lane <t...@sss.pgh.pa.us> wrote: > > Colin Gilbert <colingilber...@gmail.com> writes: > > I've been becoming more and more interested in learning formal methods > > and wanted to find a good project to which I could contribute. Would > > the development team appreciate someone adding ACSL annotations to the > > codebase? > > Most likely not. It might be interesting to see if it's possible to > do anything at all with formal methods in the hairy mess of the Postgres > code base ... but I don't think we'd clutter the code with such comments > unless we thought it'd help the average PG contributor. Which I doubt. > > > Are such pull requests likely to be upstreamed? > > We don't do PRs around here --- the project long predates the existence > of git, nevermind github-based workflows, so we're set in other habits. > See > > https://wiki.postgresql.org/wiki/Developer_FAQ > https://wiki.postgresql.org/wiki/Submitting_a_Patch > > regards, tom lane
