From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: Dimensions in Ada
Date: Thu, 3 Jan 2013 04:27:33 -0800 (PST)
Date: 2013-01-03T04:27:33-08:00 [thread overview]
Message-ID: <b15ca57d-9dbf-4383-b8c6-37fd9af58ec3@googlegroups.com> (raw)
In-Reply-To: <kbkdg7$c5u$1@dont-email.me>
See https://groups.google.com/forum/#!searchin/comp.lang.ada/dimension$20checking/comp.lang.ada/YIARRmrir3E/X3JDTadrui0J for an overview of some findings with the GNAT units checking method. GNAT GPL 2012 however (which I played around with) is older than the current GNAT Professional, and at least one of my proposals has been implemented meanwhile.
prev parent reply other threads:[~2013-01-03 12:27 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-12-28 15:22 Dimensions in Ada Álex R. Mosteo
2012-12-28 19:50 ` jpwoodruff
2012-12-28 21:26 ` jpwoodruff
2013-01-03 12:27 ` AdaMagica [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox