More Resources
Recent Papers
Browse by Technology
Dev Log Archives
Developer Center |
|
AdaCore Development Log
Wednesday February 22, 2012
SPARK 10.1 webinar recording now online »
The InSight webinar series continued with a presentation on the new features of SPARK Pro 10.1:
Generics Phase 1 – Release 10.1 includes the first phase of the addition of support for Ada generics to the SPARK language and toolset
- Dynamic Flow Analyser and VCG Heaps
- Unicode characters now allowed in strings
- Improved use of types and subtypes in FDL
- Improvements to Simplifier tactics and performance
- Auto-generation of refinement rules
- Improvements to SPARKBridge
- New SPARKClean utility
This webinar can be viewed at:
http://www.adacore.com/home/products/sparkpro/language_toolsuite/webinars/
Posted in Development Log, SPARK
Monday February 20, 2012
[GNAT] Increase efficiency of bounded strings »
Bounded strings have been optimized by avoiding the need to NUL-out unused characters.
Posted in Development Log, GNAT Compilation System
Monday February 20, 2012
[GNAT] Improved support for task names under GNU/Linux »
Under GNU/Linux systems, task names (either implicit from the source code, or explicit via pragma Task_Name) are now set via the prctl() system call, so that they also appear as part of e.g. the ps command.
Posted in Development Log, GNAT Compilation System
Monday February 20, 2012
[IDE] Improved indentation in parenthesized exprs »
‘or else’ and ‘and then’ constructs at the end of lines inside parenthesized expressions are better intended and in particular no longer generate an extra indentation on the next line.
Posted in Development Log, GNATbench, GPS
Monday February 20, 2012
[IDE] Improved indentation of comments within expressions »
Comments within expressions or as part of continuation lines are better indented, taking the extra continuation line preference into account.
Posted in Development Log, GNATbench, GPS
Friday February 17, 2012
[GNAT] Improved linker DLL build time »
When building a shared library with many exported symbols on Windows the creation of the DLL was taking a long time. This performance issue has been addressed and now creating a DLL takes about the same time as creating an executable.
Posted in Development Log, GNAT Compilation System
Thursday February 16, 2012
[IDE] GPS: improvements in auto_highlight_occurrences.py »
The plugin auto_highlight_occurrences.py has two new features:
- if there is a selection, the other occurrences of the selected text
will be highlighted in the editor
- if the cursor is on a word which is not a navigable entity (for instance
keywords, words in comments, or in languages other than Ada or C), GPS
will perform a text-based highlighting of this word
Both of these behaviors can be deactivated through the Preferences dialog,
section Plugins->auto_highlight_occurrences.
Posted in Development Log, GNATbench, GPS
Tuesday February 14, 2012
[GNAT] Misleading warning that variable could be constant »
If the actual in a call is an access selected component of a variable, it is treated as a possible modification of the enclosing record, to prevent a spurious warning that a variable might be declared as a constant.
Posted in Development Log, GNAT Compilation System
Monday February 13, 2012
Gem #118: File-System Portability Issues and GNATCOLL.VFS »
This Gem discusses some portability issues related to file systems. In particular, it addresses matters of file names and dealing with case-sensitive vs. case-insensitive file systems, character sets, and symbolic links, and also gives an introduction to the utility package GNATCOLL.VFS.
Read the rest of this entry »
Posted in Ada / Ada 2005 / Ada 2012, Development Log, Devt log - Gem of the Week
Monday February 13, 2012
[IDE] GPS: new command GPS.EditorLocation.inside_word »
A new Shell/Python command allows determining whether a location is inside a word. This is useful when creating editor plugins.
Posted in Development Log, GNATbench, GPS