2013-01-10 |
Marion Guthmuller | model-checker : disable use of system malloc for raw_heap |
tree | commitdiff |
2013-01-10 |
Marion Guthmuller | model-checker : some cleanup in mmalloc_compare_heap... |
tree | commitdiff |
2013-01-10 |
Arnaud Giersch | Free the TRACE_{start,end}_functions dynars when they... |
tree | commitdiff |
2013-01-08 |
Paul Bédaride | Fix lua deploy |
tree | commitdiff |
2013-01-08 |
Paul Bédaride | Fix lua platform script |
tree | commitdiff |
2013-01-08 |
Arnaud Giersch | Fix build with tracing=OFF. |
tree | commitdiff |
2013-01-08 |
Arnaud Giersch | Avoid to put smpi symbols in libsimgrid. |
tree | commitdiff |
2013-01-07 |
Marion Guthmuller | model-checker : comment backtrace and add ignore mechan... |
tree | commitdiff |
2013-01-03 |
Marion Guthmuller | model-checker : fix dichotomic search and insertion... |
tree | commitdiff |
2013-01-03 |
Marion Guthmuller | model-checker : update list of visited states during... |
tree | commitdiff |
2013-01-02 |
Marion Guthmuller | model-checker : use xbt_abort after exhaustive exploration |
tree | commitdiff |
2013-01-02 |
Marion Guthmuller | model-checker : ignore some local variables from simix... |
tree | commitdiff |
2013-01-02 |
Marion Guthmuller | model-checker : fix sorting of visited states and state... |
tree | commitdiff |
2013-01-01 |
Marion Guthmuller | model-checker : sorting of visited states according... |
tree | commitdiff |
2012-12-28 |
Martin Quinson | Revert "Kill the <backbone> tag" |
tree | commitdiff |
2012-12-28 |
Martin Quinson | Kill the <backbone> tag |
tree | commitdiff |
2012-12-26 |
Marion Guthmuller | model-checker : don't ignore simcall result in system... |
tree | commitdiff |
2012-12-24 |
Martin Quinson | remove the 'new_' part of function name sg_platf_new_tr... |
tree | commitdiff |
2012-12-24 |
Martin Quinson | acknoledge that the default value is set in network... |
tree | commitdiff |
2012-12-21 |
suter | first try at replaying alltoall. Not tested yet |
tree | commitdiff |
2012-12-21 |
suter | make it compile |
tree | commitdiff |
2012-12-21 |
suter | factor verbose logging |
tree | commitdiff |
2012-12-21 |
suter | Cosmetics |
tree | commitdiff |
2012-12-21 |
Paul Bédaride | Revert "make MSG_comm_waitany use dynar" |
tree | commitdiff |
2012-12-20 |
Arnaud Legrand | Allow MSG one-side communications that rely on parallel... |
tree | commitdiff |
2012-12-20 |
Marion Guthmuller | model-checker : fix MC_take_snapshot if malloc used... |
tree | commitdiff |
2012-12-20 |
Marion Guthmuller | model-checker : fix dpor with state equality reduction |
tree | commitdiff |
2012-12-20 |
Marion Guthmuller | model-checker : if frame name is empty, stop stack... |
tree | commitdiff |
2012-12-20 |
Marion Guthmuller | model-checker : remove restriction of DPOR if several... |
tree | commitdiff |
2012-12-20 |
Arnaud Giersch | Use "debug" log level here. |
tree | commitdiff |
2012-12-20 |
Arnaud Giersch | Some symbols were renamed by last flexml update. |
tree | commitdiff |
2012-12-20 |
Arnaud Giersch | Update with newer flexml. |
tree | commitdiff |
2012-12-20 |
Paul Bédaride | make MSG_comm_waitany use dynar |
tree | commitdiff |
2012-12-20 |
Martin Quinson | make MSG_config public, document it, and implement... |
tree | commitdiff |
2012-12-20 |
Paul Bédaride | Move module tracing into corresponding modules |
tree | commitdiff |
2012-12-20 |
Martin Quinson | remove the create_resource entry point in resource... |
tree | commitdiff |
2012-12-19 |
Martin Quinson | use system malloc for the raw heap if GNU ld is used |
tree | commitdiff |
2012-12-18 |
Martin Quinson | Use xbt_malloc (and friends) instead of direct malloc() |
tree | commitdiff |
2012-12-18 |
Arnaud Giersch | Linker option is useless when '-c' is present. |
tree | commitdiff |
2012-12-18 |
Arnaud Giersch | Really remove deleted file. |
tree | commitdiff |
2012-12-18 |
suter | This prevent periodic availability/state traces to... |
tree | commitdiff |
2012-12-18 |
Paul Bédaride | Fix _sg_do_model_check use with model_check=OFF |
tree | commitdiff |
2012-12-18 |
Paul Bédaride | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-12-17 |
Paul Bédaride | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-12-17 |
Paul Bédaride | Restructure config headers |
tree | commitdiff |
2012-12-17 |
suter | when the first event of a trace (availability or state... |
tree | commitdiff |
2012-12-17 |
suter | when the value of an event is a negative one, don't... |
tree | commitdiff |
2012-12-17 |
suter | add more debugging info there. Nice to know what is... |
tree | commitdiff |
2012-12-17 |
Paul Bédaride | Fix model checker config issue |
tree | commitdiff |
2012-12-17 |
Paul Bédaride | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-12-17 |
Paul Bédaride | Move config from surf to simgrid |
tree | commitdiff |
2012-12-16 |
Marion Guthmuller | model-checker : interleave all enabled processes for... |
tree | commitdiff |
2012-12-16 |
Marion Guthmuller | model-checker : cosmectics |
tree | commitdiff |
2012-12-16 |
Marion Guthmuller | Remove comm from src_proc->comms and dst_proc->comms... |
tree | commitdiff |
2012-12-16 |
Marion Guthmuller | remove comm from rdv if comm destroyed before being... |
tree | commitdiff |
2012-12-12 |
Augustin Degomme | change the way we handle MPI_Request termination |
tree | commitdiff |
2012-12-12 |
Arnaud Giersch | Another missing include, needed with tracing=off. |
tree | commitdiff |
2012-12-11 |
Arnaud Giersch | Remove/add a few includes. |
tree | commitdiff |
2012-12-11 |
Arnaud Giersch | Revert "I'm so glad that this line is useless" |
tree | commitdiff |
2012-12-11 |
Arnaud Giersch | Remove now unused support for remote exceptions. |
tree | commitdiff |
2012-12-11 |
Arnaud Giersch | Rename function (create->reset), and kill empty functio... |
tree | commitdiff |
2012-12-11 |
Arnaud Giersch | Use a sinlock instead of a mutex for mallocators. |
tree | commitdiff |
2012-12-11 |
Arnaud Giersch | Factorize code for mutex locks. |
tree | commitdiff |
2012-12-11 |
Arnaud Giersch | Protect mallocators for concurrent acces only with... |
tree | commitdiff |
2012-12-11 |
Martin Quinson | make an error message informative |
tree | commitdiff |
2012-12-11 |
Martin Quinson | I should stop coding at night -- sorry |
tree | commitdiff |
2012-12-10 |
Marion Guthmuller | model-checker : forget one fix in MC_state_set_executed... |
tree | commitdiff |
2012-12-10 |
Marion Guthmuller | model-checker : fix dpor algorithm if max depth reached |
tree | commitdiff |
2012-12-10 |
Marion Guthmuller | model-checker : restore previous version of MC_state_se... |
tree | commitdiff |
2012-12-10 |
Augustin Degomme | add a bunch of new fortran bindings, to make bigdft... |
tree | commitdiff |
2012-12-10 |
Marion Guthmuller | model-checker : remove independance between iSend/iRecv... |
tree | commitdiff |
2012-12-10 |
Marion Guthmuller | model-checker : one region in snapshot for data and... |
tree | commitdiff |
2012-12-10 |
Martin Quinson | document an ugly pimple in the code that were added... |
tree | commitdiff |
2012-12-07 |
Martin Quinson | I'm so glad that this line is useless |
tree | commitdiff |
2012-12-06 |
Augustin Degomme | handle proper cleanup of mpi datatypes with MPI_Type_fr... |
tree | commitdiff |
2012-12-06 |
Augustin Degomme | mallocators were not initialized and used since commit... |
tree | commitdiff |
2012-12-06 |
Paul Bédaride | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-12-06 |
Marion Guthmuller | model-checker : improve debug message if different... |
tree | commitdiff |
2012-12-06 |
Marion Guthmuller | model-checker : ignore global variables corresponding... |
tree | commitdiff |
2012-12-05 |
Martin Quinson | these includes are useless |
tree | commitdiff |
2012-12-05 |
Augustin Degomme | modify the way we handle MPI_ANY_SOURCE, MPI_ANY_TAG... |
tree | commitdiff |
2012-12-05 |
Augustin Degomme | make valgrind happy with smpi by handling action destru... |
tree | commitdiff |
2012-12-04 |
Marion Guthmuller | model-checker : ignore new variables |
tree | commitdiff |
2012-12-04 |
Marion Guthmuller | model-checker : display instruction pointer if differen... |
tree | commitdiff |
2012-12-04 |
Marion Guthmuller | model-checker : ignore simcall result in heap comparison |
tree | commitdiff |
2012-12-04 |
Marion Guthmuller | model-checker : remove unused code |
tree | commitdiff |
2012-12-04 |
Marion Guthmuller | model-checker : set raw heap for initialization step |
tree | commitdiff |
2012-12-04 |
Marion Guthmuller | model-checker : get libsimgrid_path with MC_init_memory... |
tree | commitdiff |
2012-12-04 |
bedaride | Dirty Fix to handle model checking with new simcalls |
tree | commitdiff |
2012-12-03 |
Marion Guthmuller | model-checker : fix MC_state_set_executed_request |
tree | commitdiff |
2012-12-03 |
shenshei | Fix debug message in simix |
tree | commitdiff |
2012-12-03 |
Augustin Degomme | comment a bit of code in sender_gap for smpi, which... |
tree | commitdiff |
2012-12-03 |
Augustin Degomme | remove sender's side data from mpi_send in the receiver... |
tree | commitdiff |
2012-12-03 |
Augustin Degomme | hopefully remove leak in permanent receive mode |
tree | commitdiff |
2012-12-03 |
Arnaud Giersch | Remove spurious semicolon. |
tree | commitdiff |
2012-12-03 |
Arnaud Giersch | Define inline functions in header file (again). |
tree | commitdiff |
2012-12-03 |
Arnaud Giersch | Remove prototypes. |
tree | commitdiff |
2012-12-03 |
Arnaud Giersch | Define inline function in header file. |
tree | commitdiff |
2012-12-03 |
Arnaud Giersch | Print a message and exit if file was not found. |
tree | commitdiff |
2012-12-02 |
Marion Guthmuller | model-checker : remove independance between iRecv and... |
tree | commitdiff |
next |