Re: Appetite for Frama-C annotations?

Поиск
Список
Период
Сортировка
От Chapman Flack
Тема Re: Appetite for Frama-C annotations?
Дата
Msg-id 61B0F3A9.4010002@anastigmatix.net
обсуждение исходный текст
Ответ на Appetite for Frama-C annotations?  (Colin Gilbert <colingilbert86@gmail.com>)
Список pgsql-hackers
On 12/08/21 12:13, Colin Gilbert wrote:
> Hi! Thanks for the quick reply. Are you doing any of this work in a
> public repository? If so, could we have a link? There is a similar
> idea in Java Modelling Language.  It also uses its own annotations to
> describe additional requirements. Are you considering to use it? Maybe
> I could help...

PL/Java's public repository is https://github.com/tada/pljava

Much of the current refactoring I spoke of is not pushed there yet
(it is still in the getting-rebased-a-lot stages). There may be
an initial push of it appearing there in the coming weeks though.

JML is also mentioned in my notes from a couple years back when I was
browsing such tools.

There is also a PL/Java-specific mailing list at
https://www.postgresql.org/list/pljava-dev/

The traffic there is not high.

Regards,
-Chap



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

Предыдущее
От: John Naylor
Дата:
Сообщение: Re: cutting down the TODO list thread
Следующее
От: Marcos Pegoraro
Дата:
Сообщение: Cross DB query