Langage Exo : Guide d'installation, de développement et de test

Exo est un langage de programmation prenant en charge Python 3.9 et versions supérieures. L'installation est simple via pip. Les fichiers Exo s'exécutent directement avec Python, et les fichiers C/d'en-tête sont générés à l'aide de la commande exocc. Le développement nécessite la configuration d'un environnement virtuel et l'installation des dépendances, notamment PySMT et CMake. Les tests nécessitent z3-solver (ou un autre solveur) et CMake 3.21 ou version ultérieure. Les tests couvrent divers scénarios et prennent en charge les tests de couverture de code. Plus d'informations et d'exemples sont disponibles dans le dépôt du projet.