Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix lua platform script
[simgrid.git] / src / mc / mc_state.c
2012-12-10 Marion Guthmullermodel-checker : forget one fix in MC_state_set_executed...
2012-12-10 Marion Guthmullermodel-checker : restore previous version of MC_state_se...
2012-12-03 Marion Guthmullermodel-checker : fix MC_state_set_executed_request
2012-11-30 shensheiMerge ../simgrid
2012-11-30 shensheiNew simcalls work
2012-11-16 Marion Guthmullermodel-checker : fix dpor algorithm
2012-06-21 jean-noel quintinMerge remote-tracking branch 'origin/master'
2012-06-21 Marion Guthmullermodel-checker : factorization of code for model-checkin...
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-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 GuthmullerMC LTL : add statistics
2011-10-25 Marion Guthmullermodel-check : dump stack for acceptance cycle
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...