2013-10-07 |
Arnaud Giersch | Value stored to 'total_dsize' is never read. |
tree | commitdiff |
2013-10-07 |
Arnaud Giersch | Verify that request is not NULL (plus reindent). |
tree | commitdiff |
2013-10-07 |
Arnaud Giersch | Rework test logic, and add one more case. |
tree | commitdiff |
2013-10-07 |
Augustin Degomme | fix compilation issue with windows timers |
tree | commitdiff |
2013-10-07 |
Augustin Degomme | fix compil error in some cases |
tree | commitdiff |
2013-10-07 |
suter | exception catching on host failure |
tree | commitdiff |
2013-10-07 |
suter | seems that get_data can return NULL, add guards |
tree | commitdiff |
2013-10-07 |
suter | reactivate expception raising on host failure |
tree | commitdiff |
2013-10-06 |
Marion Guthmuller | model-checker : fix memory leak in ddfs algorithm |
tree | commitdiff |
2013-10-06 |
Arnaud Giersch | Encode path so that it is not too long. |
tree | commitdiff |
2013-10-06 |
Arnaud Giersch | Need one more byte for the terminating \0. |
tree | commitdiff |
2013-10-06 |
suter | leak-- clean things at the MSG level when unlinking... |
tree | commitdiff |
2013-10-06 |
suter | should be sg_storage_size_t here too |
tree | commitdiff |
2013-10-06 |
Martin Quinson | add some comments to avoid that someone breaks the... |
tree | commitdiff |
2013-10-05 |
Marion Guthmuller | model-checker : cleanup |
tree | commitdiff |
2013-10-05 |
Marion Guthmuller | model-checker : fix memory leak |
tree | commitdiff |
2013-10-04 |
Arnaud Giersch | Handle inactive requests in test and wait. |
tree | commitdiff |
2013-10-04 |
Arnaud Giersch | Empty status when request is NULL. |
tree | commitdiff |
2013-10-04 |
Arnaud Giersch | Reset requests to MPI_REQUEST_NULL. |
tree | commitdiff |
2013-10-04 |
Arnaud Giersch | Fix the fix of commit 6d12558bf98bb09f8fc8c45527d740bf9... |
tree | commitdiff |
2013-10-04 |
Arnaud Giersch | Remove XBT_INLINE here, some compilers don't like it. |
tree | commitdiff |
2013-10-04 |
Arnaud Giersch | Raise log level for this message. |
tree | commitdiff |
2013-10-04 |
Arnaud Giersch | Empty status in any case (plus slight reindent). |
tree | commitdiff |
2013-10-04 |
Arnaud Giersch | Enforce type for other MPI NULL constants. |
tree | commitdiff |
2013-10-04 |
Arnaud Giersch | Enforce type for MPI_REQUEST_NULL, and fix mistakes. |
tree | commitdiff |
2013-10-04 |
Marion Guthmuller | model-checker : ignore information about simix_global... |
tree | commitdiff |
2013-10-04 |
Marion Guthmuller | model-checker : ignore information about simix_global |
tree | commitdiff |
2013-10-04 |
Marion Guthmuller | model-checker : set comm to NULL before creating them... |
tree | commitdiff |
2013-10-04 |
Marion Guthmuller | model-checker : copy/paste error |
tree | commitdiff |
2013-10-04 |
Marion Guthmuller | model-checker : fix detection of pointers on a fragment... |
tree | commitdiff |
2013-10-04 |
Marion Guthmuller | model-checker : ignore process_to_run and process_that_... |
tree | commitdiff |
2013-10-04 |
Marion Guthmuller | model-checker : dangling pointer set to NULL |
tree | commitdiff |
2013-10-04 |
Marion Guthmuller | model-checker : set SMPI request to NULL before creatin... |
tree | commitdiff |
2013-10-04 |
Marion Guthmuller | model-checker : improve ignore mechanism for complete... |
tree | commitdiff |
2013-10-04 |
Marion Guthmuller | model-checker : restore sequential system state compari... |
tree | commitdiff |
2013-10-04 |
Marion Guthmuller | model-checker : fix sort of acceptance pairs |
tree | commitdiff |
2013-10-04 |
Marion Guthmuller | model-checker : add debug message |
tree | commitdiff |
2013-10-04 |
Marion Guthmuller | model-checker : ignore some information for system... |
tree | commitdiff |
2013-10-04 |
Marion Guthmuller | init request real_src |
tree | commitdiff |
2013-10-04 |
Marion Guthmuller | model-checker : detect pointers on a part of a fragment |
tree | commitdiff |
2013-10-04 |
Marion Guthmuller | model-checker : automaton state comparison removed... |
tree | commitdiff |
2013-10-03 |
Arnaud Giersch | Kill some memory leaks. |
tree | commitdiff |
2013-10-03 |
Arnaud Giersch | Typo: contexte -> context. |
tree | commitdiff |
2013-10-02 |
Augustin Degomme | parameter order was not changed in java bindings |
tree | commitdiff |
2013-10-02 |
Pierre Veyre | Change parameters order for msg_file_read, msg_file_wri... |
tree | commitdiff |
2013-10-02 |
Arnaud Giersch | Even printf does not follow the standard on Windows. |
tree | commitdiff |
2013-10-01 |
Arnaud Giersch | Fix format specifiers for sg_storage_size_t. |
tree | commitdiff |
2013-10-01 |
Arnaud Giersch | Small fixes in type names. |
tree | commitdiff |
2013-10-01 |
Arnaud Giersch | Use homogeneous dicts which are more efficient. |
tree | commitdiff |
2013-10-01 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2013-10-01 |
Pierre Veyre | Introduce sg_storage_size_t type |
tree | commitdiff |
2013-10-01 |
Pierre Veyre | Fix the storage content update after a write action... |
tree | commitdiff |
2013-10-01 |
Arnaud Giersch | Try to exit in a more valgrind friendly manner when... |
tree | commitdiff |
2013-10-01 |
Arnaud Giersch | Guard against jedule being null. |
tree | commitdiff |
2013-10-01 |
Arnaud Giersch | Centralize declaration for _sg_init_status (renamed... |
tree | commitdiff |
2013-10-01 |
Arnaud Giersch | Remove "default" factory. The real default is chosen... |
tree | commitdiff |
2013-10-01 |
Arnaud Giersch | Further improve help message. |
tree | commitdiff |
2013-10-01 |
Arnaud Giersch | Improve help message about available context factories. |
tree | commitdiff |
2013-10-01 |
Arnaud Giersch | Fix default context factory. |
tree | commitdiff |
2013-10-01 |
Marion Guthmuller | model-checker : fix memory leak |
tree | commitdiff |
2013-10-01 |
Marion Guthmuller | model-checker : fix removal of a visited pair in livene... |
tree | commitdiff |
2013-10-01 |
Marion Guthmuller | model-checker : parallel system state comparison for... |
tree | commitdiff |
2013-10-01 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2013-09-30 |
Arnaud Giersch | Initialize arrays at declaration, and remove use of... |
tree | commitdiff |
2013-09-30 |
Augustin Degomme | as win does not support ucontexts, use raw as the defau... |
tree | commitdiff |
2013-09-30 |
Pierre Veyre | Clean up MSG_host_get_storage_content |
tree | commitdiff |
2013-09-29 |
Marion Guthmuller | model-checker : fix detection of dangling pointers... |
tree | commitdiff |
2013-09-29 |
Marion Guthmuller | model-checker : update system state comparison |
tree | commitdiff |
2013-09-28 |
Martin Quinson | Merge pull request #2 from cemsbr/master |
tree | commitdiff |
2013-09-28 |
Pierre Veyre | Prepare test suite for msg-storage "ctest -R msg-storage" |
tree | commitdiff |
2013-09-27 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2013-09-26 |
Pierre Veyre | Change MSG_host_get_storage_list function + update... |
tree | commitdiff |
2013-09-26 |
Arnaud Giersch | Determine assembly flavor at a single place. |
tree | commitdiff |
2013-09-26 |
Arnaud Giersch | Setting the stack size works for threads too, since... |
tree | commitdiff |
2013-09-26 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2013-09-26 |
Pierre Veyre | Fix MSG_storage_get_content function |
tree | commitdiff |
2013-09-25 |
Arnaud Giersch | Quick fix of doxygen comments. |
tree | commitdiff |
2013-09-25 |
Arnaud Giersch | Remove now unused parameter "default_value" for xbt_cfg... |
tree | commitdiff |
2013-09-25 |
Arnaud Giersch | Dig through git history, and update copyright lines. |
tree | commitdiff |
2013-09-25 |
suter | mimic host behavior, works better this way |
tree | commitdiff |
2013-09-25 |
suter | prevent using garbage in data field |
tree | commitdiff |
2013-09-25 |
suter | move things to a righter place |
tree | commitdiff |
2013-09-25 |
Marion Guthmuller | model-checker : init var |
tree | commitdiff |
2013-09-25 |
Pierre Veyre | Uncomment code to avoid warning |
tree | commitdiff |
2013-09-25 |
Pierre Veyre | add msg_storage_priv_t creation |
tree | commitdiff |
2013-09-25 |
suter | here was the leak ... |
tree | commitdiff |
2013-09-25 |
suter | some corrections while chasing leaks |
tree | commitdiff |
2013-09-25 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2013-09-25 |
Pierre Veyre | MSG_storage API improvements (or not) |
tree | commitdiff |
2013-09-25 |
Arnaud Giersch | Remove useless lines. |
tree | commitdiff |
2013-09-25 |
Arnaud Giersch | Avoid to leave stale temporary files. |
tree | commitdiff |
2013-09-24 |
Augustin Degomme | double definition makes windows unhappy |
tree | commitdiff |
2013-09-24 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2013-09-24 |
Marion Guthmuller | model-checker : fix system state comparison (I hate... |
tree | commitdiff |
2013-09-24 |
Augustin Degomme | one more leak |
tree | commitdiff |
2013-09-24 |
Augustin Degomme | windows doesn't provide/need this call |
tree | commitdiff |
2013-09-24 |
Augustin Degomme | first attempt to fix win build |
tree | commitdiff |
2013-09-24 |
Augustin Degomme | few more leaks |
tree | commitdiff |
2013-09-24 |
Augustin Degomme | more leaks |
tree | commitdiff |
2013-09-24 |
Augustin Degomme | smpi leak -- |
tree | commitdiff |
next |