4 search results for "author:"Virgile Prevosto""
Showing 1 - 4
-
Platform dedicated to the analysis of source code written in C28.1LGPL-2.1-onlyUsed by 3 other packages04 Mar 2024
-
frama-c-base
No documentation
Platform dedicated to the analysis of source code written in C.15.0LGPL-2.1-onlyUsed by 2 other packages30 Oct 2018 -
frama-clang
No documentation
Frama-C plug-in based on Clang for parsing C++ files0.0.14LGPL-2.1-onlyUsed by 0 other packages06 Sep 2023 -
Automatic generation of files headers1.07LGPL-2.0-onlyUsed by 1 other packages03 Jul 2023