Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix lua platform script
[simgrid.git] / src /
2013-01-08 Paul BédarideFix lua platform script
2013-01-08 Arnaud GierschFix build with tracing=OFF.
2013-01-08 Arnaud GierschAvoid to put smpi symbols in libsimgrid.
2013-01-07 Marion Guthmullermodel-checker : comment backtrace and add ignore mechan...
2013-01-03 Marion Guthmullermodel-checker : fix dichotomic search and insertion...
2013-01-03 Marion Guthmullermodel-checker : update list of visited states during...
2013-01-02 Marion Guthmullermodel-checker : use xbt_abort after exhaustive exploration
2013-01-02 Marion Guthmullermodel-checker : ignore some local variables from simix...
2013-01-02 Marion Guthmullermodel-checker : fix sorting of visited states and state...
2013-01-01 Marion Guthmullermodel-checker : sorting of visited states according...
2012-12-28 Martin QuinsonRevert "Kill the <backbone> tag"
2012-12-28 Martin QuinsonKill the <backbone> tag
2012-12-26 Marion Guthmullermodel-checker : don't ignore simcall result in system...
2012-12-24 Martin Quinsonremove the 'new_' part of function name sg_platf_new_tr...
2012-12-24 Martin Quinsonacknoledge that the default value is set in network...
2012-12-21 suterfirst try at replaying alltoall. Not tested yet
2012-12-21 sutermake it compile
2012-12-21 suterfactor verbose logging
2012-12-21 suterCosmetics
2012-12-21 Paul BédarideRevert "make MSG_comm_waitany use dynar"
2012-12-20 Arnaud LegrandAllow MSG one-side communications that rely on parallel...
2012-12-20 Marion Guthmullermodel-checker : fix MC_take_snapshot if malloc used...
2012-12-20 Marion Guthmullermodel-checker : fix dpor with state equality reduction
2012-12-20 Marion Guthmullermodel-checker : if frame name is empty, stop stack...
2012-12-20 Marion Guthmullermodel-checker : remove restriction of DPOR if several...
2012-12-20 Arnaud GierschUse "debug" log level here.
2012-12-20 Arnaud GierschSome symbols were renamed by last flexml update.
2012-12-20 Arnaud GierschUpdate with newer flexml.
2012-12-20 Paul Bédaridemake MSG_comm_waitany use dynar
2012-12-20 Martin Quinsonmake MSG_config public, document it, and implement...
2012-12-20 Paul BédarideMove module tracing into corresponding modules
2012-12-20 Martin Quinsonremove the create_resource entry point in resource...
2012-12-19 Martin Quinsonuse system malloc for the raw heap if GNU ld is used
2012-12-18 Martin QuinsonUse xbt_malloc (and friends) instead of direct malloc()
2012-12-18 Arnaud GierschLinker option is useless when '-c' is present.
2012-12-18 Arnaud GierschReally remove deleted file.
2012-12-18 suterThis prevent periodic availability/state traces to...
2012-12-18 Paul BédarideFix _sg_do_model_check use with model_check=OFF
2012-12-18 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-12-17 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-12-17 Paul BédarideRestructure config headers
2012-12-17 suterwhen the first event of a trace (availability or state...
2012-12-17 suterwhen the value of an event is a negative one, don't...
2012-12-17 suteradd more debugging info there. Nice to know what is...
2012-12-17 Paul BédarideFix model checker config issue
2012-12-17 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-12-17 Paul BédarideMove config from surf to simgrid
2012-12-16 Marion Guthmullermodel-checker : interleave all enabled processes for...
2012-12-16 Marion Guthmullermodel-checker : cosmectics
2012-12-16 Marion GuthmullerRemove comm from src_proc->comms and dst_proc->comms...
2012-12-16 Marion Guthmullerremove comm from rdv if comm destroyed before being...
2012-12-12 Augustin Degommechange the way we handle MPI_Request termination
2012-12-12 Arnaud GierschAnother missing include, needed with tracing=off.
2012-12-11 Arnaud GierschRemove/add a few includes.
2012-12-11 Arnaud GierschRevert "I'm so glad that this line is useless"
2012-12-11 Arnaud GierschRemove now unused support for remote exceptions.
2012-12-11 Arnaud GierschRename function (create->reset), and kill empty functio...
2012-12-11 Arnaud GierschUse a sinlock instead of a mutex for mallocators.
2012-12-11 Arnaud GierschFactorize code for mutex locks.
2012-12-11 Arnaud GierschProtect mallocators for concurrent acces only with...
2012-12-11 Martin Quinsonmake an error message informative
2012-12-11 Martin QuinsonI should stop coding at night -- sorry
2012-12-10 Marion Guthmullermodel-checker : forget one fix in MC_state_set_executed...
2012-12-10 Marion Guthmullermodel-checker : fix dpor algorithm if max depth reached
2012-12-10 Marion Guthmullermodel-checker : restore previous version of MC_state_se...
2012-12-10 Augustin Degommeadd a bunch of new fortran bindings, to make bigdft...
2012-12-10 Marion Guthmullermodel-checker : remove independance between iSend/iRecv...
2012-12-10 Marion Guthmullermodel-checker : one region in snapshot for data and...
2012-12-10 Martin Quinsondocument an ugly pimple in the code that were added...
2012-12-07 Martin QuinsonI'm so glad that this line is useless
2012-12-06 Augustin Degommehandle proper cleanup of mpi datatypes with MPI_Type_fr...
2012-12-06 Augustin Degommemallocators were not initialized and used since commit...
2012-12-06 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-12-06 Marion Guthmullermodel-checker : improve debug message if different...
2012-12-06 Marion Guthmullermodel-checker : ignore global variables corresponding...
2012-12-05 Martin Quinsonthese includes are useless
2012-12-05 Augustin Degommemodify the way we handle MPI_ANY_SOURCE, MPI_ANY_TAG...
2012-12-05 Augustin Degommemake valgrind happy with smpi by handling action destru...
2012-12-04 Marion Guthmullermodel-checker : ignore new variables
2012-12-04 Marion Guthmullermodel-checker : display instruction pointer if differen...
2012-12-04 Marion Guthmullermodel-checker : ignore simcall result in heap comparison
2012-12-04 Marion Guthmullermodel-checker : remove unused code
2012-12-04 Marion Guthmullermodel-checker : set raw heap for initialization step
2012-12-04 Marion Guthmullermodel-checker : get libsimgrid_path with MC_init_memory...
2012-12-04 bedarideDirty Fix to handle model checking with new simcalls
2012-12-03 Marion Guthmullermodel-checker : fix MC_state_set_executed_request
2012-12-03 shensheiFix debug message in simix
2012-12-03 Augustin Degommecomment a bit of code in sender_gap for smpi, which...
2012-12-03 Augustin Degommeremove sender's side data from mpi_send in the receiver...
2012-12-03 Augustin Degommehopefully remove leak in permanent receive mode
2012-12-03 Arnaud GierschRemove spurious semicolon.
2012-12-03 Arnaud GierschDefine inline functions in header file (again).
2012-12-03 Arnaud GierschRemove prototypes.
2012-12-03 Arnaud GierschDefine inline function in header file.
2012-12-03 Arnaud GierschPrint a message and exit if file was not found.
2012-12-02 Marion Guthmullermodel-checker : remove independance between iRecv and...
2012-12-02 Marion Guthmullermodel-checker : statistics printed twice if exhaustive...
2012-12-02 Marion Guthmullermodel-checker : get global variables with objdump and...
2012-12-02 Marion Guthmullermodel-checker : get segments start only in MC_init_memo...
2012-12-02 Marion Guthmullermodel-checker : text segment is read and exec only
next