Skip to content
GitLab

Extract headers

Merged Raphaël Rieu-Helft requested to merge extract-headers into master

The goal of this merge request is to support the modular extraction to C of multi-file programs. To do this, we need to extract interface files.