Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
let's try to please windows
authorAugustin Degomme <augustin.degomme@imag.fr>
Tue, 2 Dec 2014 17:20:13 +0000 (18:20 +0100)
committerAugustin Degomme <augustin.degomme@imag.fr>
Tue, 2 Dec 2014 17:20:13 +0000 (18:20 +0100)
commit4184211ef3d1957a395a461e4ca480a7928e83a8
tree5dd48c6a8cee923ba12e7654cfbf86d39cffd362
parent63ba498484d4fcfc706be1e514d7fedbc6c9f4be
let's try to please windows
include/simgrid/modelchecker.h
src/mc/mc_base.c
src/mc/mc_base.h
src/mc/mc_global.c