Le 15/10/2016 à 11:06, Pascal a écrit :
> Here is a proposal for Gnoga coding guidelines:
>
> Version numbering: m.n with m major version number , n minor version
> number. -alpha is added on m.n when this version is created, to be
> used without any warranty. -beta is added on m.n when this ver
On 10/15/2016 02:06 AM, Pascal wrote:
> Version numbering:
> m.n with m major version number , n minor version number.
> -alpha is added on m.n when this version is created, to be used without any
> warranty.
> -beta is added on m.n when this version is enough mature to be tested.
> Then a letter
On 10/16/2016 08:10 AM, Jean-Pierre Rosen wrote:
> Le 15/10/2016 à 11:06, Pascal a écrit :
>> Functions and procedures must be declared before coding the body.
> Not sure it is very useful. I don't have a rule for this in Adacontrol,
> but it could be easily added.
It seems a reasonable language-d
Le 16/10/2016 à 19:54, Jeffrey R. Carter a écrit :
>> I'm OK for disabling assertions, but not other checks (constraint_error...)
> I'm for leaving them all on.
When I said "assertions", I meant all forms of assertions (including
Pre/Post), not just pragma Assert.
The trouble is that sometimes, t
On 10/16/2016 10:25 PM, Jean-Pierre Rosen wrote:
> When I said "assertions", I meant all forms of assertions (including
> Pre/Post), not just pragma Assert.
>
> The trouble is that sometimes, the post-condition needs more
> computations than the subprogram being described.
Such conditions should p