comp.lang.ada
 help / color / mirror / Atom feed
From: "yannick.moy" <yannick.moy@gmail.com>
Subject: Re: Hi-Lite high integrity showcase and overflow errors
Date: Wed, 5 Sep 2012 02:25:44 -0700 (PDT)
Date: 2012-09-05T02:25:44-07:00	[thread overview]
Message-ID: <1fb90777-484c-4ccb-8262-4497443d64de@googlegroups.com> (raw)
In-Reply-To: <878vcplet2.fsf@mid.deneb.enyo.de>

> Eventually, you'll have to accept that a lot of Ada marketing material
> is poorly prepared at best, 

Please consider this material is an introduction to a research project. We're not talking marketing material for a product. I think that we do a fair amount of efforts to publicize the goals, the discussions and the current state of the Hi-Lite research project. I invite you to subscribe to the public mailing-list where we discuss most of the technical issues in this project if you're interested:

http://lists.forge.open-do.org/mailman/listinfo/hi-lite-discuss

For a demo of what the prototype can currently handle, see the video demo or the User's Guide at:

http://www.open-do.org/projects/hi-lite/gnatprove/

> and downright intellectually dishonest at
> worst.  This is rather sad.

I hope I convinced you this is not the case.



  parent reply	other threads:[~2012-09-05  9:25 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-09-03 21:56 Hi-Lite high integrity showcase and overflow errors Georg Bauhaus
2012-09-04  2:53 ` Shark8
2012-09-04  3:05   ` Shark8
2012-09-04  8:30     ` Georg Bauhaus
2012-09-04 18:45       ` Shark8
2012-09-04 20:21 ` Florian Weimer
2012-09-04 21:24   ` Shark8
2012-09-05  9:25   ` yannick.moy [this message]
2012-09-05  9:19 ` yannick.moy
2012-09-05 11:15   ` Georg Bauhaus
2012-10-03 10:47   ` Florian Weimer

replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox