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
