Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: perform actual model-checking in tesh tests
[simgrid.git] / src / mc / mc_request.c
2011-04-07 Christophe ThiéryMC: perform actual model-checking in tesh tests
2011-03-24 agierschReplace, when possible, calls to bprintf() by calls...
2011-03-21 thieryFix a comparison between different enums
2011-02-15 cristianrosaIf --cfg=model-check:2 was passed, use a DFS exploration.
2011-02-04 schnorrmodel-check output more parsable
2011-01-26 cristianrosaBugfix: return testany requests' result when they succe...
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...