3 search results for "author:"Virgile Prevosto""
Showing 1 - 3
-
frama-c
No documentation
Platform dedicated to the analysis of source code written in C31.0LGPL-2.1-onlyUsed by 5 other packages29 Jun 2025 -
frama-clang
No documentation
Frama-C plug-in based on Clang for parsing C++ files0.0.18~betaLGPL-2.1-onlyUsed by 0 other packages23 Jun 2025 -
Automatic generation of files headers1.08LGPL-2.0-onlyUsed by 1 other packages16 May 2024