Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' into MC_LTL
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 5 Dec 2011 10:16:17 +0000 (11:16 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 5 Dec 2011 10:16:17 +0000 (11:16 +0100)
commit4a18fb7c6c81b1f58a9f8111fcf0ade106c4746b
treef2a8b9b6e40eda6a83e0731bb3392ef41d106993
parent1f834c56a869248347fa4dd12a41ded689989935
parent2bd57440169fc34d5eabaddcec33de236dc367a4
Merge branch 'master' into MC_LTL
src/include/mc/mc.h
src/mc/private.h