Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'mc-fastsnapshot' into mc
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 27 Jun 2014 08:20:15 +0000 (10:20 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 27 Jun 2014 08:20:15 +0000 (10:20 +0200)
commit251bbe5068a2a7b23a23a4df11fc1b785dce6ff4
tree2fd12f43958b347904018c52d78350dd5f005e04
parent75840f2cdbae984b040060e55903f069a225e9f0
parent76fcd6c75256746e4292484155108ab63f364ab5
Merge branch 'mc-fastsnapshot' into mc

Conflicts:
src/mc/mc_visited.c
src/mc/mc_global.c
src/mc/mc_private.h
src/mc/mc_visited.c