Re: Appetite for Frama-C annotations?

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