Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : clang compliant
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Wed, 25 Feb 2015 18:00:14 +0000 (19:00 +0100)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Wed, 25 Feb 2015 18:00:14 +0000 (19:00 +0100)
commit73ca6a5bc359768f69ee1e7181ab19578c6e181e
treeb26ab968fd9e622ee288099a62ac4b850b4328a0
parent41d21b519898c399159b9e2030e43db5e53fe6ca
model-checker : clang compliant
src/mc/mc_comm_determinism.c