comp.lang.ada
 help / color / mirror / Atom feed
* [Ann] New version of AdaControl released
@ 2013-07-11  5:01 J-P. Rosen
  0 siblings, 0 replies; 2+ messages in thread
From: J-P. Rosen @ 2013-07-11  5:01 UTC (permalink / raw)


Adalog is pleased to announce the release of version 1.15r5 of
AdaControl, featuring 452 possible checks, including a number of checks
for Ada 2012 constructs like expression functions, quantifiers, if/case
expressions... and of course "in out" parameters in functions!

As usual, it is available on SourceForge
(http://adacontrol.sourceforge.net) or from its home page
(http://www.adalog.fr/adacontrol2.htm).

AdaControl is free software (GMGPL) with commercial support available,
see User's Guide. Don't hesitate to write to info@adalog.fr for more
information on the great benefits of commercial support.

Enjoy!

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr


^ permalink raw reply	[flat|nested] 2+ messages in thread
* [Ann] New version of AdaControl released
@ 2021-09-22 20:42 J-P. Rosen
  0 siblings, 0 replies; 2+ messages in thread
From: J-P. Rosen @ 2021-09-22 20:42 UTC (permalink / raw)


Adalog is pleased to announce a new version of AdaControl (1.22r15).

This version features a number of new rules and enhancements, reaching 
73 rules and 591 possible checks.

Noteworthy improvements include a rule to check for known exceptions; 
this includes a data-flow tracing function, that benefits other rules 
too; a subrule to check assignments that could benefit from the new "@" 
syntax of Ada 202X, and other simplifiable statements; enhanced 
detection of redundant instantiations of generics, and more.

There is also a possibility to define you own output format, with 
examples using Toml and Yaml formats.

As usual, the complete list of improvements and new features can be 
found in file HISTORY.

Installation procedures have slightly changed, due to AdaCore's decision 
to not provide the community with the useful tools that it reserves to 
paying customers. Please read the details on AdaControl's home page, 
where you can download this version from:
https://www.adacontrol.fr

Enjoy!

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52
https://www.adalog.fr

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2021-09-22 20:42 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-07-11  5:01 [Ann] New version of AdaControl released J-P. Rosen
  -- strict thread matches above, loose matches on Subject: below --
2021-09-22 20:42 J-P. Rosen

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