Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Fetch simix_process_maxpid from MCed
[simgrid.git] / src / mc / mc_state.c
2015-03-12 Gabriel Corona[mc] Fetch simix_process_maxpid from MCed
2015-03-12 Gabriel Corona[mc] Simplify nesting of MC_state_get_request
2015-03-10 Gabriel CoronaMerge branch 'master' into mc-process
2015-03-09 Gabriel Corona[mc] Read host name from remote process
2015-03-06 Gabriel Corona[mc] Cross-process access to smx_process and simcall
2015-02-24 Marion Guthmullermodel-checker : non-progressive cycle detection (enable...
2015-02-18 Arnaud LegrandMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-02-12 Gabriel CoronaMerge master into mc-process
2015-02-09 Marion Guthmullermodel-checker : intermediate backtracking with model...
2015-02-09 Marion Guthmullermodel-checker : communications determinism with visited...
2014-12-08 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-12-04 Gabriel CoronaMerge branch 'master'
2014-12-04 Gabriel Corona[mc] Remove useless header #includes
2014-11-28 Adrien Lebremerge msg_vm.c - adrien (please note that there is...
2014-11-02 Martin Quinsonrename smx_action_t to smx_synchro_t
2014-06-27 Gabriel CoronaMerge branch 'mc'
2014-05-30 Marion Guthmullermodel-checker : cleanups, refactoring and apply indent...
2014-04-22 Stéphane CastelliMerge branch 'smpi-topo'
2014-03-21 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-03-21 Gabriel CoronaMerge branch 'mc++'
2014-03-06 Gabriel CoronaMerge branch 'mc' into mc++
2014-02-28 Gabriel CoronaMerge branch 'mc++' into mc-merge
2014-02-25 Gabriel CoronaMerge branch 'mc' into mc++
2014-02-25 Gabriel CoronaMerge bugfix from branch mc-refactor
2014-02-25 Gabriel CoronaMerge branches 'mc'
2014-02-24 Gabriel CoronaMerge 'master' into mc
2014-02-24 Gabriel CoronaMerge branch 'mc-perf' into mc
2014-02-18 Marion Guthmullermodel-checker : conflit
2014-02-18 Marion Guthmullermodel-checker : try to fix the model-checker in case...
2014-02-05 Arnaud GierschAdd/update copyright notices.
2013-11-08 Paul BédarideMerge branch 'hypervisor' of git+ssh://scm.gforge.inria...
2013-11-08 Paul BédarideMerge tag 'v3_9_90' into hypervisor
2013-10-30 Paul BédarideMerge commit '045db1657e870c721be490b411868f4181a12ced...
2013-09-26 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-09-25 Arnaud GierschDig through git history, and update copyright lines.
2013-08-14 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-08-10 Marion Guthmullermodel-checker : add min and max values for MC_RANDOM...
2013-04-10 Takahiro HirofuchiMerge branch 'hypervisor' of scm.gforge.inria.fr:/gitro...
2013-04-02 alebreMerge branch 'master' into hypervisor
2013-03-19 Marion Guthmullermodel-checker : cleanups
2013-03-16 Marion Guthmullermodel-checker : new model-checker configuration model...
2013-03-16 Marion Guthmullermodel-checker : fix MC_RANDOM simcall
2013-03-16 Marion Guthmullermodel-checker : new simcall MC_RANDOM
2013-01-30 Arnaud GierschIncorporate simgrid-java in simgrid-java/.
2013-01-17 Arnaud GierschMerge branch 'master' into vmtrace
2013-01-16 Jonathan Rouzaud... Merge with master
2013-01-11 Marion Guthmullermodel-checker : free memory
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-27 Jonathan Rouzaud... update
2012-11-27 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
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...