Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : ignore some local variables from xbt/ex.c for stack comparison