Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Move MSG_parallel_task_create() in msg_task.c.
[simgrid.git] / src / mc / mc_request.c
2012-06-21 Martin QuinsonCleanups in the --cfg options regarding model-checking
2012-06-20 suterMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-06-20 Marion Guthmullermodel-checker : cosmetics reindent
2012-06-20 suterSolve white space conflicts
2012-06-20 Martin Quinsonsed -i -e 's/\t/ /g' *.[ch] Please people, stop using...
2012-01-30 Marion Guthmullermodel-checker : merge conflict resolved
2012-01-30 Martin Quinsonadd proper copyright headers to the MC files
2012-01-30 Martin Quinsonmv src/mc/private.h src/mc/mc_private.h
2012-01-30 Marion Guthmullermodel-checker : fix compilation error
2012-01-30 Marion Guthmullermerge conflict resolved
2012-01-25 Christophe ThiérySIMIX refactoring: replace 'request' by a more precise...
2012-01-11 Marion Guthmullermerge conflicts resolved
2012-01-10 Arnaud GierschFix test, and remove duplicated checks.
2012-01-09 Martin QuinsonMerge branches 'MC_LTL' and 'MC_LTL' of scm.gforge...
2011-12-13 Marion GuthmullerMerge branch 'master' into MC_LTL
2011-12-07 Marion GuthmullerMerge branch 'master' into MC_LTL
2011-12-05 Marion GuthmullerMerge branch 'master' into MC_LTL
2011-11-30 Marion GuthmullerMerge branch 'master' into MC_LTL
2011-11-22 Marion Guthmullermerge conflicts
2011-10-25 Marion Guthmullermodel-checker : test dpor without replay from initial...
2011-10-20 Martin Quinsonmerge branches
2011-04-20 Christophe ThiéryMC: make the output independent of the type of processo...
2011-04-08 Pierre-Nicolas ClaussMerge branch 'master' of git+ssh://scm.gforge.inria...
2011-04-08 NavarropMerge commit '521daa8271ac2778d8b2944be25daae65d3540a1...
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...