2012-11-28 |
Cristian Rosa | Move SIMCALL_HOST_EXECUTE to the new simcall architectu... |
blob | commitdiff | raw |
2012-11-28 |
Cristian Rosa | Add new simcall interface definitions. |
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-15 |
Marion Guthmuller | model-checker : factorize code for safety and liveness... |
blob | commitdiff | raw | diff to current |
2012-11-12 |
Marion Guthmuller | model-checker : Add statistics about comparison times... |
blob | commitdiff | raw | diff to current |
2012-10-28 |
Arnaud Giersch | Fix compilation without MC. |
blob | commitdiff | raw | diff to current |
2012-10-27 |
Marion Guthmuller | model-checker : New public functions to take a snapshot... |
blob | commitdiff | raw | diff to current |
2012-10-12 |
navarro | Oups rename function |
blob | commitdiff | raw | diff to current |
2012-10-12 |
navarro | First steps for making a tutorial on How to create... |
blob | commitdiff | raw | diff to current |
2012-09-27 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
blob | commitdiff | raw | diff to current |
2012-09-20 |
Augustin Degomme | add MPI_Probe and MPI_Iprobe support, and better handli... |
blob | commitdiff | raw | diff to current |
2012-09-11 |
navarro | Add a function ls to storage |
blob | commitdiff | raw | diff to current |
2012-09-06 |
navarro | Add a simcall for as and router property |
blob | commitdiff | raw | diff to current |
2012-08-09 |
Cristian Rosa | Add a new simcall to get/set the receiver of a rendez... |
blob | commitdiff | raw | diff to current |
2012-07-31 |
navarro | Add function to unlink a file. |
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-27 |
Samuel Lepetit | First bricks for auto_restart support in SIMIX/MSG. |
blob | commitdiff | raw | diff to current |
2012-06-25 |
Samuel Lepetit | Add a simcall for process_on_exit |
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-10 |
Martin Quinson | improve a comment on my way |
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 | Get rid of intrusive check now that suspend, resume... |
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 | Rewrite the kill_time mecanism. |
blob | commitdiff | raw | diff to current |
2012-04-27 |
Arnaud Giersch | Revert "got a "might be clobbered by ‘longjmp’ or ... |
blob | commitdiff | raw | diff to current |
2012-04-27 |
Frederic Suter | got a "might be clobbered by ‘longjmp’ or ‘vfork’"... |
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 | Ensure that the same process never appears twice in... |
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-01-31 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
blob | commitdiff | raw | diff to current |
2012-01-31 |
navarro | Implement file open read and stat in simix. |
blob | commitdiff | raw | diff to current |
2012-01-31 |
navarro | Make the commit on file read and write compile with... |
blob | commitdiff | raw | diff to current |
2012-01-31 |
navarro | Implement functions file_read and file_open into simix... |
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-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 'smpi' |
blob | commitdiff | raw | diff to current |
2012-01-05 |
Christophe Thiéry | Export SIMIX_rdv_remove and fix debug messages |
blob | commitdiff | raw | diff to current |
2011-12-26 |
Martin Quinson | Further investigate the dsend issue, in vain so far |
blob | commitdiff | raw | diff to current |
2011-12-26 |
Martin Quinson | merge back the master trunk into the smpi branch |
blob | commitdiff | raw | diff to current |
2011-12-13 |
Marion Guthmuller | Merge branch 'master' into MC_LTL |
blob | commitdiff | raw | diff to current |
2011-12-07 |
Marion Guthmuller | Merge branch 'master' into MC_LTL |
blob | commitdiff | raw | diff to current |
2011-12-05 |
Marion Guthmuller | Merge branch 'master' into MC_LTL |
blob | commitdiff | raw | diff to current |
2011-11-30 |
Marion Guthmuller | Merge branch 'master' into MC_LTL |
blob | commitdiff | raw | diff to current |
2011-11-22 |
Marion Guthmuller | merge conflicts |
blob | commitdiff | raw | diff to current |
2011-11-15 |
Christophe Thiéry | SIMIX: add a redundant parameter to avoid repeated... |
blob | commitdiff | raw | diff to current |
2011-11-15 |
Marion Guthmuller | model-checker : detection of acceptance cycle when... |
blob | commitdiff | raw | diff to current |
2011-10-20 |
Martin Quinson | Merge stuff again. Damn, I should pull before changing... |
blob | commitdiff | raw | diff to current |
2011-10-20 |
Martin Quinson | merge branches |
blob | commitdiff | raw | diff to current |
2011-10-14 |
Christophe Thiéry | Improve debug messages |
blob | commitdiff | raw | diff to current |
2011-05-13 |
Pierre-Nicolas Clauss | Merge back master branch. |
blob | commitdiff | raw | diff to current |
2011-05-05 |
Arnaud Giersch | Simplify the handling of SIMIX requests. |
blob | commitdiff | raw | diff to current |
2011-03-31 |
Lucas Schnorr | Merge branch 'master' into master-svn |
blob | commitdiff | raw | diff to current |
2011-03-29 |
Pierre-Nicolas Clauss | Merge branch 'master' of github.com:THEpini/simgrid |
blob | commitdiff | raw | diff to current |
2011-03-29 |
Pierre-Nicolas Clauss | Coding Sprint : Synchronize SVN with GitHub |
blob | commitdiff | raw | diff to current |
2011-03-29 |
cristianrosa | Merge branch 'master', remote branch 'git-hub-cristian... |
blob | commitdiff | raw | diff to current |
2011-03-24 |
agiersch | Use new macros THROWF and RETHROWF. |
blob | commitdiff | raw | diff to current |
2011-02-22 |
thiery | Simplify the management of processes in MSG. |
blob | commitdiff | raw | diff to current |
2011-02-21 |
thiery | Allow MSG_process_cleanup(p) to be called by other... |
blob | commitdiff | raw | diff to current |
2011-02-17 |
agiersch | Use new style logging macros. |
blob | commitdiff | raw | diff to current |
2011-02-08 |
thiery | Simix: add requests to make isend+wait or irecv+wait... |
blob | commitdiff | raw | diff to current |
2011-02-01 |
thiery | Remove SIMIX requests that get src and dst buffers... |
blob | commitdiff | raw | diff to current |
2011-02-01 |
cristianrosa | Compile fix: rename function changed after merge. |
blob | commitdiff | raw | diff to current |
2011-02-01 |
cristianrosa | Replace the req_todo heap with a table of swags one... |
blob | commitdiff | raw | diff to current |
2011-02-01 |
thiery | cfg=contexts/parallel:nb is now the number of threads... |
blob | commitdiff | raw | diff to current |
2011-01-31 |
cristianrosa | Add MSG_task_dsend function to MSG. |
blob | commitdiff | raw | diff to current |
2011-01-27 |
thiery | Replace the return value of SIMIX_req_process_create... |
blob | commitdiff | raw | diff to current |
2011-01-27 |
cristianrosa | Add extra argument "priority" to SIMIX_req_host_execute. |
blob | commitdiff | raw | diff to current |
2011-01-24 |
thiery | SIMIX requests: generate strings from enumeration value... |
blob | commitdiff | raw | diff to current |
2011-01-24 |
thiery | Move SIMIX comm requests to the top of the big switch |
blob | commitdiff | raw | diff to current |
2011-01-20 |
cristianrosa | Let the model-checker decide if the wait transitions... |
blob | commitdiff | raw | diff to current |
2011-01-20 |
cristianrosa | Code refactor: move the functions associated to the... |
blob | commitdiff | raw | diff to current |
2011-01-20 |
cristianrosa | Translate the executed TestAny and WaitAny requests... |
blob | commitdiff | raw | diff to current |
2011-01-20 |
cristianrosa | Some bugfixes: |
blob | commitdiff | raw | diff to current |
2011-01-07 |
cristianrosa | Small bugfixes to stabilize the MC |
blob | commitdiff | raw | diff to current |
2011-01-05 |
cristianrosa | Add suport for TestAny and WaitAny requests to the... |
blob | commitdiff | raw | diff to current |
2010-12-20 |
cristianrosa | Improve debugging information |
blob | commitdiff | raw | diff to current |
2010-12-15 |
thiery | Add a flag --cfg=simix/context to choose the context... |
blob | commitdiff | raw | diff to current |
2010-12-13 |
mquinson | function to see the name of syscall types in debugging... |
blob | commitdiff | raw | diff to current |
2010-12-13 |
mquinson | more verbose on problem |
blob | commitdiff | raw | diff to current |
2010-12-13 |
cristianrosa | Use a dynar instead of a swag to implement the process_... |
blob | commitdiff | raw | diff to current |
2010-12-08 |
mquinson | New trace replayer, as fast as hell, and as boring... |
blob | commitdiff | raw | diff to current |
2010-12-07 |
mquinson | do not store the requests on the process's stack nor... |
blob | commitdiff | raw | diff to current |
2010-12-07 |
mquinson | Do not traverse the whole array of request to find... |
blob | commitdiff | raw | diff to current |
2010-12-07 |
mquinson | Use a raw array instead of a dynar to store the requests |
blob | commitdiff | raw | diff to current |
2010-12-07 |
pini | Distinguish access to sender-side and receiver-side... |
blob | commitdiff | raw | diff to current |
2010-12-07 |
cristianrosa | No need to lock on request pop. |
blob | commitdiff | raw | diff to current |
2010-12-07 |
mquinson | no need to lock the structure if we run in sequential |
blob | commitdiff | raw | diff to current |
2010-12-07 |
cristianrosa | Add support for custom communication matching to SIMIX... |
blob | commitdiff | raw | diff to current |
2010-12-07 |
mquinson | implement simix_comm_testany properly |
blob | commitdiff | raw | diff to current |
2010-12-07 |
schnorr | [trace] renaming system call to set any action tracing... |
blob | commitdiff | raw | diff to current |
2010-12-07 |
schnorr | [trace] new system call to make categorized host utiliz... |
blob | commitdiff | raw | diff to current |
next |