1 search result for "tag:"C++""

Showing 1 - 1
  1. frama-clang

    No documentation

    Frama-C plug-in based on Clang for parsing C++ files
    formal specification C++ plugins ACSL ACSL++
    Virgile Prevosto
    0.0.18~beta
    LGPL-2.1-only
    Used by 0 other packages
    23 Jun 2025