2013-10-06 |
suter | should be sg_storage_size_t here too |
commit | commitdiff | tree | snapshot |
2013-10-06 |
Martin Quinson | cosmetics in an error message |
commit | commitdiff | tree | snapshot |
2013-10-06 |
Martin Quinson | add some comments to avoid that someone breaks the... |
commit | commitdiff | tree | snapshot |
2013-10-05 |
Marion Guthmuller | model-checker : cleanup |
commit | commitdiff | tree | snapshot |
2013-10-05 |
Marion Guthmuller | model-checker : fix memory leak |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Arnaud Giersch | Handle inactive requests in test and wait. |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Arnaud Giersch | Empty status when request is NULL. |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Arnaud Giersch | Reset requests to MPI_REQUEST_NULL. |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Arnaud Giersch | Fix the fix of commit 6d12558bf98bb09f8fc8c45527d740bf9... |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Arnaud Giersch | Remove XBT_INLINE here, some compilers don't like it. |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Arnaud Giersch | Raise log level for this message. |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Arnaud Giersch | Empty status in any case (plus slight reindent). |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Arnaud Giersch | Enforce type for other MPI NULL constants. |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Arnaud Giersch | Enforce type for MPI_REQUEST_NULL, and fix mistakes. |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Augustin Degomme | new attempt |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Marion Guthmuller | model-checker : ignore information about simix_global... |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Marion Guthmuller | model-checker : update tesh files |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Marion Guthmuller | model-checker : ignore information about simix_global |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Marion Guthmuller | model-checker : set comm to NULL before creating them... |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Marion Guthmuller | model-checker : copy/paste error |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Marion Guthmuller | model-checker : fix detection of pointers on a fragment... |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Marion Guthmuller | model-checker : ignore process_to_run and process_that_... |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Marion Guthmuller | model-checker : dangling pointer set to NULL |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Marion Guthmuller | model-checker : set SMPI request to NULL before creatin... |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Marion Guthmuller | model-checker : improve ignore mechanism for complete... |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Marion Guthmuller | model-checker : restore sequential system state compari... |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Marion Guthmuller | model-checker : fix sort of acceptance pairs |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Marion Guthmuller | model-checker : add debug message |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Marion Guthmuller | model-checker : ignore some information for system... |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Marion Guthmuller | init request real_src |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Marion Guthmuller | model-checker : detect pointers on a part of a fragment |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Marion Guthmuller | model-checker : fix centralized mutex example |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Marion Guthmuller | model-checker : update bugged mutual exclusion algorithm |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Marion Guthmuller | model-checker : automaton state comparison removed... |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Augustin Degomme | empty lines made win unhappy |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Augustin Degomme | Use a large hammer to have Perl tesh actually comply... |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Augustin Degomme | have perl comply a little bit more to what existed... |
commit | commitdiff | tree | snapshot |
2013-10-04 |
Augustin Degomme | file was put in the wrong folder ... |
commit | commitdiff | tree | snapshot |
2013-10-03 |
Arnaud Giersch | Kill some memory leaks. |
commit | commitdiff | tree | snapshot |
2013-10-03 |
Arnaud Giersch | Exit cleanly on error. |
commit | commitdiff | tree | snapshot |
2013-10-03 |
Arnaud Giersch | Add tests to check that the expected context factory... |
commit | commitdiff | tree | snapshot |
2013-10-03 |
Arnaud Giersch | Typo: contexte -> context. |
commit | commitdiff | tree | snapshot |
2013-10-03 |
Arnaud Giersch | Slight reordering. |
commit | commitdiff | tree | snapshot |
2013-10-03 |
Arnaud Giersch | Delete obsolete files. |
commit | commitdiff | tree | snapshot |
2013-10-02 |
Augustin Degomme | parameter order was not changed in java bindings |
commit | commitdiff | tree | snapshot |
2013-10-02 |
Augustin Degomme | Include path to Diff.pm file in the perl script |
commit | commitdiff | tree | snapshot |
2013-10-02 |
Pierre Veyre | Update msg-storage tesh |
commit | commitdiff | tree | snapshot |
2013-10-02 |
Pierre Veyre | Change parameters order for msg_file_read, msg_file_wri... |
commit | commitdiff | tree | snapshot |
2013-10-02 |
Arnaud Giersch | Even printf does not follow the standard on Windows. |
commit | commitdiff | tree | snapshot |
2013-10-01 |
Augustin Degomme | Some teshes needed to be sorted because order in window... |
commit | commitdiff | tree | snapshot |
2013-10-01 |
Augustin Degomme | command line = command line, options = options |
commit | commitdiff | tree | snapshot |
2013-10-01 |
Arnaud Giersch | Fix format specifiers for sg_storage_size_t. |
commit | commitdiff | tree | snapshot |
2013-10-01 |
Arnaud Giersch | Small fixes in type names. |
commit | commitdiff | tree | snapshot |
2013-10-01 |
Arnaud Giersch | Use homogeneous dicts which are more efficient. |
commit | commitdiff | tree | snapshot |
2013-10-01 |
Augustin Degomme | adapt perl tesh to handle timeout from command line... |
commit | commitdiff | tree | snapshot |
2013-10-01 |
Augustin Degomme | (temporary) add test to insult windows user if his... |
commit | commitdiff | tree | snapshot |
2013-10-01 |
Augustin Degomme | use ; to separate path on windows instead of : |
commit | commitdiff | tree | snapshot |
2013-10-01 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
commit | commitdiff | tree | snapshot |
2013-10-01 |
Pierre Veyre | Introduce sg_storage_size_t type |
commit | commitdiff | tree | snapshot |
2013-10-01 |
Pierre Veyre | Introduce sg_storage_size_t type |
commit | commitdiff | tree | snapshot |
2013-10-01 |
Pierre Veyre | Fix the storage content update after a write action... |
commit | commitdiff | tree | snapshot |
2013-10-01 |
Arnaud Giersch | Try to exit in a more valgrind friendly manner when... |
commit | commitdiff | tree | snapshot |
2013-10-01 |
Arnaud Giersch | Guard against jedule being null. |
commit | commitdiff | tree | snapshot |
2013-10-01 |
Arnaud Giersch | Centralize declaration for _sg_init_status (renamed... |
commit | commitdiff | tree | snapshot |
2013-10-01 |
Arnaud Giersch | Remove "default" factory. The real default is chosen... |
commit | commitdiff | tree | snapshot |
2013-10-01 |
Arnaud Giersch | Further improve help message. |
commit | commitdiff | tree | snapshot |
2013-10-01 |
Arnaud Giersch | Improve help message about available context factories. |
commit | commitdiff | tree | snapshot |
2013-10-01 |
Arnaud Giersch | Fix default context factory. |
commit | commitdiff | tree | snapshot |
2013-10-01 |
Augustin Degomme | sometimes, on windows, cmake answers weirdly to this... |
commit | commitdiff | tree | snapshot |
2013-10-01 |
Marion Guthmuller | model-checker : fix memory leak |
commit | commitdiff | tree | snapshot |
2013-10-01 |
Marion Guthmuller | model-checker : fix removal of a visited pair in livene... |
commit | commitdiff | tree | snapshot |
2013-10-01 |
Marion Guthmuller | model-checker : parallel system state comparison for... |
commit | commitdiff | tree | snapshot |
2013-10-01 |
Pierre Veyre | Merge branch 'master' of git+ssh://scm.gforge.inria... |
commit | commitdiff | tree | snapshot |
2013-09-30 |
Arnaud Giersch | Initialize arrays at declaration, and remove use of... |
commit | commitdiff | tree | snapshot |
2013-09-30 |
Arnaud Giersch | Use keyword "extern" on windows too, and hope to fix... |
commit | commitdiff | tree | snapshot |
2013-09-30 |
Arnaud Giersch | Cosmetics around spacing. |
commit | commitdiff | tree | snapshot |
2013-09-30 |
Arnaud Giersch | Whitespace cleanup. |
commit | commitdiff | tree | snapshot |
2013-09-30 |
Arnaud Giersch | Avoid to put empty components in LD_LIBRARY_PATH. |
commit | commitdiff | tree | snapshot |
2013-09-30 |
Arnaud Giersch | More substitutions for the smpirun script. |
commit | commitdiff | tree | snapshot |
2013-09-30 |
Martin Quinson | cosmetics |
commit | commitdiff | tree | snapshot |
2013-09-30 |
Augustin Degomme | (for now?) we generate libsimgrid.dll, and not simgrid... |
commit | commitdiff | tree | snapshot |
2013-09-30 |
Augustin Degomme | fix win installer |
commit | commitdiff | tree | snapshot |
2013-09-30 |
Marion Guthmuller | model-checker : typo in NEWS file |
commit | commitdiff | tree | snapshot |
2013-09-30 |
Marion Guthmuller | model-checker : update NEWS file |
commit | commitdiff | tree | snapshot |
2013-09-30 |
Marion Guthmuller | model-checker : update Changelog |
commit | commitdiff | tree | snapshot |
2013-09-30 |
Martin Quinson | rewrite history :) |
commit | commitdiff | tree | snapshot |
2013-09-30 |
Martin Quinson | improvements |
commit | commitdiff | tree | snapshot |
2013-09-30 |
Martin Quinson | move XBT away (not that important), and add the prelimi... |
commit | commitdiff | tree | snapshot |
2013-09-30 |
Martin Quinson | start to fill the NEWS file |
commit | commitdiff | tree | snapshot |
2013-09-30 |
Augustin Degomme | as we replace the path to tesh by a variable, memtest... |
commit | commitdiff | tree | snapshot |
2013-09-30 |
Augustin Degomme | syntax error that breaks Java Windows compilation on... |
commit | commitdiff | tree | snapshot |
2013-09-30 |
Augustin Degomme | remove ugly quotes |
commit | commitdiff | tree | snapshot |
2013-09-30 |
Augustin Degomme | for out of source builds and testing, we should use... |
commit | commitdiff | tree | snapshot |
2013-09-30 |
Augustin Degomme | as win does not support ucontexts, use raw as the defau... |
commit | commitdiff | tree | snapshot |
2013-09-30 |
Augustin Degomme | ctest does not want to execute scripts without the... |
commit | commitdiff | tree | snapshot |
2013-09-30 |
Pierre Veyre | Clean up MSG_host_get_storage_content |
commit | commitdiff | tree | snapshot |
2013-09-29 |
Marion Guthmuller | model-checker : fix detection of dangling pointers... |
commit | commitdiff | tree | snapshot |
2013-09-29 |
Marion Guthmuller | model-checker : fix bugged mutual exclusion example... |
commit | commitdiff | tree | snapshot |
2013-09-29 |
Marion Guthmuller | model-checker : update system state comparison |
commit | commitdiff | tree | snapshot |
2013-09-28 |
Arnaud Giersch | Use word 'bytes' instead of 'octets'. |
commit | commitdiff | tree | snapshot |
next |