Re: Appetite for Frama-C annotations?

From: Dagfinn Ilmari Mannsåker <ilmari(at)ilmari(dot)org>
To: Chapman Flack <chap(at)anastigmatix(dot)net>
Cc: Colin Gilbert <colingilbert86(at)gmail(dot)com>, pgsql-hackers(at)lists(dot)postgresql(dot)org
Subject: Re: Appetite for Frama-C annotations?
Date: 2021-12-09 18:15:44
Message-ID: 87r1alod9r.fsf@wibble.ilmari.org
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-hackers

Chapman Flack <chap(at)anastigmatix(dot)net> writes:

> 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].

There's also https://github.com/zombodb/pgx/, which seems more complete
from a quick glance.

https://depth-first.com/articles/2021/08/25/postgres-extensions-in-rust/

- ilmari

In response to

Responses

Browse pgsql-hackers by date

  From Date Subject
Next Message Fujii Masao 2021-12-09 18:20:02 Re: Allow escape in application_name
Previous Message Chapman Flack 2021-12-09 18:04:13 Re: Appetite for Frama-C annotations?