Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Bugfix: fix memory leak related to transition creation/destruction. Instead of using...
[simgrid.git] / src / mc / mc_global.c
2010-05-12 cristianrosaBugfix: fix memory leak related to transition creation...
2010-05-11 cristianrosaAdd int MC_random(int min, int max) function that will...
2010-05-05 mquinsonAdd the model-checker to the build tree. It's not used yet