| 2013-01-16 |
Jonathan Rouzaud... | Trying to fix modification with new master branch |
tree | commitdiff |
| 2013-01-16 |
Jonathan Rouzaud... | Trying to fix modification with new master branch |
tree | commitdiff |
| 2013-01-16 |
Jonathan Rouzaud... | Trying to fix modification with new master branch |
tree | commitdiff |
| 2013-01-16 |
Jonathan Rouzaud... | Trying to fix modification with new master branch |
tree | commitdiff |
| 2013-01-16 |
Jonathan Rouzaud... | Merge with master |
tree | commitdiff |
| 2013-01-16 |
Marion Guthmuller | model-checker : apply independance reduction at each... |
tree | commitdiff |
| 2013-01-16 |
Marion Guthmuller | model-checker : minor fix in dpor algorithm |
tree | commitdiff |
| 2013-01-16 |
Augustin Degomme | change verbosity of some messages |
tree | commitdiff |
| 2013-01-16 |
Augustin Degomme | add smpi/os and smpi/or parameters to handle timings... |
tree | commitdiff |
| 2013-01-16 |
Augustin Degomme | use temp file for fortran instead of fixed name, which... |
tree | commitdiff |
| 2013-01-14 |
suter | bug fix: If the last released dependency is a control... |
tree | commitdiff |
| 2013-01-14 |
suter | number of unsatisfied dependencies can be negative... |
tree | commitdiff |
| 2013-01-14 |
Marion Guthmuller | model-checker : use a global timer for snapshot compari... |
tree | commitdiff |
| 2013-01-14 |
Marion Guthmuller | model-checker : add nb_processes in snapshot |
tree | commitdiff |
| 2013-01-11 |
Marion Guthmuller | model-checker : free memory |
tree | commitdiff |
| 2013-01-11 |
Marion Guthmuller | model-checker : add chunks used into snapshot structure... |
tree | commitdiff |
| 2013-01-11 |
Marion Guthmuller | model-checker : free memory |
tree | commitdiff |
| 2013-01-10 |
Marion Guthmuller | model-checker : fix memory free |
tree | commitdiff |
| 2013-01-10 |
Marion Guthmuller | model-checker : free memory for stacks comparison |
tree | commitdiff |
| 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 |
| next |
