Anunciado SPARK GPL 2011
La gente de adacore.com anuncio hoy «19 de julio de 2011 09:52» en su lista de news la versión 2011:
* SPARK GPL 2011 comes with version 5.0.1 of the GNAT Programming Studio
IDE and GNATbench 2.5.1, the GNAT plug-in for Eclipse.
* The SPARK GPL Edition is available on Windows, SPARC/Solaris,
Linux (both 32- and 64-bit) and Apple’s OS X (64-bit).
Mejoras:
– El examinador ahora es compatible con selección automática del flujo de información
o los datos de análisis de flujo por subprograma.
– Derivado tipos numéricos, definición de los tipos numéricos se ha hecho más fácil en 2011 por la GPL
y agrega soporte de herramientas para derivados explícitamente de los tipos numéricos.
– Adiciones Biblioteca
La biblioteca SPARK ha sido aumentada con varios nuevos paquetes
entre ellas:
Interfaces
Ada.Characters.Handling
Ada.Text_IO
– Mejoras en las herramientas de prueba
El Simplifier ahora tiene mejores capacidades de razonamiento para tipos modulares. Además, el resumen de la salida de prueba (de la herramienta POGS) ha sido mejorado para hacer la gestión del proceso de la prueba más fácil para proyectos de gran envergadura.