Verrou est un outil conçu pour identifier et corriger les erreurs de calcul liées à l'arithmétique flottante dans les simulations industrielles. Il utilise l'Arithmétique en Arrondi Aléatoire pour instrumenter les codes sans recompilation, permettant ainsi de quantifier et localiser les imprécisions numériques. Il facilite le débogage des calculs critiques en offrant une analyse détaillée des opérations flottantes.

Ce projet fournit des outils et du code pour simuler des dispositifs optiques dans l'environnement pyRingSimulator, basé sur la bibliothèque pyAT. Il facilite l'intégration et la gestion de composants optiques dans des simulations de systèmes optiques complexes, notamment pour des applications en photonique ou en instrumentation scientifique.

Bibliothèque simple et utilitaires pour générer des traces d'exécution de fonctions. Permet de compiler du code avec l'option -finstrument-functions pour tracer l'exécution des fonctions et générer une trace binaire qui peut être décodée et affichée grâce aux utilitaires fournis.