Re: Appetite for Frama-C annotations?

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