Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : get rdv_points in simix for comparison between two execution states
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jan 2012 12:32:16 +0000 (13:32 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jan 2012 12:32:16 +0000 (13:32 +0100)
commit2c764b8544a391637e6279e9ace148a602e8ed3d
treedc94e8689bbf5058169558f8a5ab3c2e22958d72
parent5e4e9f83ad19e0bae9c7fa0c779ce17ed4b3df4f
model-checker : get rdv_points in simix for comparison between two execution states
include/simix/simix.h
src/simix/smx_network.c