web analytics
Tools | Ada Forge - News
News

AdaControl 1.18r9 (macOS binary)

AdaControl is a free (GMGPL) tool that detects the use of various kinds of constructs in Ada programs.

Its first goal is to control proper usage of style or programming rules, but it can also be used as a powerful tool to search for use (or non-use) of various forms of programming styles or design patterns.
Searched elements range from very simple, like the occurrence of certaine entities, declarations, or statements, to very sophisticated, like verifying that certain programming patterns are being obeyed..


With the help of Pascal Pignard, we have now a MacOS binary of our current AdaControl.
http://www.adalog.fr/fr/adacontrol.html

Enjoy!
Jean-Pierre Rosen Read More…

AdaControl 1.18r9 released

AdaControl is a free (GMGPL) tool that detects the use of various kinds of constructs in Ada programs.

Its first goal is to control proper usage of style or programming rules, but it can also be used as a powerful tool to search for use (or non-use) of various forms of programming styles or design patterns.

Searched elements range from very simple, like the occurrence of certaine entities, declarations, or statements, to very sophisticated, like verifying that certain programming patterns are being obeyed.

AdaControl consist of 68 rules and 532 sub-rules!

New :
  • AdaControl accepts .gpr fichiers
  • Binary is precompiled for Gnat-GPL2016.

http://www.adalog.fr/fr/adacontrol.html


Enjoy!
Jean-Pierre Rosen Read More…

AdaSubst & AdaDep released

AdaDep

An ASIS-based application to help you understand what uses what in your projects; very useful in reorganizing packages. AdaDep tells, for each package used by a module, which elements from the package are actually used

AdaSubst

An ASIS-based applications to help you reorganize your projects. AdaSubst performs semantic substitutions, i.e. substitutions that take Ada rules into account. With AdaSubst, you can change an identifier, or move elements from a package to another one, and change automatically all previous modules to account for the change. AdaSubst also offers functions for removing use clauses (and fixing all identifiers accordingly) and removing representation clauses.


http://www.adalog.fr/en/components.html

From Jean-Pierre Rosen
Read More…

GCC 6.1.0 native for OS X El Capitan, with GPL 2016 tools

This is GCC 6.1.0 built for Mac OS X El Capitan (10.11.4, Darwin 15.4.0), with the Command Line Tools for Xcode 7.

Compilers included: Ada, C, C++, Objective C, Objective C++, Fortran.

gcc-6.1.0-x86_64-apple-darwin15-2016-bin.tar.bz2
at https://sourceforge.net/projects/gnuada/files/GNAT_GCC%20Mac%20OS%20X/6.1.0/native-2016/

From Simon Wright

Read More…

AdaControl v1.17r3 released

AdaControl is a free (GMGPL) tool that detects the use of various kinds of constructs in Ada programs.
Its first goal is to control proper usage of style or programming rules

This version gives better support of Ada 2005/2012 constructs... especially in the handling of anonymous subtypes.
Read More…