Blog Posts 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.
Pierre-Marie de Rodat
GNATcoverage: getting started with instrumentation
Pierre-Marie de Rodat
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…
Pierre-Marie de Rodat
A Further Expedition into Libadalang: Save Time with Libadalang.Helpers.App
Yannick Moy, Nicolas Roche, Pierre-Marie de Rodat, Fabien Chouteau
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…
Pierre-Marie de Rodat, Yannick Moy, Fabien Chouteau, Raphaël Amiard
AdaCore at FOSDEM 2018
Pierre-Marie de Rodat, Raphaël Amiard
Cross-referencing Ada with Libadalang
Pierre-Marie de Rodat
Highlighting Ada with Libadalang
Pierre-Marie de Rodat
Pretty-Printing Ada Containers with GDB Scripts
Pierre-Marie de Rodat, Nicolas Setton
GNAT GPL 2017 is out!
Pierre-Marie de Rodat
GNATcoverage moves to GitHub
Raphaël Amiard, Yannick Moy, Pierre-Marie de Rodat
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…
Raphaël Amiard, Pierre-Marie de Rodat
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…