Thu 24 July 2014

[Adacore] AdaCore Releases GNAT GPL for Bare Board ARM

Freely available toolsuite brings power of Ada language to global ARM ecosystem

NEW YORK and PARIS, (July 24, 2014) – AdaCore today released a freely downloadable version of its GNAT GPL Ada cross-development environment for Bare Board ARM Cortex processors. Students, professors and other developers of non-proprietary software can now exploit Ada 2012’s reliability, safety and security benefits for ARM applications.

GNAT GPL for Bare Board ARM Cortex processors provides a complete Ada 2012 development environment, including a comprehensive tool-chain and GPS, AdaCore’s flagship Integrated Development Environment (IDE). It also includes a fully configurable/customizable run-time library consisting of the “Small Footprint” (SFP) and Ravenscar profiles that are particularly relevant to safety-critical systems. The SFP profile corresponds to a language subset with minimal GNAT run-time routines, and the Ravenscar profile is a subset of the Ada concurrency features with an efficient, predictable, small-footprint implementation. The resulting Ada subset has expressive power well beyond that of other languages used for ARM-based devices.

“There are now billions of ARM processors in embedded systems, which has created a global ecosystem with many developers looking to take advantage of Ada’s strengths,” said Dr. Pat Rogers, AdaCore Bare Board product manager. “By making an Ada cross-development environment freely available to the academic and hobbyist communities, we are responding to this demand and see great potential for significantly increasing the overall usage of the Ada language. With powerful ARM-based boards currently available for under $20, this new GNAT GPL release becomes a cost-effective development environment for everyone.”

The release of GNAT GPL for Bare Board ARM is part of AdaCore’s ongoing commitment to the Ada community. Fully featured releases of the GNAT technology are already available for GNU Linux, Mac OS X, and Windows. 

"Finally, the substantial software engineering benefits of the Ada 2012 language are available for the huge ARM microcontroller family,” said Mike Silva, Software Engineer at the community. “This is a ground-breaking achievement for the embedded programming world, offering the promise of higher quality embedded software delivered on shorter schedules."

“For our students, this is almost a game-changing new option, providing an academia-affordable, hands-on, high-integrity and fully real-world hardware/software environment for every individual student,” said Dr. rer. nat. Uwe R. Zimmer, Fellow at the Australian National University. “Tools which enable the combination of high-integrity, real-time systems with concrete, real-world hardware will open doors to dependable, physical systems for many more students.”

GNAT GPL for Bare Board ARM is available now from The package includes a tutorial and example project showing how to use Ada and GPS for the “STM32F4 Discovery” (Cortex-M4) evaluation kit from STMicroelectronics.  Additional Ada tutorials can be accessed via AdaCore University.

About the GNAT Technology
GNAT is a robust, flexible, and open Ada development environment based on the GNU GCC compiler technology. It comprises a full Ada compiler (including complete support for Ada 2012), an Integrated Development Environment (GPS, the GNAT Programming Studio), a comprehensive toolset including a visual debugger, and a useful collection of libraries / bindings. GNAT allows development of pure Ada applications as well as Ada components in multi-language systems. It is distributed with complete source code and is available on a wide range of host environments for both native and cross-development, including UNIX, Windows and GNU/Linux.

All brand or product names are registered trademarks or trademarks of their respective holders.

AdaCore Press Contacts
Jamie Ayre


Rainier Communications (for AdaCore)

Jenna Beaucage
+1-508-475-0025 x124

[Logilab] EP14 Pylint sprint Day 1 report

We've had a fairly enjoyable and productive first day in our little hidden room at EuroPython in Berlin ! Below are some noticeable things we've worked on and discussed about.

First, we discussed and agreed that while we should at some point cut the cord to the logilab.common package, it will take some time notably because of the usage logilab.common.configuration which would be somewhat costly to replace (and is working pretty well). There are some small steps we should do but basically we should mostly get back some pylint/astroid specific things from logilab.common to astroid or pylint. This should be partly done during the sprint, and remaining work will go to tickets in the tracker.

We also discussed about release management. The point is that we should release more often, so every pylint maintainers should be able to do that easily. Sylvain will write some document about the release procedure and ensure access are granted to the pylint and astroid projects on pypi. We shall release pylint 1.3 / astroid 1.2 soon, and those releases branches will be the last one supporting python < 2.7.

During this first day, we also had the opportunity to meet Carl Crowder, the guy behind, as well as David Halter which is building the Jedi completion library ( runs pylint on thousands of projects, and it would be nice if we could test beta release on some part of this panel. On the other hand, there are probably many code to share with the Jedi library like the parser and ast generation, as well as a static inference engine. That deserves a sprint on his own though, so we agreed that a nice first step would be to build a common library for import resolution without relying on the python interpreter for that, while handling most of the python dark import features like zip/egg import, .pth files and so one. Indeed that may be two nice future collaborations!

Last but not least, we got some actual jobs done:

  • Michal Novikowsky from Intel in Poland joined us to work on the ability to run pylint in different processes so it may drastically improve performance on multiple cores box.
  • Torsten did continue some work on various improvements of the functionnal test framework.
  • Sylvain did merge logilab.common.modutils module into astroid as it's mostly driven by astroid and pylint needs. Also fixed the annoying namespace package crash.
  • Claudiu keep up the good work he does daily at improving and fixing pylint :)

[Adacore] TAP 2014

Jul 24-25, 2014 – York, UK

Yannick Moy and Johannes Kanig are presenting a paper - Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification.

[Adacore] GPS: animations in browsers

GPS now uses animations in the browsers (call graph, project,...) when items are moved from one position to another. This helps preserve the context.

[GTLL] Le Groupe Thématique Logiciel Libre mis à l’honneur par et Le Monde Informatique

L’historique du GT LL : « Systematic : bilan et perspectives du soutien au logiciel libre »

Cet article revient sur les temps forts et les réalisations du GT LL depuis sa création

En savoir plus >>>


Le soutien apporté par le Pôle aux entreprises du Logiciel Libre : « Systematic met en lumière ses champions du monde Open Source »

Les projets phares labellisés du Groupe y sont présentés par le président du GT LL, Stéfane Fermigier

En savoir plus >>>




logiciel librestéfane fermigier

Wed 23 July 2014

[Adacore] Use of SPARK_Mode in generics and instantiations

Aspect/pragma SPARK_Mode can now appear in generic units. The annotation is also applicable to generic instantiations.

[Adacore] Improve warnings in -gnatVa mode

The use of -gnatVa could cause disappearance of warnings about unmodified variables that could be constants. The warning circuitry has been enhanced so that these warnings are issued in -gnatVa mode.

Mon 21 July 2014

[Adacore] GPS: review call graph browser

The call graph browser was redesigned. The rendering has changed. We no longer display the list of locations for the references (which is more usable in the Call Trees), so as to be able to display more items in the browser. Standard contextual menus related to entities are now usable in the browser.

[Adacore] GPS: add filter in Project browser

The project browser now has a local filter, instead of having a specialized search context in the standard search dialog.

Fri 18 July 2014

[Mandriva] Save the date: 25 July, live webcast with partner Univention

Mandriva recently signed a strategic partnership with Univention with its IT systems management solution Pulse being included in Univention’s app center.  To mark the release of Univention Corporate Server powered by Pulse, Mandriva and Univention decided to organize a series of informative webcasts with a Q&A session. The last webcast organized with our partner Univention on the 18th of July was a success.

Mandriva is looking to repeat the success with a second joint webcast planned for the 25th of July.

Time: 10:00 Paris time       webcast

Duration: 30 minutes

Speakers: Mandriva, Paris: Yvan Manon, pre-sales technical engineer

Phone: +33 1 76 64 16 60

 Univention,Germany: Cord Martens, head of sales

Tel. : +49 421 22232-20 email:  



-Inroduction by Univention

-Quick Pulse demonstration by Mandriva

-Q&A session

No registrations required. Simply use the link to join the webcast:


[Adacore] Better generation of globals

The auto-generated globals are now more precise. Outputs are no longer always also considered to be inputs. Additionally, when available, state abstractions are utilized to return globals relatively to the scope of the caller (this allows for more precise warnings/errors).