From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: ASIS for Gnat (was: Any chance of programming a web frontend in Ada 2012?
Date: Sat, 12 Jun 2021 16:04:19 +0200 [thread overview]
Message-ID: <sa2et2$um1$1@dont-email.me> (raw)
In-Reply-To: <sa23c5$ipk$1@dont-email.me>
Le 12/06/2021 à 12:47, Rod Kay a écrit :
> On 9/6/21 3:02 pm, J-P. Rosen wrote:
>>
>> Please drop me a note if you have developped an ASIS tool, or are
>> using an ASIS-based tool. With enough protests, we may convince
>> AdaCore to make ASIS4GNAT available to the community.
>>
>
> I switched from ASIS to libadalang for an Ada IDE project also, since I
> thought ASIS was abandoned.
If you want to analyze code while it is being typed, as is common in an
IDE, Libadalang is certainly the way to go.
If you want to make sophisticated analysis tools, it's another story.
Hopefully, my paper at AE will soon be available...
--
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52
https://www.adalog.fr
next prev parent reply other threads:[~2021-06-12 14:04 UTC|newest]
Thread overview: 37+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-06-08 8:56 Any chance of programming a web frontend in Ada 2012? Marius Amado-Alves
2021-06-08 9:21 ` Jeffrey R. Carter
2021-06-08 13:42 ` Marius Amado-Alves
2021-06-08 16:04 ` Jeffrey R. Carter
2021-06-08 14:45 ` Marius Amado-Alves
2021-06-08 9:35 ` Max Reznik
2021-06-08 15:22 ` Max Reznik
2021-06-08 16:06 ` Luke A. Guest
2021-06-08 16:19 ` Maxim Reznik
2021-06-10 15:16 ` Shark8
2021-06-10 15:42 ` Luke A. Guest
2021-06-10 13:33 ` Shark8
2021-06-26 11:59 ` Marius Amado-Alves
2021-06-08 13:20 ` Luke A. Guest
2021-06-08 14:12 ` Marius Amado-Alves
2021-06-08 14:43 ` Luke A. Guest
2021-06-08 14:55 ` Marius Amado-Alves
2021-06-08 15:08 ` Luke A. Guest
2021-06-08 15:01 ` Marius Amado-Alves
2021-06-08 16:26 ` Maxim Reznik
2021-06-09 5:02 ` ASIS for Gnat (was: " J-P. Rosen
2021-06-11 18:47 ` Stephen Leake
2021-06-11 20:31 ` J-P. Rosen
2021-06-12 10:47 ` Rod Kay
2021-06-12 14:04 ` J-P. Rosen [this message]
2021-06-14 12:37 ` Shark8
2021-06-15 21:40 ` Marius Amado-Alves
2021-06-16 8:41 ` J-P. Rosen
2021-06-24 12:36 ` Maxim Reznik
2021-06-24 21:28 ` Marius Amado-Alves
2021-06-25 7:44 ` Marius Amado-Alves
2021-06-25 9:08 ` Maxim Reznik
2021-06-26 12:05 ` Marius Amado-Alves
2021-06-26 19:51 ` Vadim Godunko
2021-06-25 7:50 ` Marius Amado-Alves
2021-06-10 15:18 ` Shark8
2021-06-11 0:44 ` Paul Rubin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox