From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: GNAT and Dimension Checking
Date: Mon, 9 Jul 2012 04:06:37 -0700 (PDT)
Date: 2012-07-09T04:06:37-07:00 [thread overview]
Message-ID: <30c50604-d3e4-40cf-b7de-638caac4853a@googlegroups.com> (raw)
In-Reply-To: <87zk7a8504.fsf@adaheads.sparre-andersen.dk>
On Sunday, July 8, 2012 8:47:07 PM UTC+2, Jacob Sparre Andersen wrote:
> I find it interesting that AdaCore seem to have found a general solution
> to the problem, but for the moment I manage fine with a slightly
> modified version of Macks and statically generated checks.
Interesting that you are using Macks. Fraser Wilson's blancaleoni site has long been removed.
next prev parent reply other threads:[~2012-07-09 11:08 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-07-01 5:53 GNAT and Dimension Checking AdaMagica
2012-07-01 6:25 ` Nasser M. Abbasi
2012-07-01 10:44 ` yogeshwarsing
2012-07-02 20:42 ` Anh Vo
2012-07-02 20:58 ` Adam Beneschan
2012-07-02 21:51 ` Anh Vo
2012-07-01 15:18 ` AdaMagica
2012-07-01 15:47 ` yogeshwarsing
2012-07-06 10:47 ` AdaMagica
2012-07-08 1:50 ` Robert A Duff
2012-07-08 10:33 ` AdaMagica
2012-07-08 11:37 ` Dmitry A. Kazakov
2012-07-08 14:13 ` AdaMagica
2012-07-08 18:47 ` Jacob Sparre Andersen
2012-07-09 11:06 ` AdaMagica [this message]
2012-07-09 8:20 ` Martin
2012-07-09 11:19 ` AdaMagica
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox