| 2012-01-10 |
unknown | Don't compile those examples on Win |
commit | commitdiff | tree | snapshot |
| 2012-01-10 |
unknown | Update README from HelloWorld. |
commit | commitdiff | tree | snapshot |
| 2012-01-10 |
unknown | Update doc for MinGW |
commit | commitdiff | tree | snapshot |
| 2012-01-10 |
unknown | sleep doesn't exist on windows. |
commit | commitdiff | tree | snapshot |
| 2012-01-10 |
unknown | Cosmetics and replace some deprecated function 'exec_pr... |
commit | commitdiff | tree | snapshot |
| 2012-01-10 |
unknown | Make Simgrid compile with MinGW and gcc4.6 |
commit | commitdiff | tree | snapshot |
| 2012-01-10 |
unknown | Remove unused part. |
commit | commitdiff | tree | snapshot |
| 2012-01-10 |
unknown | Only use MinGW compilator |
commit | commitdiff | tree | snapshot |
| 2012-01-10 |
unknown | Make those programs succed on windows. |
commit | commitdiff | tree | snapshot |
| 2012-01-10 |
Arnaud Giersch | Fix other "missing prototype" errors. |
commit | commitdiff | tree | snapshot |
| 2012-01-10 |
Marion Guthmuller | model-checker : bugged2_liveness with promela of LTL... |
commit | commitdiff | tree | snapshot |
| 2012-01-10 |
Arnaud Giersch | Fix test, and remove duplicated checks. |
commit | commitdiff | tree | snapshot |
| 2012-01-10 |
Arnaud Giersch | Fix error: passing argument 7 of ‘SIMIX_req_comm_isend... |
commit | commitdiff | tree | snapshot |
| 2012-01-10 |
Arnaud Giersch | Fix error: passing argument 3 of ‘xbt_dict_set’ discard... |
commit | commitdiff | tree | snapshot |
| 2012-01-10 |
Arnaud Giersch | Fix compilation errors about "enumeration value not... |
commit | commitdiff | tree | snapshot |
| 2012-01-10 |
Arnaud Giersch | Add missing declaration. |
commit | commitdiff | tree | snapshot |
| 2012-01-10 |
Marion Guthmuller | model-checker : new LTL property for bugged2_liveness... |
commit | commitdiff | tree | snapshot |
| 2012-01-10 |
Arnaud Giersch | Fix format. |
commit | commitdiff | tree | snapshot |
| 2012-01-10 |
Arnaud Giersch | Don't use printf modifier %Z. Use %z instead. |
commit | commitdiff | tree | snapshot |
| 2012-01-09 |
Marion Guthmuller | model-checker : add comments for the example bugged2_li... |
commit | commitdiff | tree | snapshot |
| 2012-01-09 |
Marion Guthmuller | model-checker : new examples for verification of livene... |
commit | commitdiff | tree | snapshot |
| 2012-01-09 |
Martin Quinson | give the localisation of parse errors more accurately |
commit | commitdiff | tree | snapshot |
| 2012-01-09 |
Martin Quinson | Merge branches 'MC_LTL' and 'MC_LTL' of scm.gforge... |
commit | commitdiff | tree | snapshot |
| 2012-01-09 |
Martin Quinson | make sure that we won't survive a parser error in the... |
commit | commitdiff | tree | snapshot |
| 2012-01-09 |
Martin Quinson | make it compile with -Werror by forcing a type casting |
commit | commitdiff | tree | snapshot |
| 2012-01-09 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
commit | commitdiff | tree | snapshot |
| 2012-01-09 |
Martin Quinson | improve doc of multicore in FAQ |
commit | commitdiff | tree | snapshot |
| 2012-01-09 |
Navarrop | Remove test masterslave-cpu_ti-no-crosstraffic because... |
commit | commitdiff | tree | snapshot |
| 2012-01-09 |
Navarrop | Update option page: Write that crosstraffic is enable... |
commit | commitdiff | tree | snapshot |
| 2012-01-09 |
Navarrop | Add the faq to documentation because it is under versio... |
commit | commitdiff | tree | snapshot |
| 2012-01-09 |
Navarrop | Rename old tesh with no-crosstraffic and new like old... |
commit | commitdiff | tree | snapshot |
| 2012-01-09 |
Martin Quinson | cosmetics in the ChangeLog |
commit | commitdiff | tree | snapshot |
| 2012-01-08 |
Lucas Schnorr | [trace] valgrind's memcheck to wipe out memory leaks... |
commit | commitdiff | tree | snapshot |
| 2012-01-06 |
Arnaud Giersch | Fix the order of contraints changed by previous commits: |
commit | commitdiff | tree | snapshot |
| 2012-01-06 |
Arnaud Giersch | In lmm_update_modified_set, don't visit variables twice. |
commit | commitdiff | tree | snapshot |
| 2012-01-06 |
Arnaud Giersch | Try hard to optimize lmm_update_modified_set. |
commit | commitdiff | tree | snapshot |
| 2012-01-06 |
Navarrop | The variable-constraint graph is already traversed... |
commit | commitdiff | tree | snapshot |
| 2012-01-06 |
Arnaud Giersch | Ensure that all constraints are put in modified_constra... |
commit | commitdiff | tree | snapshot |
| 2012-01-06 |
Arnaud Giersch | Remove constraint from modified_constraint_set, when... |
commit | commitdiff | tree | snapshot |
| 2012-01-06 |
Navarrop | Rewrite script for update tesh file. |
commit | commitdiff | tree | snapshot |
| 2012-01-06 |
Christophe... | Keep iwannadie set instead of lying to the context... |
commit | commitdiff | tree | snapshot |
| 2012-01-06 |
Christophe... | Merge branch 'master' of git+ssh://scm.gforge.inria... |
commit | commitdiff | tree | snapshot |
| 2012-01-06 |
Christophe... | SIMIX: when a process is killed, remove its blocking... |
commit | commitdiff | tree | snapshot |
| 2012-01-06 |
Christophe... | MSG: don't keep pointers to a structure freed |
commit | commitdiff | tree | snapshot |
| 2012-01-06 |
Navarrop | Add some tests for crosstraffic = 1. |
commit | commitdiff | tree | snapshot |
| 2012-01-06 |
Christophe... | Merge branch 'smpi' |
commit | commitdiff | tree | snapshot |
| 2012-01-05 |
Christophe... | clean_fun is the function that frees the userdata of... |
commit | commitdiff | tree | snapshot |
| 2012-01-05 |
Christophe... | SMPI: don't finish immediately a dsend comm. |
commit | commitdiff | tree | snapshot |
| 2012-01-05 |
Christophe... | SMPI: before terminating a process, wait for its asynch... |
commit | commitdiff | tree | snapshot |
| 2012-01-05 |
Christophe... | When a process leaves, no one should ever finish a... |
commit | commitdiff | tree | snapshot |
| 2012-01-05 |
Christophe... | Export SIMIX_rdv_remove and fix debug messages |
commit | commitdiff | tree | snapshot |
| 2012-01-05 |
Christophe... | -0.000000 is lower than 0.0. True story. |
commit | commitdiff | tree | snapshot |
| 2012-01-05 |
Marion Guthmuller | model-checker : warnings fixed |
commit | commitdiff | tree | snapshot |
| 2012-01-05 |
Navarrop | Sorry, for this stupid error |
commit | commitdiff | tree | snapshot |
| 2012-01-05 |
Pierre | Use xbt_config mechanism instead of hard coding value. |
commit | commitdiff | tree | snapshot |
| 2012-01-05 |
Pierre | Use of busy wait instead of futex if there is not futex.h |
commit | commitdiff | tree | snapshot |
| 2012-01-05 |
Pierre | Add a ifdef HAVE_FUTEX_H to compile on Mac |
commit | commitdiff | tree | snapshot |
| 2012-01-02 |
Christophe... | Add a Chord test with the constant network model |
commit | commitdiff | tree | snapshot |
| 2012-01-02 |
Martin Quinson | this configuration option does not exist anymore (and... |
commit | commitdiff | tree | snapshot |
| 2011-12-30 |
Christophe... | Fix supernovae compilation |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Martin Quinson | cleanup the debug messages |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Martin Quinson | more verbose debug messages |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Martin Quinson | When the process exits, don't cancel the communications... |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Martin Quinson | use sensible process names (their rank) in SMPI, and... |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Martin Quinson | Further investigate the dsend issue, in vain so far |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Martin Quinson | merge back the master trunk into the smpi branch |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Lucas Schnorr | [doc] basic tracing options (and a link to the full... |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Lucas Schnorr | [doc] colors are defined through the tracing API and... |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Lucas Schnorr | [doc] update the graph visualization screenshot to... |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Lucas Schnorr | [trace] tracing needs a Full network/optim, otherwise... |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Lucas Schnorr | bug fix, tracing mechanism relies on a correct set_cate... |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Lucas Schnorr | typo |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Lucas Schnorr | [doc] updating the graph configuration documentation |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Lucas Schnorr | [doc] fix on tracing parameter documentation |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Lucas Schnorr | [doc] triva is using git |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Lucas Schnorr | [doc] tracing documentation was duplicated, fix it |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Lucas Schnorr | [trace] better source code comments for configuration... |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Lucas Schnorr | [doc] documentation for three tracing options |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Lucas Schnorr | [doc] users can also declare variable with colors for... |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Lucas Schnorr | [doc] explain how to use TRACE_declare_mark and TRACE_mark |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Mark Stillwell | send test program |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Martin Quinson | more verbose debug around detached sends |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Martin Quinson | dupplicate the sender buffer in eager mode, when isends... |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Martin Quinson | fix some glitches in documentation generation |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Martin Quinson | placeholder for the configuration items related to... |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Martin Quinson | document SMPI configuration items |
commit | commitdiff | tree | snapshot |
| 2011-12-26 |
Martin Quinson | cosmetics in documentation |
commit | commitdiff | tree | snapshot |
| 2011-12-25 |
Martin Quinson | document the configuration items related to packet... |
commit | commitdiff | tree | snapshot |
| 2011-12-25 |
Martin Quinson | document simix-related config options |
commit | commitdiff | tree | snapshot |
| 2011-12-25 |
Martin Quinson | kill the deprecated now unused config variable 'routing' |
commit | commitdiff | tree | snapshot |
| 2011-12-25 |
Martin Quinson | fix a test broken by homogeneisation of dicts |
commit | commitdiff | tree | snapshot |
| 2011-12-25 |
Martin Quinson | fix the tests that my cleanups in the config variable... |
commit | commitdiff | tree | snapshot |
| 2011-12-25 |
Martin Quinson | revalidate two gras tests which timings changed |
commit | commitdiff | tree | snapshot |
| 2011-12-25 |
Martin Quinson | kill deprecated file for windows's tesh |
commit | commitdiff | tree | snapshot |
| 2011-12-25 |
Martin Quinson | document generic configuration variables (and fix MC... |
commit | commitdiff | tree | snapshot |
| 2011-12-25 |
Martin Quinson | Rename the coordinates configuration option to network... |
commit | commitdiff | tree | snapshot |
| 2011-12-25 |
Martin Quinson | document all network-related config options |
commit | commitdiff | tree | snapshot |
| 2011-12-25 |
Martin Quinson | Rename the TCP_gamma configuration option to network... |
commit | commitdiff | tree | snapshot |
| 2011-12-25 |
Martin Quinson | kill the deprecated CLM03 workstation model |
commit | commitdiff | tree | snapshot |
| 2011-12-25 |
Martin Quinson | also display the existing optimizations on --help-models |
commit | commitdiff | tree | snapshot |
| next |
