Content by Pierre-Marie de Rodat
Pierre-Marie de Rodat
Pierre-Marie joined AdaCore in 2013, after he got an engineering degree at EPITA (IT engineering school in Paris). He mainly works on GNATcoverage, GCC, GDB and Libadalang.
GNATcoverage: getting started with instrumentation
Introducing source code instrumentation in GNATcoverage
This is the first post of a series about GNATcoverage and source code instrumentation.In order to make GNATcoverage viable in more contexts, we…
A Further Expedition into Libadalang: Save Time with Libadalang.Helpers.App
AdaCore at FOSDEM 2019
Like last year, we've sent a squad of AdaCore engineers to participate in the celebration of Open Source software at FOSDEM. Like last year, we had…
AdaCore at FOSDEM 2018
Cross-referencing Ada with Libadalang
Highlighting Ada with Libadalang
Pretty-Printing Ada Containers with GDB Scripts
GNAT GPL 2017 is out!
GNATcoverage moves to GitHub
Going After the Low Hanging Bug
At AdaCore, we have a strong expertise in deep static analysis tools (CodePeer and SPARK), and we have been relying on the compiler GNAT and our…
Introducing Libadalang
AdaCore is working on a host of tools that works on Ada code. The compiler, GNAT, is the most famous and prominent one, but it is far from being the…