Recent Papers
Browse by Technology
Dev Log Archives
Developer Center |
|
AdaCore Development Log
Monday November 17, 2008
Gem #53: Safe and Secure Software: Chapter 12: Conclusion
Gem #53 is the concluding chapter of John Barnes’ new booklet:
Safe and Secure Software: An Introduction to Ada 2005.
We hope you have enjoyed this series. In the attachment at the bottom of Gem #30 you can access the contents and bibliography for the entire booklet.
Read the rest of this entry »
 652.5Kb |
Posted in Ada / Ada 2005, Development Log, Devt log - Gem of the Week
Monday November 10, 2008
Gem #52: Scripting Capabilities in GNAT (Part 1)
Ada Gem #52 — Programming languages are, at least in the mind of most programmers, divided into two categories: scripting languages and others. The dividing line is not always obvious, and generally has to do with the size of the application, whether the language is interpreted or compiled, and whether doing operations such as manipulating external processes is easy.
It’s safe to say, though, that Ada is almost never classified as a scripting language. This Gem demonstrates a few of the packages that are part of the GNAT distribution and that provide helpful scripting features to accomplish tasks that would often be thought to be in the domain of languages specialized for scripting. Portability is of course a major advantage of choosing Ada!
Read the rest of this entry »
Posted in Ada / Ada 2005, Development Log, Devt log - Gem of the Week
Wednesday November 5, 2008
Reminder - GPS 4.3 webinar
The GNAT Pro InSight webinar series continues this fall with a presentation of the new features that will be introduced in the latest GPS release:
- Easy configuration of dual compilation.
- Enhanced support for gcov (code coverage), gnatcheck (coding standard checker) and compiler switches.
- A redesigned and fully customizable builder module.
- New plug-ins.
- Improved code completion.
- Improved documentation generator.
Posted in Development Log, GPS
Monday November 3, 2008
Gem #51: Safe and Secure Software: Chapter 11, Certified Safe with SPARK
Gem #51 is the eleventh chapter of John Barnes’ new booklet:
Safe and Secure Software: An Introduction to Ada 2005.
Over the coming months, we will be publishing all thirteen chapters of the booklet. In the attachment at the bottom of Gem #30 you can access the contents and bibliography for the entire booklet.
Read the rest of this entry »
|
690.4Kb |
Posted in Ada / Ada 2005, Development Log, Devt log - Gem of the Week
Monday November 3, 2008
[GPS] VCS menus are now filtered
The main VCS menu is filtered to contain only the VCS actions which are at least defined in one generic VCS. The VCS Activities menu is also filtered to propose actions that are available on the project VCS.
Posted in Development Log, GPS
Wednesday October 29, 2008
[GPS] Speed up update VCS action
It is now possible to disable status operation after an update. This speed-up the update action as status is an expensive operation. On slow network it can make a big difference. At the same time GPS has been enhanced to parse the update output to update file status accordingly.
Posted in Development Log, GPS
Tuesday October 28, 2008
[GNAT] Improve .NET delegates handling
The .NET compiler now matches Ada access-to-subprogram types with .NET delegates. This allows easier integration of mixed-language projects, as well as more conformant IL code. As a result, delegates are now imported directly as access-to-subprogram types.
Posted in Development Log, GNAT Compilation System
Monday October 27, 2008
Gem #50: Overload Resolution
Ada Gem #50 — This Gem discusses some language-design issues related to overload resolution.
Read the rest of this entry »
Posted in Ada / Ada 2005, Development Log, Devt log - Gem of the Week
Monday October 27, 2008
[GNAT] New procedure GNAT.Calendar.Year_Week_In_Year
The procedure Year_Week_In_Year has been introduced to GNAT.Calendar. It returns the week on which a given date falls as defined in ISO 8601 along with the year in which the week occurs.
Posted in Development Log, GNAT Compilation System
Monday October 27, 2008
[GPS] New auto VCS mode
The new "auto" VCS_Kind mode can be used to let GPS automatically select the proper external VCS. This is useful in the context where different people are not using the same VCS locally. For example developers tracking a Subversion repository using Git (git-svn module).
Posted in Development Log, GPS