pi-jev : Couche de décision TypeSafe Jev pour l'agent de codage Pi
Une extension de l'agent de codage Pi qui utilise TypeSafe Jev pour contrôler les appels d'outils et juger les sorties. Comprend une porte d'appel d'outils en mode shadow/enforce, la détection des fuites/échecs de sortie et un outil jev_ask pour des réponses typées. Les résultats de calibration sont documentés.
14091MIT


