clangml-transforms

Notoriété 16 %

Cette bibliothèque est un dépôt de code source contenant des transformations d'arbres abstraits de Clang en arbres abstraits de MemCAD. Il s'agit d'une dépendance de l'analyseur abstrait MemCAD pour l'analyse de forme.

Dépôt de code

https://github.com/Antique-team/clangml-transforms (nouvelle fenêtre)5 étoiles

Cas d'utilisation métiers

Fournit une dépendance pour l'analyseur abstrait MemCAD pour l'analyse de forme : rechercher des initiatives proches
Transforme les arbres abstraits de Clang en arbres abstraits de MemCAD : rechercher des initiatives proches

Organisation

Administration centrale
- Gouvernement (Premier ministre et ministères)
  - Ministère de l’Économie, des Finances et de la Souveraineté industrielle, énergétique et numérique
    - Organismes rattachés - Ministère chargé de l'Économie et des Finances et de la Souveraineté industrielle et énergétique
      - Institut national de recherche en informatique et en automatique
        Centre de recherche INRIA - Paris (organisation rattachée)

Description générée le lundi 18 mars 2024 à 21:09:51

D'autres initiatives de la même organisation

clangml
github.com/Antique-team/clangml
memcad
github.com/Antique-team/memcad