Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Bugfix: the dependence relation between isend/irecv and "wait timeout" is not symetrical.
[simgrid.git] / src / mc / mc_request.c
2011-01-26 cristianrosaBugfix: the dependence relation between isend/irecv...
2011-01-26 cristianrosaImprove independence detection and request pretty printing.
2011-01-26 cristianrosaImprove the show stack function. (Now it prints the...
2011-01-20 cristianrosaLet the model-checker decide if the wait transitions...
2011-01-20 cristianrosaCode refactor: move the functions associated to the...
2011-01-20 cristianrosaBugfix: do not compare comm actions to decide if they...
2011-01-20 cristianrosaTranslate the executed TestAny and WaitAny requests...
2011-01-20 cristianrosaBugfix: do not assume that request of different type...
2011-01-05 cristianrosaAdd suport for TestAny and WaitAny requests to the...
2010-12-16 cristianrosaImprove the debugging information
2010-12-02 thieryBiggest commit ever (SIMIX2): the user processes can...