Re: Appetite for Frama-C annotations?

From: Chapman Flack <chap(at)anastigmatix(dot)net>
To: Colin Gilbert <colingilbert86(at)gmail(dot)com>
Cc: pgsql-hackers(at)lists(dot)postgresql(dot)org
Subject: Re: Appetite for Frama-C annotations?
Date: 2021-12-09 18:04:13
Message-ID: 61B2451D.2080705@anastigmatix.net
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-hackers

On 12/09/21 12:53, Colin Gilbert wrote:
> ... plugins written in
> something like Rust or Ada/SPARK? I write this, hoping not to tread on

Some work toward supporting "deep" PostgreSQL extensions in Rust
was presented at PGCon 2019 [0].

Regards,
-Chap

[0] https://www.pgcon.org/2019/schedule/events/1322.en.html

In response to

Responses

Browse pgsql-hackers by date

  From Date Subject
Next Message Dagfinn Ilmari Mannsåker 2021-12-09 18:15:44 Re: Appetite for Frama-C annotations?
Previous Message Colin Gilbert 2021-12-09 17:53:09 Re: Appetite for Frama-C annotations?