From: "Nasser M. Abbasi" <nma@12000.org>
Subject: Re: GNAT and Dimension Checking
Date: Sun, 01 Jul 2012 01:25:21 -0500
Date: 2012-07-01T01:25:21-05:00 [thread overview]
Message-ID: <jsoqgi$s4v$1@speranza.aioe.org> (raw)
In-Reply-To: 2afdc8e6-def0-4a00-8535-4db40165fc92@googlegroups.com
On 7/1/2012 12:53 AM, AdaMagica wrote:
> I see that GNAT now has added packages System.Dim.* for dimension checking.
>However I cannot find any other documentation about these packages,
>neither in GNAT_UG nor in GNAT_RM.
>
> Is there any?
>
did some googling, some links I found are
"Performing Dimensionality Analysis in GNAT"
http://gcc.gnu.org/onlinedocs/gnat_ugn_unw/Performing-Dimensionality-Analysis-in-GNAT.html
"Performing Dimensionality Analysis in GNAT"
http://docs.adacore.com/gnat-unw-docs/html/gnat_ugn_28.html
"[Ada] Documentation for GNAT dimensionality checking system"
http://www.mail-archive.com/gcc-patches@gcc.gnu.org/msg26036.html
ps. The ads file for this package is s-sim.ads in the sources.
--Nasser
next prev parent reply other threads:[~2012-07-01 6:26 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 [this message]
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
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