July-December 2020
- V21 Product Release
- Product Videos
- Ada 202x Support
- GNAT Academic Program (GAP) Update
- Support for Wind River Helix
- AdaCore in Space — LASP and the CLARREO Pathfinder
- AdaCore and the FACE™ Approach
- Fifth Annual Make with Ada Programming Competition
- GNATcoverage Extends Source-Based Instrumentation for Ada
- Ada for the Embedded C Developer
- HIS 2020 Virtual Conference
- New AdaCore Blogs
January-June 2020
- Webinar on NVIDIA Use of SPARK for Secure Firmware
- AdaCore UK Participating in HICLASS Program
- Tech Days 2019
- V20 Product Release
- AdaCore in Space
- AdaCore Toolsuite for Ada, SPARK, and C Qualified under ISO 26262 and IEC 61508
- GNAT Ada Targeted to LLVM
- Spotlighting a GAP Member: Universidad Politécnica de Madrid (Spain)
- Enhancements to learn.adacore.com
- Blog Summary: RecordFlux- A Secure SPARK-Based Message Parsing Framework
- GNAT Pro C++ Available for Embedded Applications
July-Dec 2019
- AdaCore Turns 25
- Make with Ada Winners Announced
- Tech Days EU and US Announced for 2019
- Roadmap Announced for GNAT Pro on Wind River VxWorks 7 SR066xx Platforms
- AdaCore Joins RISC-V Foundation
- New AdaCore Blogs
- GNAT Pro Available for C and C++
- Welcome GNAT Studio!
- Spotlighting a GAP Member: Institut Supérieur de l’Aéronautique et de l’Espace (Toulouse, France)
- AdaCore Ltd Is Born
- Frama-C & SPARK Day Explores Formal Verification Methods
- AdaCore Now a Principal Member of the Open Group FACETM Consortium
- Tech Day Held in Huntsville, Alabama
Jan-June 2019
- V19 Product Release
- VDC Report: Ada Helps Reduce Costs
- AdaCore Awarded Air Force Research Contract for System-to-Software Integrity Support
- Tech Days 2018
- AdaCore at HIS 2018 Conference
- Interview with Joël Brobecker
- Ada on General Purpose GPUs
- AdaCore at Future Airborne Capability Environment (FACETM) Technical Interchange Meeting
- New AdaCore Office
- Excerpts from the AdaCore Blogosphere
July–Dec 2018
- AdaCore Technologies for Cybersecurity Available
- CodePeer Support for the Common Weakness Enumeration
- Smaller and More Secure with SPARK
- AdaCore Training Services
- Workshop on Sound Static Analysis for Security
- New Platform Support
- AdaCore Blogs
- Interview with Emma Adby
- Tech Days 2018
- Put Some SPARK in Your Ada
July–December 2017
- C Support for VxWorks and Bare Metal
- CodePeer 17 Introduces No False Positives Mode
- Tech Days 2017 Programs Firmed Up
- Dr. John C. Knight: An Appreciation
- Spotlighting a GAP Member: Georgetown University (Washington, DC)
- Interview with Yannick Moy
- Frama-C and SPARK Day 2017
- Check Out Recent AdaCore Blogs
January–June 2018
- New GNAT Pro Product Lines
- GNAT Pro Assurance Selected
- for MDA Space Application
- Dr. Peter Chapin Receives 2017 Robert Dewar Award
- Sustained Branches
- Tech Days 2017
- Make with Ada Winners Announced
- SPARK Discovery
- Spotlighting a GAP Member: US Air Force Academy (Colorado Springs, CO)
- Interview with Robert Tice
- New Product Release
- GNAT Pro CCG Expands Ada Availability
- GNAT Pro on iOS and Android
January-June 2017
- Make with Ada Prize Winners Announced
- Tech Days 2016 Conducted in Paris and Boston
- Interview with Quentin Ochem
- Version 17.1 Product Releases
- Spotlighting a GAP Member: The Australian National University (Canberra)
- GNAT Pro Supports AddressSanitizer
Spring-Summer 2016
- GNATcoverage Extends Platform Support, Adds Features
- AdaCore Tech Days 2016
- Interview with Jamie Ayre
- QGen update
- Spotlighting a GAP Member: Technical University of Munich (Germany)
- Public Ada Training in Boston and Paris
- AdaCore Sponsoring Ada Programming Competition
Autumn-Winter 2015-2016
- Drone Safety
- Interview with Martyn Pike
- Upcoming Releases
- Ada Courses in UK and US
- Automating Test Case Generation with GNATtest
Spring-Summer 2015
- In Memoriam: Robert B.K. Dewar, 1945-2015
- AdaCore Tech Days in Paris and Boston
- QGen Launched
- AdaCore Blog Introduced
- Ghost Code in SPARK 2014
- Ada Course in Paris
Autumn-Winter 2015
- Happy 20th Birthday, AdaCore!
- A Brief History of GNAT Pro
- 1 AdaCore and Safety Certification
- A Brief History of SPARK Pro
- Interview with Robert Dewar and Cyrille Comar
- A Brief History of CodePeer
- A Brief History of the GPS and GNATbench IDEs
- Workshop on Medical Device Software Security
- Upcoming Releases
- Public Ada Course, Spring 2015
- A Brief History of AdaCore and Education
- Newsflash
- Conferences/Events
Spring-Summer 2014
- CodePeer 2.3 Released
- GNATcoverage 1.2 Supports Hardware Probes
- Current Releases
- In the Pipeline
- Academia Corner: Vermont Technical College (US)
- Interview with Jérôme Guitton
- GNAT Industrial User Day
- Product Spotlight: GNAT Pro Safety-Critical for Railway Applications
- Introductory Ada Course from AdaCore and Vector Software
- Conferences/Events
Autumn-Winter 2013-2014
- GPS 6.0 Released
- Current Releases
- In the Pipeline
- Academia Corner: AdaCore University Lauched
- Interview with Ben Brosgol
- GNAT Industrial User Day
- Technology Corner: What’s New in SPARK 2014?
- Conferences/Events
Spring-Summer 2013
- Major New Release of CodePeer
- GNAT Pro Safety‐Critcal for ARM
- Hi‐Lite Project Completed
- Current Releases
- In the Pipeline
- Academia Corner: Professional Courses from AdaCore
- Interview with Valentine Reboul
- GNAT Pro User Day
- Technology Corner: Solving the 4 Endianness Problem with GNAT
- Conferences/Events
Autumn-Winter 2012-2013
- GPRbuild 2.0 Enhances Support for Multi-Language Projects
- Ada 2012 Approved by ISO, Featured on New Website
- GNAT Industrial User Day Keeps Users Informed
- Current Releases
- In the Pipeline
- Academia Corner: Universidad Politécnica de Madrid
- Interview with S. Tucker Taft
- AdaCore at HILT 2012
- Technology Corner: Dealing with Integer Overflow
- Conferences/Events
Spring-Summer 2012
- AdaCore and SofCheck Join Forces
- Ada 2012 Reference Manual Submitted to ISO
- Who's new at AdaCore
- Current Releases
- In the Pipeline
- New Course on DO-178C
- Academia Corner: Kansas State University, US
- Interview with Nicolas Setton
- Open-DO Update
- Webinar Schedule
- Technology Corner: Parasail
- GNAT Pro User Day
- Conferences/Events
Autumn 2011
- GPS 5.1 Strengthens Multi-Language Support, Tightens CodePeer Integration
- GNATcoverage wins Electron d’Or Prize
- Current Releases
- In the Pipeline
- Academia Corner: University of Southampton,UK
- Interview with JC Bernedo
- Webinar Schedule
- SPARK Prevents Software Vulnerabilities
- Technology Corner: Contract-Based Programming in Ada 2012
- Conferences/Events
Spring 2011
- New Tools for Dynamic Analysis of Embedded Systems
- AdaCore Awarded Research Funds for New High-Integrity Frameworks/Tools
- Current Releases
- Webinar Schedule
- Academia Corner: Western Washington University
- Interview with Olivier Hainque
- Technology Corner: GtkAda
- AdaCore at Wind River Conferences
- Conferences/Events
Autumn 2010
- GPS 5.0 Now Available
- GNAT Pro High-Integrity Edition for DO-178B
- Current Releases
- In the Pipeline
- Academia Corner: Telecom ParisTech
- Academia Corner: University of Virginia
- Interview with Steve Baird
- Webinar Schedule
- Technology Corner: Multi-language Solutions Available
- Conferences/Events
Spring-Summer 2010
- CodePeer Launched
- DO-178C Nearing Completion
- Current Releases
- In the Pipeline
- Webinar Schedule
- Academia Corner: University of Virginia
- Interview with José Ruiz
- AdaCore Awarded Grant for Hi-Lite Project
- Technology Corner: Ada 2012 Nearing Completion
- Open-DO Update
- Conferences/Events
- AdaCore at Wind River Regional Conferences
Fall-Winter 2009
- GNAT Pro High-Integrity Edition for MILS
- Model-Based Design Projects Underway
- Current Releases
- In the Pipeline
- Academia Corner: The Australian National University
- Interview with Pat Rogers
- Webinar Schedule
- Contracts
- Conferences/Events
Spring 2009
- SPARK Pro Launched
- Open-DO Initiative
- Current Releases
- In the Pipeline
- Academia Corner: Vermont Technical College
- Interview with Michaël Friess
- Webinar Schedule
- Ada Gem: Pragma No_Return
- Conferences/Events
Nov 2008
- NSA-Sponsored Tokeneer Software Available
- Project Coverage Launch Initiates
- Open AdaCore Series
- New Platforms
- In the Pipeline
- Academia Corner: Mälardalen University
- Interview with Ed Falis
- Webinar Schedule
- Traceability Analysis Expands Safety-Critical Ada
- Conferences/Events
May 2008
- New Release of GNAT Programming Studio
- Contract Award for Coverage Analysis Project
- Current Releases
- In the Pipeline
- Academia Corner
- Interview with Emmanuel Briot
- Webinar Schedule
- Technology Corner:Pragmas Precondition and Postcondition
- Conferences/Events
Nov 2007
- Gnat Pro High-Integrity Family Expanding to Servers
- US Navy Policy Recognizes Open-Source Software
- Current Releases
- In the Pipeline
- Spotlighting a GAP Member
- Interview with Gregory Gicca
- Webinar Schedule
- AdaCore Partner Praxis High Integrity Systems Makes SPARK/Ada a Language to Depend on
- Conferences/Events
June 2007
- What’s New in GNATbench 2.01
- Major New Air Traffic Control System Using GNAT Pro
- Current Releases
- Spotlighting a GAP Member
- Ada 2005 is an Official ISO Standard!
- In the Pipeline
- Interview with Arnaud Charlet
- Technology Webinars
- AdaCore Partner Vector Software Helps Certification Effort for DO-178B
- AdaCore at Conferences
November 2006
- GNAT Pro and Ada 2005 Coming to .NET
- GNATstack Tool Available
- New GCC Technology
- What’s Coming in GNAT Pro 6.0.1
- New Version of gprmake
- New Version of GNAT Tracker
- Spotlighting a GAP Member
- AdaCore at Conferences
- Interview with Bob Duff
- Public Courses at AdaCore New York
- New Target Platforms for GNAT Pro
- More Ada 2005 Features Available in GNAT Pro
April 2006
- GNAT Pro for Wind River's VxWorks 6
- PolyORB 2.0
- GPS update
- GNAT Pro Available on OpenVMS for HP Integrity Servers
- AJAX in Ada Web Server
- Stack Usage Analysis Tool
- Interview with Zepur Blot
- AdaCore in the News
- Partnership Corner
- AdaCore at conferences
November 2005
- GNATbench:The Bridge Between GNAT Pro and Eclipse
- Full Steam Ahead with Ada 2005!
- What’s New with GNAT Pro
- GPS 3.1 Available: Brings Many Improvements
- GNAT Academic Program Update
- Interview with Ed Schonberg
- AdaCore in the News
- Partnership Corner
- AdaCore at conferences
April 2005
- GNAT Pro 5.03 Release
- Dynamic Plug-in Loading with Ada
- In the Pipeline
- GAP Update
- AdaCore at Ada Europe 2005
- Interview with Franco Gasperoni
- GNAT Pro Winner of 'Product of the Year'
- Internationalization in Ada 2005
- AdaCore at conferences
November 2004
- GNAT Pro High Integrity Edition Selected for Boeing 7E7 page 1
- A New Look for AdaCore
- Upcoming Releases
- The Ada Academic Initiative
- www.ada-answers.com Launches!
- New GNAT Pro Cross-Compiler for ERC32
- Interview with Robert Dewar
- More GNAT Pro Ports on the Way!
- GNAT Pro Jewel:Scripting in GPS
- Technology Updates
- Available on Site
- AdaCore at ConferencesThe GNAT ProCompany