Loading presentation...

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

Make your likes visible on Facebook?

Connect your Facebook account to Prezi and let your likes appear on your timeline.
You can change this under Settings & Account at any time.

No, thanks

AdaCore Roadmap 2014

No description
by

Arnaud Charlet

on 5 November 2014

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of AdaCore Roadmap 2014

2013
July
GNAT Pro 7.1.2
February
GNAT Pro 7.1.1
November
GNAT Pro 7.2.0
Major
Minor
Beta
2015
July
GNAT Pro 7.3.2
February
GNAT Pro 7.3.1
November
GNAT Pro 7.4.0
Major
Minor
Beta
2014
July
GNAT Pro 7.2.2
February
GNAT Pro 7.2.1
November
GNAT Pro 7.3.0
Major
Minor
Beta
2016
July
GNAT Pro 7.4.2
February
GNAT Pro 7.4.1
November
GNAT Pro 7.5.0
Major
Minor
Beta
2012
July
GNAT Pro 7.0.2
February
GNAT Pro 7.0.1
November
GNAT Pro 7.1.0
Major
Minor
Beta
2011
July
GNAT Pro 6.4.2
February
GNAT Pro 6.4.1
November
GNAT Pro 7.0.0
Major
Minor
Beta
2010
July
GNAT Pro 6.3.2
February
GNAT Pro 6.3.1
November
GNAT Pro 6.4.0
Major
Minor
Beta
2009
July
GNAT Pro 6.2.2
February
GNAT Pro 6.2.1
November
GNAT Pro 6.3.0
Major
Minor
Beta
2017
July
GNAT Pro 7.5.2
February
GNAT Pro 7.5.1
November
GNAT Pro 7.6.0
Major
Minor
Beta
GNAT Pro 7.3.1
GPS 6.1.1
GNATbench 2.9.1
GNATdashboard 1.0.1
Tools
Libraries
QGen 1.0.1
SPARK 15.0.1
CodePeer 3.0.1
175+ new features
55 platforms (45 cross)
Passed Ada 2012 ACATS 4.0
Based on GCC 4.9 & GDB 7.8
New Ports/OS versions
VxWorks 6.9.4.1
PowerPC LynxOS178 2.2.4
Linux RHES 7 (x86, x86-64)

OS baselined
Itanium OpenVMS, Linux
PowerPC ELF Solaris
SPARC Solaris 9
Linux RHES 4
Improved Diagnostic
Better error messages
Better error recovery
New warning messages
New pragma Warning_As_Error
New pragma Prefix_Exception_Messages
New Language Features
Improved support for Endianness
pragma Default_Scalar_Storage_Order
Relaxed rules
New aspects for existing pragmas
Improved support for ISO C11 and C++11
GNAT Library
New standalone math library on bare board
New units: GNAT.Formatted_String, GNAT.Rewrite_Data
Time/Date in GNAT.Source_Info
Reimplementation of Ada.Task_Attributes
Symbolic tracebacks with -g1
Support for large files on 32bits systems
Code Generator
Support for pre/post conditions on imported subprograms
Overflow checks enabled by default
(-gnato/-gnato0)
Improved support for inlining
Better code generation for large array reset and float point attributes
Improved compile time on large programs
Code Generator
Improved register allocator
Performance up to 5% on some benchmarks
Support for latests chips (e.g. Intel AVX-512, AMD 15h, ARMv8-A, Power8)
Improved debug information, using DWARF4
New optimization switch: -Og
Debugger
Better support for python scripting
Support for variable length arrays in C
Better description of Ada types
Most GNAT tools understand projects directly
Support for aggregate projects
Improved support for extended and aggregate projects
Parallel processing support in gnat2xml, gnatpp, gnatcheck, gnatelim, gnatmetric
Incremental processing in gnat2xml, gnatpp, gnatcheck
gnat2xml now generates representation clauses
gnatstub can generate stubs as Ada separates
GNATtest
Support for stubbing units
Support for handling multiple test executables
Display of tests duration
GPRbuild
Distributed builds improvements
Better support for cross environments
Will replace gnatmake when using project files
AWS
New and improved security features
GNU/TLS
SSL/TLS
SMTP over SSL
...
Better WebSocket support
Better WSDL support
GNATcoll
Support for aggregate projects in GNATcoll.Projects API
Improvements in GNATcoll.Xref API
Release cycle sync with GNAT Pro
Source navigation engine based on DB
Improved for GPS (faster, handling of NFS, more reliable)
New for GNATbench
Improved support for Ada 2012 and SPARK 2014
GNATbench
Support for Eclipse 4.4 Luna
Support for Windows 64bits
Support for WR WorkBench 4.0
GNATbench
Support for build configurations
Improved project wizard
Automatic code fixing in WorkBench
GPS
Improved Python Support
Smart completion
On the fly syntax error report
New syntax highlighting
New APIs
GPS
New syntax highlighting engine
Used for C/C++/Python
Can be used by plug-ins
Support for aggregate projects
Improvements in the UI and editors
Multi-cursor
GPS
Bare board support
Project templates
Workflow buttons
Revamped browsers
Local filters
Better feedback, look, layout
GNATcoverage
Support for cross via emulation and probes, native x86/x64 linux
Improved GPS integration
Improved support for Ada 2012 and C
More powerful consolidation capability
Support for multiple statements on same line
GtkAda
New GtkAda.Canvas_View
IDEs
GNAT Library on bare board
New standalone math library
More efficient
More accurate
Certifiable
Reconfigurable runtimes
Easy to add or modify units and rebuild
GNAT Library
New units: GNAT.Formatted_String, GNAT.Rewrite_Data
Time/Date in GNAT.Source_Info
Reimplementation of Ada.Task_Attributes
Symbolic tracebacks with -g1
Support for large files on 32bits systems
GNAT
More use of standard DWARF debug info for Ada
Studying port to iOS (ipad)
VxWorks 6: shared library support
VxWorks 7: support on most targets (starting mid 2015)

GNATdoc: PDF generation
GNATcoverage: x86-windows port

QGen: Certification material

GPS
Libclang integration for C/C++ code completion, outline, ...
Libadalang project for a new generation of Ada tools (refactoring, transformations, ...)
Full transcript