Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add FindNS3 module to cmake.
[simgrid.git] / src / mc / mc_state.c
2011-01-26 cristianrosaBugfix: return testany requests' result when they succe...
2011-01-26 cristianrosaImprove independence detection and request pretty printing.
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: correctly set the process to MC_DONE once the...
2011-01-20 cristianrosaBugfix: every state should also save a copy of the...
2011-01-20 cristianrosaTranslate the executed TestAny and WaitAny requests...
2011-01-05 cristianrosaAdd suport for TestAny and WaitAny requests to the...
2011-01-05 cristianrosaRework state's implementation to better support waitany...
2011-01-05 cristianrosaReplace the setsets in the MC's states by malloced...
2010-12-08 cristianrosaCompile fix: smx_process_t->request is a s_smx_req_t...
2010-12-02 thieryBiggest commit ever (SIMIX2): the user processes can...