|
SPARK understand me very well... me neither Hello, I've opened a thread about it some months ago. Here is a new opportunity to come back to this topic : help you (and me) and SPARK to better understand each others. I am not talking about the language, ... about the simplifier (and may a bit about the examiner which do a bit a the simplifier's job)... 13 Aug 2010 16:50
SPARK POGS: List the rules used by the Simplifier The POGS tool in the SPARK GPL toolset summarises the state of the proofs for a program. But it is not easy to determine which user rules have/have not been used by the Simplifier. I have made a modified POGS that lists the rules used by the Simplifier as part of the summary output so, instead of just the list ... 13 Aug 2010 15:45
Ada Smileys in C++ lib Conversion This week I've been busy porting last year's C++ version of my midi library over to Ada (now that I'm using AVR-Ada). As part of that effort, the Ada compiler has discovered a few errors that were lurking still in the C++ Arduino code. In C++ I had defined: /* * MC_CTL_CHG Control values : */ #define MC... 13 Aug 2010 13:34
Structural unification (pattern matching) in Ada [was: Re: S-expression I/O in Ada] On Wed, 11 Aug 2010 19:51:23 +0200, _FrnchFrgg_ wrote: I don't understand what Streams have to do with ML pattern matching. You mentioned to constructors stream I/O deploys them. Just to be sure we are talking about the same thing, I read one of you wishing Ada had a more powerful/generic "switch" con... 11 Aug 2010 15:49
Structural unification (pattern matching) in Ada [was: Re: S-expressionI/O in Ada] Le 11/08/2010 16:10, Dmitry A. Kazakov a �crit : On Wed, 11 Aug 2010 01:04:29 +0200, _FrnchFrgg_ wrote: Le 10/08/2010 13:19, Dmitry A. Kazakov a �crit : On Tue, 10 Aug 2010 13:06:58 +0200, _FrnchFrgg_ wrote: Unification and pattern matching is independent of type inference. Did you me... 12 Aug 2010 09:15
Generic_Roots Inspired by <http://sourceforge.net/projects/gnat-math-extn/> and as suggested by a correspondent, I've updated my experimental implementations of these two generic procedures: AI95-0346: Ada.Numerics.Generic_Real_Arrays.Generic_Roots AI95-0346: Ada.Numerics.Generic_Complex_Arrays.Generic_Roots <http://home... 11 Aug 2010 11:26
SPARK code samples Since evidently growing interest in SPARK Ada and availability of public SPARK compiler, I welcome those who are interested in learning and testing SPARK to contribute their solutions to the Rosetta Code: http://rosettacode.org/wiki/Main_Page The Rosetta Code has a half of thousand programming tasks defined.... 12 Aug 2010 18:04
Ada 2012: An Oops in the new Ada amendments ? (in 10.1.2 Context Clauses - With Clauses) "Yannick Duch�ne (Hibou57)" <yannick_duchene(a)yahoo.fr> wrote in message news:op.vg8gu8dwule2fv(a)garhos... OK, sorry, I see: "library item" vs "library_item" (the underscore). When I see this kind of things, do I have to understand this is a matter of unformally defined item (old version) vs formally defin... 10 Aug 2010 19:06
ANN: Ada 2005 Math Extensions, 20100810 release ... at http://sourceforge.net/projects/gnat-math-extn/. The most obvious change is that there's a set of AUnit tests. More subtly, the function Eigenvalues now follows the requirement "The index range of the result is A'Range(1)." in its parent package (http://www.adaic.com/standards/05rm/html/RM-G-3-2.html). ... 13 Aug 2010 21:13
Ada 2012: An Oops in the new Ada amendments ? (in 10.1.2 ContextClauses - With Clauses) Hi all, I was reading the amendments (no too much deeply) which comes with Ada 2012, and there is an update which I do not understand : http://www.ada-auth.org/ai-files/grab_bag/Amendment-2-D9.html In â10.1.2 Context Clauses - With Clausesâ says Replace paragraph 12: [AI05-0077-1]A name denoting a libr... 10 Aug 2010 14:41
Bug rate and choice of programming language Hello, This is not a troll, really. :-) By following some links that were posted during the discussion on one of the Polish programming newsgroups I have found the following page: http://www.leshatton.org/SCSS_595.html This page seems to refer to some paper with an assessment of programming languages for ... 11 Aug 2010 04:55
Spark and the Ada numerics annex Hi, I became interested in taking a look at SPARK. I've browsed through the freely available first chapter of Barnes's SPARK book and I saw that SPARK doesn't seem to cover the Ada specialized annexes (see Figure 1.1. Relatonship between SPARK and Ada on pp. 11). My interests are purely in Scientific numerical pr... 10 Aug 2010 10:12
installing SPARK GPL on Windows Hi, I've been trying to install SPARK GPL on a Windows machine. I already have GNAT GPL (and GPS). I found a brief introduction to SPARK here: http://www.adacore.com/2009/06/29/gem-68/ For the installation, I added C:\SPARK\2010\bin to the Windows path environment and overwrote the existing spark.py in the G... 8 Aug 2010 07:58 |