Thank you all very much for your inputs! To summarise: I asked about
the possibility of adding ACSL annotations to the codebase and the
responses ranged from nonplussed on one end of the spectrum to some
degree of enthusiasm on the other. It was suggested that libpsql would
be a better initial targ
igh-speed development
> will be, in my very humble opinion, extremely difficult.
> Perhaps on a sub-project like libpq ?
>
>
> --
> Laurent "ker2x" Laborde
>
> On Wed, Dec 8, 2021 at 3:45 PM Colin Gilbert wrote:
>>
>> I've been becoming more and more
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 wrote:
>
> Colin Gilbert writes:
> > I've been becoming more and more interested in l
Wed, 8 Dec 2021 at 16:02, Chapman Flack wrote:
>
> On 12/07/21 13:32, Colin Gilbert wrote:
> > 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 a
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? Are such pull requests likely to be upstreamed? I ask this
because it uses com
