4 search results for "author:"Thibault Martin""
Showing 1 - 4
-
Platform dedicated to the analysis of source code written in C29.0LGPL-2.1-onlyUsed by 5 other packages13 Jun 2024
-
Lannotate plugin of Frama-C, part of the LTest suite0.2.3LGPL-2.1-onlyUsed by 0 other packages09 Jul 2024
-
Luncov plugin of Frama-C, part of the LTest suite0.2.1LGPL-2.1-onlyUsed by 0 other packages09 Jul 2024
-
Executes a test suite and computes test coverage0.1.1LGPL-2.1-onlyUsed by 0 other packages09 Jul 2024