2012-02-28 |
Martin Quinson | Deprecate MSG_get_host_{table,number}; Implement MSG_ho... |
tree | commitdiff |
2012-02-23 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-02-23 |
Marion Guthmuller | model-checker : example bugged2_liveness modified |
tree | commitdiff |
2012-02-23 |
Pedro Velho | Started the gpu model by adding the MSG_gpu_task_create... |
tree | commitdiff |
2012-02-21 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-02-21 |
Arnaud Giersch | Fix format strings to match their arguments. |
tree | commitdiff |
2012-02-08 |
Martin Quinson | stop using internal header files from the examples... |
tree | commitdiff |
2012-02-08 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2012-02-08 |
Martin Quinson | move a public header in the simgrid/ directory to fight... |
tree | commitdiff |
2012-02-05 |
Arnaud Giersch | Kill more duplicate routes in platform files. |
tree | commitdiff |
2012-02-05 |
Arnaud Giersch | Fix compilation errors about multiple definition of... |
tree | commitdiff |
2012-02-03 |
Martin Quinson | kill some dupplicate routes: now that we issue a warnin... |
tree | commitdiff |
2012-02-03 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2012-02-02 |
Arnaud Giersch | Another %ld -> %zu fix. |
tree | commitdiff |
2012-02-01 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2012-01-31 |
navarro | Use m_file_t instead of m_file_t* |
tree | commitdiff |
2012-01-31 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2012-01-31 |
Lucas Schnorr | [trace] add missing tesh to test user variables tracing |
tree | commitdiff |
2012-01-31 |
navarro | Rewrite file example for use MSG API |
tree | commitdiff |
2012-01-31 |
navarro | Make the commit on file read and write compile with... |
tree | commitdiff |
2012-01-31 |
navarro | Add an example for file |
tree | commitdiff |
2012-01-30 |
Marion Guthmuller | merge conflict resolved |
tree | commitdiff |
2012-01-25 |
Christophe Thiéry | SIMIX refactoring: replace 'request' by a more precise... |
tree | commitdiff |
2012-01-23 |
Lucas Schnorr | [trace] new example inspired by storage systems to... |
tree | commitdiff |
2012-01-23 |
Lucas Schnorr | [trace] add new test, check tracing of g5k platform... |
tree | commitdiff |
2012-01-23 |
Lucas Schnorr | [trace] more testing in process migration tracing example |
tree | commitdiff |
2012-01-23 |
Lucas Schnorr | [trace] update tesh, remove timestamping check, add... |
tree | commitdiff |
2012-01-23 |
Lucas Schnorr | [trace] remove repeated parameter, plus add new test... |
tree | commitdiff |
2012-01-23 |
Lucas Schnorr | [trace] new example that will be used to test platform... |
tree | commitdiff |
2012-01-23 |
navarro | Place MSG init before testing args for --help argument. |
tree | commitdiff |
2012-01-23 |
navarro | Remove unused variables and add missing prototypes. |
tree | commitdiff |
2012-01-23 |
navarro | Update factor for model LegrandVelho. |
tree | commitdiff |
2012-01-22 |
Lucas Schnorr | [trace] very simple program that creates, executes... |
tree | commitdiff |
2012-01-22 |
Lucas Schnorr | [trace] removing the tracing per task (where each task... |
tree | commitdiff |
2012-01-22 |
Lucas Schnorr | [trace] remove info messages from process migration... |
tree | commitdiff |
2012-01-22 |
Lucas Schnorr | [trace] removing memory leaks from the process migratio... |
tree | commitdiff |
2012-01-22 |
Lucas Schnorr | [trace] avoid comparing the tracing logs and the genera... |
tree | commitdiff |
2012-01-22 |
Lucas Schnorr | [trace] cleaner code for tracing examples |
tree | commitdiff |
2012-01-19 |
navarro | Remove old MSG_set_channel_number from examples. |
tree | commitdiff |
2012-01-19 |
Arnaud Giersch | Inline test_all() in masterslave_mailbox. |
tree | commitdiff |
2012-01-19 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-01-19 |
Marion Guthmuller | unused example chord_stateful removed |
tree | commitdiff |
2012-01-17 |
navarro | Completely remove channel mecanism with tesh tested... |
tree | commitdiff |
2012-01-16 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2012-01-16 |
Christophe Thiéry | MSG_task_dsend: don't apply a default function if clean... |
tree | commitdiff |
2012-01-13 |
Martin Quinson | Merge branch 'MC_LTL' |
tree | commitdiff |
2012-01-11 |
Marion Guthmuller | merge conflicts resolved |
tree | commitdiff |
2012-01-11 |
Marion Guthmuller | model-checker : add example centralized_liveness in... |
tree | commitdiff |
2012-01-11 |
Marion Guthmuller | model-checker : new example for liveness properties |
tree | commitdiff |
2012-01-10 |
Marion Guthmuller | model-checker : bugged2_liveness with promela of LTL... |
tree | commitdiff |
2012-01-10 |
Marion Guthmuller | model-checker : new LTL property for bugged2_liveness... |
tree | commitdiff |
2012-01-09 |
Marion Guthmuller | model-checker : add comments for the example bugged2_li... |
tree | commitdiff |
2012-01-09 |
Marion Guthmuller | model-checker : new examples for verification of livene... |
tree | commitdiff |
2012-01-09 |
Martin Quinson | Merge branches 'MC_LTL' and 'MC_LTL' of scm.gforge... |
tree | commitdiff |
2012-01-06 |
Christophe Thiéry | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-01-06 |
Navarrop | Add some tests for crosstraffic = 1. |
tree | commitdiff |
2012-01-06 |
Christophe Thiéry | Merge branch 'smpi' |
tree | commitdiff |
2012-01-02 |
Christophe Thiéry | Add a Chord test with the constant network model |
tree | commitdiff |
2011-12-26 |
Martin Quinson | merge back the master trunk into the smpi branch |
tree | commitdiff |
2011-12-25 |
Martin Quinson | fix a test broken by homogeneisation of dicts |
tree | commitdiff |
2011-12-25 |
Martin Quinson | fix the tests that my cleanups in the config variable... |
tree | commitdiff |
2011-12-23 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2011-12-16 |
Navarrop | Fix tesh file |
tree | commitdiff |
2011-12-16 |
Navarrop | Make sure this code is thread safe. |
tree | commitdiff |
2011-12-16 |
Navarrop | Revert an old commit (f0f66d620ef58973870652446275a5552... |
tree | commitdiff |
2011-12-16 |
Navarrop | Port old tesh file to modernity. |
tree | commitdiff |
2011-12-16 |
Navarrop | Rename misleading "fullduplex" keyword to "crosstraffic". |
tree | commitdiff |
2011-12-16 |
Navarrop | Remove unused variable |
tree | commitdiff |
2011-12-16 |
Navarrop | Revert new time for token-ring |
tree | commitdiff |
2011-12-13 |
Marion Guthmuller | Merge branch 'master' into MC_LTL |
tree | commitdiff |
2011-12-13 |
Marion Guthmuller | model-checker : clean code |
tree | commitdiff |
2011-12-08 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2011-12-07 |
Marion Guthmuller | Merge branch 'master' into MC_LTL |
tree | commitdiff |
2011-12-07 |
Marion Guthmuller | model-checker : more requests of CS per process in... |
tree | commitdiff |
2011-12-06 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2011-12-06 |
Navarrop | Rewrite the token ring example |
tree | commitdiff |
2011-12-05 |
Marion Guthmuller | Merge branch 'master' into MC_LTL |
tree | commitdiff |
2011-12-01 |
Arnaud Giersch | Kill old CVS $Id$ lines. |
tree | commitdiff |
2011-12-01 |
Arnaud Giersch | Use homogeneous dictionaries whenever possible. |
tree | commitdiff |
2011-12-01 |
Arnaud Giersch | tesh: fix the stable sort. |
tree | commitdiff |
2011-11-30 |
Navarrop | Correction of a bug. Always return 0. |
tree | commitdiff |
2011-11-30 |
Navarrop | Remove memleaks |
tree | commitdiff |
2011-11-30 |
Navarrop | Add a masterslave example with arguments |
tree | commitdiff |
2011-11-30 |
Marion Guthmuller | Merge branch 'master' into MC_LTL |
tree | commitdiff |
2011-11-30 |
Marion Guthmuller | model-checker : number of CS request per process reduce... |
tree | commitdiff |
2011-11-30 |
Martin Quinson | add a test trying to access the properties of a remote... |
tree | commitdiff |
2011-11-23 |
Arnaud Giersch | Set path for binary in token ring tesh file. |
tree | commitdiff |
2011-11-22 |
Marion Guthmuller | merge conflicts |
tree | commitdiff |
2011-11-17 |
Marion Guthmuller | model-checker : examples changed |
tree | commitdiff |
2011-11-14 |
Martin Quinson | nah, properties in the XML file are not the right place... |
tree | commitdiff |
2011-11-14 |
Christophe Thiéry | Lua Chord example (not working yet, the API is still... |
tree | commitdiff |
2011-11-14 |
Arnaud Giersch | Use xbt_XXX_is_empty() instead of testing xbt_XXX_lengt... |
tree | commitdiff |
2011-11-09 |
Christophe Thiéry | Make the Lua API respect coherent naming conventions |
tree | commitdiff |
2011-11-09 |
Arnaud Giersch | Kill "if" before free, and useless cast of free argument. |
tree | commitdiff |
2011-11-09 |
Marion Guthmuller | model-checker : example for detection of acceptance... |
tree | commitdiff |
2011-11-07 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2011-11-07 |
Christophe Thiéry | The parser's behavior has changed, revalidate the outpu... |
tree | commitdiff |
2011-11-07 |
Christophe Thiéry | Add some _XBT_GNUC_UNUSED to avoid compilation warnings... |
tree | commitdiff |
2011-11-03 |
Martin Quinson | this output changed back, so revert my change of today |
tree | commitdiff |
2011-11-03 |
Martin Quinson | integrate initialization functions within the parsing... |
tree | commitdiff |
next |