Re: Appetite for Frama-C annotations?

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 <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>
> Colin Gilbert <colingilbert86(at)gmail(dot)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