2014-06-05 |
Gabriel Corona | Remove comment which has not been accurate for a long... |
tree | commitdiff |
2014-06-04 |
Marion Guthmuller | model-checker : use new variable _sg_mc_liveness instea... |
tree | commitdiff |
2014-06-04 |
Marion Guthmuller | model-checker : remove useless debug message and add... |
tree | commitdiff |
2014-06-04 |
Marion Guthmuller | model-checker : compare the pid of enabled processes... |
tree | commitdiff |
2014-06-04 |
Marion Guthmuller | model-checker : fix backtracking with comm determinism... |
tree | commitdiff |
2014-06-03 |
Marion Guthmuller | model-checker : comment erroneous ignore (not completel... |
tree | commitdiff |
2014-06-03 |
Marion Guthmuller | model-checker : use the right heap |
tree | commitdiff |
2014-06-03 |
Marion Guthmuller | model-checker : reword debug message |
tree | commitdiff |
2014-06-03 |
Marion Guthmuller | model-checker : mc_dpor.c -> mc_safety.c |
tree | commitdiff |
2014-06-03 |
Marion Guthmuller | model-checker : remove useless ignore |
tree | commitdiff |
2014-05-30 |
Marion Guthmuller | model-checker : fix comm determinism detection mechanisms |
tree | commitdiff |
2014-05-30 |
Marion Guthmuller | model-checker : forget file |
tree | commitdiff |
2014-05-30 |
Marion Guthmuller | model-checker : cleanups, refactoring and apply indent... |
tree | commitdiff |
2014-05-30 |
Marion Guthmuller | model-checker : cosmetics in log message |
tree | commitdiff |
2014-05-30 |
Marion Guthmuller | model-checker : improve error message |
tree | commitdiff |
2014-05-26 |
Gabriel Corona | [mc] Temporary fix for smpi_process_finalize leading... |
tree | commitdiff |
2014-05-26 |
Gabriel Corona | Merge branch 'master' into mc |
tree | commitdiff |
2014-05-26 |
Stéphane Castelli | Fix a compilation error regarding logging and strings... |
tree | commitdiff |
2014-05-26 |
Stéphane Castelli | Lots of bugfixes for the fat trees, it should at least... |
tree | commitdiff |
2014-05-26 |
Stéphane Castelli | small cosmetics to AsClusterFatTree::generateDotFile() |
tree | commitdiff |
2014-05-26 |
Stéphane Castelli | Fix some bugs in fat trees |
tree | commitdiff |
2014-05-24 |
Martin Quinson | make the xbt_os_time module public |
tree | commitdiff |
2014-05-24 |
Martin Quinson | update the comments of that file |
tree | commitdiff |
2014-05-23 |
suter | leak-- |
tree | commitdiff |
2014-05-23 |
suter | allow several hosts to open the same file simultaneously |
tree | commitdiff |
2014-05-23 |
suter | Throw an exception only when it's really not implemented |
tree | commitdiff |
2014-05-22 |
Gabriel Corona | Revert "[mmalloc] Use mremap to expand heaps (heap... |
tree | commitdiff |
2014-05-21 |
Arnaud Giersch | Add some words about %e fore spaces in logs. |
tree | commitdiff |
2014-05-21 |
Martin Quinson | When the parameter parser is jammed, display the full... |
tree | commitdiff |
2014-05-21 |
Martin Quinson | add some doc about the trap I just felt into |
tree | commitdiff |
2014-05-20 |
Arnaud Giersch | Free previously set process data. |
tree | commitdiff |
2014-05-20 |
Arnaud Giersch | Free smpi_instances. |
tree | commitdiff |
2014-05-20 |
Arnaud Giersch | Free powerPeak which is unused here. |
tree | commitdiff |
2014-05-20 |
Arnaud Giersch | Skip simcall when HAVE_TRACING. |
tree | commitdiff |
2014-05-20 |
Arnaud Giersch | Cosmetics: reuse already defined variable. |
tree | commitdiff |
2014-05-20 |
Arnaud Giersch | task->counter is initialized only when HAVE_TRACING. |
tree | commitdiff |
2014-05-19 |
Paul Bédaride | Use boost::intrusive in CpuTi |
tree | commitdiff |
2014-05-18 |
Martin Quinson | further document the parmap mess. Next step should... |
tree | commitdiff |
2014-05-18 |
Martin Quinson | greatly improve the documentation of the parallel execu... |
tree | commitdiff |
2014-05-18 |
Martin Quinson | previous version was initializing retval=0 and then... |
tree | commitdiff |
2014-05-16 |
degomme | move a declaration. Should fix compilation bug on MacOS X . |
tree | commitdiff |
2014-05-16 |
degomme | Fix compil without tracing, which was broken multiple... |
tree | commitdiff |
2014-05-16 |
Gabriel Corona | Merge branch 'mc_without_ksm' into mc |
tree | commitdiff |
2014-05-16 |
Paul Bédaride | Revert "Replace xbt_heap by boost::heap::fibonacci_heap" |
tree | commitdiff |
2014-05-16 |
Gabriel Corona | [mc] Avoid memsetting twice |
tree | commitdiff |
2014-05-16 |
Paul Bédaride | Replace xbt_heap by boost::heap::fibonacci_heap |
tree | commitdiff |
2014-05-16 |
Paul Bédaride | Remove unnecessary casts |
tree | commitdiff |
2014-05-16 |
Paul Bédaride | Unify models apis |
tree | commitdiff |
2014-05-16 |
Gabriel Corona | [mc] Use the actual heap size when testing if an addres... |
tree | commitdiff |
2014-05-16 |
Gabriel Corona | [mc] Move mm_diff in mc/ |
tree | commitdiff |
2014-05-16 |
Gabriel Corona | [mc] Use the actual heap size when testing if an addres... |
tree | commitdiff |
2014-05-16 |
Gabriel Corona | [mc] Use the actual heap size when testing if an addres... |
tree | commitdiff |
2014-05-16 |
Gabriel Corona | [mc] Comments/documentation of memory related code |
tree | commitdiff |
2014-05-14 |
Stéphane Castelli | Fix a bug in SMPI that leads to a segfault when one... |
tree | commitdiff |
2014-05-14 |
Stéphane Castelli | Fat trees may actually be used |
tree | commitdiff |
2014-05-14 |
Stéphane Castelli | Add a routing for fat trees |
tree | commitdiff |
2014-05-13 |
Marion Guthmuller | model-checker : handle waitany simcall |
tree | commitdiff |
2014-05-13 |
Gabriel Corona | [mc] Rename raw_heap into mc_heap |
tree | commitdiff |
2014-05-13 |
Stéphane Castelli | The tag cluster accepts the topology fat_tree |
tree | commitdiff |
2014-05-13 |
Stéphane Castelli | Add a function returning an instance of fat tree |
tree | commitdiff |
2014-05-13 |
Gabriel Corona | [mmalloc] Use mremap to expand heaps (heap collision... |
tree | commitdiff |
2014-05-12 |
Henri Casanova | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2014-05-12 |
Marion Guthmuller | model-checker : complete comm pattern only after a... |
tree | commitdiff |
2014-05-12 |
Arnaud Giersch | Set return value. |
tree | commitdiff |
2014-05-12 |
Arnaud Giersch | Don't try to kill non-existing process (*process =... |
tree | commitdiff |
2014-05-12 |
Arnaud Giersch | Fix dead assignments. |
tree | commitdiff |
2014-05-12 |
Arnaud Giersch | Add check for error. |
tree | commitdiff |
2014-05-12 |
Stéphane Castelli | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2014-05-12 |
Stéphane Castelli | Fix use of wrong variable |
tree | commitdiff |
2014-05-09 |
Henri Casanova | Added a --cfg="smpi/simulation_computation" to smpirun... |
tree | commitdiff |
2014-05-08 |
Henri Casanova | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2014-05-08 |
Henri Casanova | Rewrote smpi_sleep() and smpi_usleep() so that: |
tree | commitdiff |
2014-05-08 |
suter | forgot a comma ... |
tree | commitdiff |
2014-05-08 |
suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2014-05-08 |
suter | add color for "test", not sure it's mandatory, but... |
tree | commitdiff |
2014-05-08 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2014-05-08 |
Henri Casanova | Modified smpi_sleep() so that it returns 0, instead... |
tree | commitdiff |
2014-05-08 |
Henri Casanova | Added a smpi_usleep function and usleep -> smpi_usleep... |
tree | commitdiff |
2014-05-07 |
suter | add support of MPI_Test in smpi_replay and TRACING-TI |
tree | commitdiff |
2014-05-07 |
Stéphane Castelli | Fix warning introduced by previous commit |
tree | commitdiff |
2014-05-07 |
Stéphane Castelli | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2014-05-07 |
Stéphane Castelli | Completion of the routing for fat trees |
tree | commitdiff |
2014-05-07 |
Stéphane Castelli | Add some routing for the fat trees |
tree | commitdiff |
2014-05-07 |
Paul Bédaride | Fix leak in process_join |
tree | commitdiff |
2014-05-07 |
suter | better to add this file ... |
tree | commitdiff |
2014-05-07 |
suter | allow MPI codes to use timezone in their gettimeofday... |
tree | commitdiff |
2014-05-06 |
Augustin Degomme | have barrier_wait return XBT/MSG_BARRIER_SERIAL_PROCESS... |
tree | commitdiff |
2014-05-06 |
Augustin Degomme | actually change the value as said in previous commit |
tree | commitdiff |
2014-05-06 |
Augustin Degomme | Use the xbt barrier to finalize smpi processes cleanly. |
tree | commitdiff |
2014-05-06 |
Augustin Degomme | add msg and xbt versions of barrier. |
tree | commitdiff |
2014-05-06 |
Augustin Degomme | typo -- |
tree | commitdiff |
2014-05-06 |
Augustin Degomme | typo -- |
tree | commitdiff |
2014-05-06 |
Augustin Degomme | add MSG_get_as_by_name call, answering [#17311] |
tree | commitdiff |
2014-05-06 |
Paul Bédaride | Fix tesh-simdag-flatifier |
tree | commitdiff |
2014-05-06 |
Stéphane Castelli | Corrections to fat trees, set the size of connection... |
tree | commitdiff |
2014-05-05 |
Stéphane Castelli | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2014-05-05 |
Stéphane Castelli | Rewrite of the fat trees implementation |
tree | commitdiff |
2014-05-05 |
Arnaud Giersch | Don't use xbt_assert for error checking, it may be... |
tree | commitdiff |
2014-04-30 |
Marion Guthmuller | model-checker : disable mprotect on snapshots |
tree | commitdiff |
2014-04-30 |
Marion Guthmuller | model-checker : remove KSM work -> doesn't work currently |
tree | commitdiff |
next |