| 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 |
| 2012-12-02 |
Marion Guthmuller | model-checker : statistics printed twice if exhaustive... |
tree | commitdiff |
| 2012-12-02 |
Marion Guthmuller | model-checker : get global variables with objdump and... |
tree | commitdiff |
| 2012-12-02 |
Marion Guthmuller | model-checker : get segments start only in MC_init_memo... |
tree | commitdiff |
| 2012-12-02 |
Marion Guthmuller | model-checker : text segment is read and exec only |
tree | commitdiff |
| 2012-12-02 |
Marion Guthmuller | model-checker : cleanups in comments |
tree | commitdiff |
| 2012-12-02 |
Marion Guthmuller | model-checker : get .got.plt sections |
tree | commitdiff |
| 2012-11-30 |
suter | typos |
tree | commitdiff |
| 2012-11-30 |
Augustin Degomme | have the smpif90 file replace the main program clause... |
tree | commitdiff |
| 2012-11-30 |
Augustin Degomme | fix a memory leak happening with smpi_replay |
tree | commitdiff |
| 2012-11-30 |
Augustin Degomme | add support of smpif90 file |
tree | commitdiff |
| 2012-11-30 |
Augustin Degomme | add yet another stunt with smpi_simulated_main to provi... |
tree | commitdiff |
| 2012-11-30 |
Augustin Degomme | replace smpi_simulated main by smpi_simulated_main__... |
tree | commitdiff |
| 2012-11-30 |
Augustin Degomme | add two functions to fortran bindings, needed by specfem |
tree | commitdiff |
| 2012-11-30 |
shenshei | Merge ../simgrid |
tree | commitdiff |
| 2012-11-30 |
shenshei | New simcalls work |
tree | commitdiff |
| 2012-11-29 |
suter | printing the final simulation time also has to be done... |
tree | commitdiff |
| 2012-11-29 |
suter | assuming that rank 0 is the last to finish is a bad... |
tree | commitdiff |
| 2012-11-29 |
suter | clean stuff even when the scheduled is not good |
tree | commitdiff |
| 2012-11-28 |
shenshei | Change simcall functions |
tree | commitdiff |
| 2012-11-28 |
paul bedaride | Add macros to generate simcalls code |
tree | commitdiff |
| 2012-11-28 |
Cristian Rosa | Make SimGrid compile again :) |
tree | commitdiff |
| 2012-11-28 |
Cristian Rosa | WIP on simcalls: fd8c267 Stop making direct calls to... |
tree | commitdiff |
| 2012-11-28 |
Cristian Rosa | Stop making direct calls to SIMIX for host handling... |
tree | commitdiff |
| 2012-11-28 |
Cristian Rosa | Kill unused macro. |
tree | commitdiff |
| 2012-11-28 |
Cristian Rosa | Move Hosts related simcalls to the new API. |
tree | commitdiff |
| next |
