Re: Appetite for Frama-C annotations?

Поиск
Список
Период
Сортировка
От Dagfinn Ilmari Mannsåker
Тема Re: Appetite for Frama-C annotations?
Дата
Msg-id 87r1alod9r.fsf@wibble.ilmari.org
обсуждение исходный текст
Ответ на Re: Appetite for Frama-C annotations?  (Chapman Flack <chap@anastigmatix.net>)
Ответы Re: Appetite for Frama-C annotations?  (Colin Gilbert <colingilbert86@gmail.com>)
Список pgsql-hackers
Chapman Flack <chap@anastigmatix.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



В списке pgsql-hackers по дате отправления:

Предыдущее
От: Chapman Flack
Дата:
Сообщение: Re: Appetite for Frama-C annotations?
Следующее
От: Fujii Masao
Дата:
Сообщение: Re: Allow escape in application_name