2013-03-16 |
Marion Guthmuller | model-checker : ignore running context of processes... |
blob | commitdiff | raw |
2013-02-19 |
Augustin Degomme | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2013-02-18 |
Arnaud Giersch | Kill old commented line. |
blob | commitdiff | raw | diff to current |
2013-02-12 |
Jonathan Rouzaud... | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2013-02-11 |
Augustin Degomme | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2013-02-06 |
Arnaud Giersch | Give state a sensible value, and don't let it uninitial... |
blob | commitdiff | raw | diff to current |
2013-02-06 |
Arnaud Giersch | Destroy comm action in SIMIX_process_kill. |
blob | commitdiff | raw | diff to current |
2013-02-05 |
Arnaud Giersch | Merge branch 'v3_9_x' |
blob | commitdiff | raw | diff to current |
2013-01-30 |
Arnaud Giersch | Incorporate simgrid-java in simgrid-java/. |
blob | commitdiff | raw | diff to current |
2013-01-30 |
Arnaud Giersch | Merge branch 'v3_9_x' |
blob | commitdiff | raw | diff to current |
2013-01-30 |
Arnaud Giersch | Merge remote-tracking branch 'github/master' |
blob | commitdiff | raw | diff to current |
2013-01-30 |
Paul Bédaride | Make MSG use SIMIX pids |
blob | commitdiff | raw | diff to current |
2013-01-21 |
Paul Bédaride | All hosts types fusion to xbt_dictelm_t |
blob | commitdiff | raw | diff to current |
2013-01-17 |
Arnaud Giersch | Merge branch 'master' into vmtrace |
blob | commitdiff | raw | diff to current |
2013-01-16 |
Jonathan Rouzaud... | Merge with master |
blob | commitdiff | raw | diff to current |
2012-12-26 |
Marion Guthmuller | model-checker : don't ignore simcall result in system... |
blob | commitdiff | raw | diff to current |
2012-12-04 |
Marion Guthmuller | model-checker : ignore simcall result in heap comparison |
blob | commitdiff | raw | diff to current |
2012-11-30 |
shenshei | Merge ../simgrid |
blob | commitdiff | raw | diff to current |
2012-11-30 |
shenshei | New simcalls work |
blob | commitdiff | raw | diff to current |
2012-11-28 |
shenshei | Change simcall functions |
blob | commitdiff | raw | diff to current |
2012-11-28 |
paul bedaride | Add macros to generate simcalls code |
blob | commitdiff | raw | diff to current |
2012-11-28 |
Cristian Rosa | WIP on simcalls: fd8c267 Stop making direct calls to... |
blob | commitdiff | raw | diff to current |
2012-11-28 |
Cristian Rosa | Move SIMCALL_HOST_EXECUTE to the new simcall architectu... |
blob | commitdiff | raw | diff to current |
2012-11-27 |
Jonathan Rouzaud... | update |
blob | commitdiff | raw | diff to current |
2012-11-27 |
Jonathan Rouzaud... | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2012-11-23 |
Arnaud Giersch | Merge branch 'killgraskill' |
blob | commitdiff | raw | diff to current |
2012-11-22 |
Martin Quinson | comments, debugs and other minor glitches |
blob | commitdiff | raw | diff to current |
2012-11-18 |
Marion Guthmuller | model-checker : ignore some variables enabled with... |
blob | commitdiff | raw | diff to current |
2012-11-12 |
Augustin Degomme | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2012-11-07 |
Marion Guthmuller | model-checker : add local variables from xbt/ex.h in... |
blob | commitdiff | raw | diff to current |
2012-11-07 |
Marion Guthmuller | model-checker : ignore some local variables from xbt... |
blob | commitdiff | raw | diff to current |
2012-11-07 |
Marion Guthmuller | model-checker : add ignore mechanism for comparison... |
blob | commitdiff | raw | diff to current |
2012-10-24 |
alebre | Merge branch 'master' into vmtrace |
blob | commitdiff | raw | diff to current |
2012-10-19 |
Maximiliano Geier | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2012-10-17 |
Martin Quinson | Cancel the comms of leaving processes instead of destro... |
blob | commitdiff | raw | diff to current |
2012-10-16 |
Martin Quinson | s/MC_IS_ENABLED/MC_is_active()/ to remove an unfriendly... |
blob | commitdiff | raw | diff to current |
2012-10-12 |
navarro | Compilation with warning flags |
blob | commitdiff | raw | diff to current |
2012-10-04 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
blob | commitdiff | raw | diff to current |
2012-10-03 |
Arnaud Giersch | Use xbt_abort instead of abort. |
blob | commitdiff | raw | diff to current |
2012-07-04 |
Samuel Lepetit | Return the new process in SIMIX_process_restart, simcal... |
blob | commitdiff | raw | diff to current |
2012-07-04 |
Samuel Lepetit | Fix SIMIX_process_kill(SIMIX_process_self()); issue... |
blob | commitdiff | raw | diff to current |
2012-06-28 |
Samuel Lepetit | Fix an issue in process autorestart |
blob | commitdiff | raw | diff to current |
2012-06-28 |
Samuel Lepetit | Add SIMIX_host_restart_processes |
blob | commitdiff | raw | diff to current |
2012-06-27 |
Samuel Lepetit | First bricks for auto_restart support in SIMIX/MSG. |
blob | commitdiff | raw | diff to current |
2012-06-26 |
Samuel Lepetit | Fix a memory leak. |
blob | commitdiff | raw | diff to current |
2012-06-25 |
Samuel Lepetit | Fix commit f48cc395ebecc84d865ab551a672d2a2358624e5 |
blob | commitdiff | raw | diff to current |
2012-06-25 |
Samuel Lepetit | Fix an issue when you registered a on_exit function... |
blob | commitdiff | raw | diff to current |
2012-06-21 |
jean-noel quintin | Merge remote-tracking branch 'origin/master' |
blob | commitdiff | raw | diff to current |
2012-06-21 |
Samuel Lepetit | Check if the host is down in SIMIX_post_process_sleep. |
blob | commitdiff | raw | diff to current |
2012-06-21 |
Samuel Lepetit | Cleanup in SIMIX_process_on_exit_runall |
blob | commitdiff | raw | diff to current |
2012-06-21 |
Samuel Lepetit | Fix bug #14412 (Killing a SIMIX process just after... |
blob | commitdiff | raw | diff to current |
2012-06-21 |
Samuel Lepetit | Fix commit 825fb3d5095e6cce48885d1d04ab1ec3823dae6c |
blob | commitdiff | raw | diff to current |
2012-06-20 |
suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2012-06-20 |
Samuel Lepetit | Add on_exit support on SIMIX/MSG, calling functions... |
blob | commitdiff | raw | diff to current |
2012-06-20 |
suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2012-06-20 |
Samuel Lepetit | Use the same way of checking the state of the communica... |
blob | commitdiff | raw | diff to current |
2012-06-20 |
suter | Solve white space conflicts |
blob | commitdiff | raw | diff to current |
2012-06-20 |
Martin Quinson | sed -i -e 's/\t/ /g' *.[ch] Please people, stop using... |
blob | commitdiff | raw | diff to current |
2012-05-14 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
blob | commitdiff | raw | diff to current |
2012-05-14 |
Martin Quinson | argument why parallel execution don't jeopardize reprod... |
blob | commitdiff | raw | diff to current |
2012-05-10 |
Martin Quinson | More debugs around process suspension |
blob | commitdiff | raw | diff to current |
2012-05-09 |
Samuel Lepetit | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2012-05-04 |
Arnaud Legrand | Better coverage of SIMIX_process_suspend and resume. |
blob | commitdiff | raw | diff to current |
2012-05-03 |
Samuel Lepetit | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2012-05-03 |
Arnaud Legrand | Make the suspend/resume work while a process is in... |
blob | commitdiff | raw | diff to current |
2012-04-28 |
Martin Quinson | I forgot to update my tree before commiting (once again... |
blob | commitdiff | raw | diff to current |
2012-04-27 |
navarro | Update tesh for kill start time. |
blob | commitdiff | raw | diff to current |
2012-04-27 |
navarro | Rewrite the kill_time mecanism. |
blob | commitdiff | raw | diff to current |
2012-04-27 |
Arnaud Giersch | Cosmetics: misleading indentation. |
blob | commitdiff | raw | diff to current |
2012-04-26 |
Arnaud Legrand | Process that suspend themselves now create the correspo... |
blob | commitdiff | raw | diff to current |
2012-04-26 |
Samuel Lepetit | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2012-04-25 |
Arnaud Legrand | Do not try to resume a dying process. The corresponding... |
blob | commitdiff | raw | diff to current |
2012-04-25 |
Arnaud Legrand | Ensure that the same process never appears twice in... |
blob | commitdiff | raw | diff to current |
2012-04-25 |
Arnaud Legrand | Lame attempt to make cleanup and kill coexist |
blob | commitdiff | raw | diff to current |
2012-04-25 |
Arnaud Legrand | This commit partially reverts commit 4e0c8570051df3f711... |
blob | commitdiff | raw | diff to current |
2012-02-28 |
Martin Quinson | implement a SIMIX_processes_as_dynar() function |
blob | commitdiff | raw | diff to current |
2012-02-21 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2012-02-21 |
Arnaud Giersch | Fix format strings to match their arguments. |
blob | commitdiff | raw | diff to current |
2012-02-21 |
Arnaud Giersch | SIMIX_context_runall() doesn't take any argument. |
blob | commitdiff | raw | diff to current |
2012-02-13 |
Arnaud Giersch | Avoid to throw an exception, and catch it just below. |
blob | commitdiff | raw | diff to current |
2012-01-30 |
Marion Guthmuller | merge conflict resolved |
blob | commitdiff | raw | diff to current |
2012-01-25 |
Christophe Thiéry | SIMIX refactoring: replace 'request' by a more precise... |
blob | commitdiff | raw | diff to current |
2012-01-25 |
Christophe Thiéry | Rename SIMIX files |
blob | commitdiff | raw | diff to current |
2012-01-19 |
Christophe Thiéry | Fix SIMIX_post_io. For now SIMIX_req_file_read makes... |
blob | commitdiff | raw | diff to current |
2012-01-19 |
navarro | Starting simix mecanism for io. |
blob | commitdiff | raw | diff to current |
2012-01-19 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2012-01-17 |
navarro | Revert "Fix segfault when using XBT_... and when proces... |
blob | commitdiff | raw | diff to current |
2012-01-17 |
navarro | Fix segfault when using XBT_... and when process have... |
blob | commitdiff | raw | diff to current |
2012-01-17 |
navarro | Implement SIMIX_process_from_PID |
blob | commitdiff | raw | diff to current |
2012-01-13 |
Marion Guthmuller | Merge branch 'MC_LTL' |
blob | commitdiff | raw | diff to current |
2012-01-13 |
Martin Quinson | Merge branch 'MC_LTL' |
blob | commitdiff | raw | diff to current |
2012-01-13 |
unknown | Declare functions XBT_PUBLIC to export them. |
blob | commitdiff | raw | diff to current |
2012-01-11 |
Marion Guthmuller | merge conflicts resolved |
blob | commitdiff | raw | diff to current |
2012-01-09 |
Martin Quinson | Merge branches 'MC_LTL' and 'MC_LTL' of scm.gforge... |
blob | commitdiff | raw | diff to current |
2012-01-06 |
Christophe Thiéry | Merge branch 'master' of git+ssh://scm.gforge.inria... |
blob | commitdiff | raw | diff to current |
2012-01-06 |
Christophe Thiéry | SIMIX: when a process is killed, remove its blocking... |
blob | commitdiff | raw | diff to current |
2012-01-06 |
Christophe Thiéry | Merge branch 'smpi' |
blob | commitdiff | raw | diff to current |
2012-01-05 |
Christophe Thiéry | SMPI: before terminating a process, wait for its asynch... |
blob | commitdiff | raw | diff to current |
2012-01-05 |
Christophe Thiéry | When a process leaves, no one should ever finish a... |
blob | commitdiff | raw | diff to current |
2011-12-26 |
Martin Quinson | When the process exits, don't cancel the communications... |
blob | commitdiff | raw | diff to current |
next |