2012-10-12 |
navarro | Finish the tutorial for new model and api |
commit | commitdiff | tree | snapshot |
2012-10-12 |
navarro | Oups rename function |
commit | commitdiff | tree | snapshot |
2012-10-12 |
navarro | Add first steps to explain How to add a new model in... |
commit | commitdiff | tree | snapshot |
2012-10-12 |
navarro | First steps for making a tutorial on How to create... |
commit | commitdiff | tree | snapshot |
2012-10-11 |
Augustin Degomme | add better support for MPI datatypes extent values... |
commit | commitdiff | tree | snapshot |
2012-10-11 |
paul bedaride | Merge branch 'master' of git+ssh://scm.gforge.inria... |
commit | commitdiff | tree | snapshot |
2012-10-11 |
Arnaud Giersch | Fix compilation warning. |
commit | commitdiff | tree | snapshot |
2012-10-11 |
Arnaud Giersch | Increase timeout in pmm.tesh. |
commit | commitdiff | tree | snapshot |
2012-10-11 |
Arnaud Giersch | Return immediately if p==NULL. |
commit | commitdiff | tree | snapshot |
2012-10-11 |
Arnaud Giersch | New cmake option "enable_mallocators", useful to disabl... |
commit | commitdiff | tree | snapshot |
2012-10-11 |
Arnaud Giersch | Include standard header files after local includes. |
commit | commitdiff | tree | snapshot |
2012-10-11 |
Arnaud Giersch | Define _GNU_SOURCE in xbt/misc.h, so that it's defined... |
commit | commitdiff | tree | snapshot |
2012-10-11 |
Marion Guthmuller | model-checker : forget regions corresponding to libsimg... |
commit | commitdiff | tree | snapshot |
2012-10-11 |
Augustin Degomme | add libunwind-devel package for fedora |
commit | commitdiff | tree | snapshot |
2012-10-11 |
jean-noel quintin | [example,smpi,MM] remove the specification of parameter... |
commit | commitdiff | tree | snapshot |
2012-10-11 |
paul bedaride | add tesh man to cmake |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Arnaud Giersch | Fix memory leaks in msg_pmm. |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Arnaud Giersch | Use 1/0 instead of false/true (*flag is an int). |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Arnaud Giersch | Include is missing when building with tracing=OFF. |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Arnaud Giersch | Add msg-pmm to the list of tests to run, and fill up... |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Arnaud Giersch | Cannot use a dsend here, or it will be aborted when... |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Arnaud Giersch | Check for errors from MSG_task_receive. |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Arnaud Giersch | Avoid to fail when we cannot read the output of addr2line. |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Arnaud Giersch | Typo. |
commit | commitdiff | tree | snapshot |
2012-10-10 |
paul bedaride | add tesh man |
commit | commitdiff | tree | snapshot |
2012-10-10 |
paul bedaride | add pmm.tesh |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Marion Guthmuller | function check_fraghead to detect mmalloc metadata... |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Martin Quinson | commit my deployment for testing the model-checking... |
commit | commitdiff | tree | snapshot |
2012-10-10 |
jean-noel quintin | [examples,smpi,MM] remove a useless function |
commit | commitdiff | tree | snapshot |
2012-10-10 |
jean-noel quintin | [examples,smpi,MM] get some positive value for the... |
commit | commitdiff | tree | snapshot |
2012-10-10 |
jean-noel quintin | Merge remote-tracking branch 'origin/master' |
commit | commitdiff | tree | snapshot |
2012-10-10 |
jean-noel quintin | [example,smpi,MM] remove the timer interface which... |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Arnaud Giersch | An empty body for this if statement looks wrong. |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Arnaud Giersch | Regenerated. |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Arnaud Giersch | Abort if getline failed. |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Arnaud Giersch | Remove unused function. |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Arnaud Giersch | Declare static functions in c file. |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Arnaud Giersch | Remove needless declaration of static function. |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Arnaud Giersch | Remove declaration of static functions from header... |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Arnaud Giersch | Expression is in fact of type ptrdiff_t, and modifier... |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Arnaud Giersch | An inline declaration without definition does not make... |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Arnaud Giersch | Remove generated file after test. |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Arnaud Giersch | Reorder includes. |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Martin Quinson | install libunwind for model-checking |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Arnaud Giersch | Always initialize variable. |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Arnaud Giersch | Use %z modifier for type size_t. |
commit | commitdiff | tree | snapshot |
2012-10-10 |
Martin Quinson | these files were added recently |
commit | commitdiff | tree | snapshot |
2012-10-09 |
Augustin Degomme | shunt a warning, quite dirtily |
commit | commitdiff | tree | snapshot |
2012-10-09 |
Augustin Degomme | forgot to handle MPI_ANY_SOURCE as a valid source,... |
commit | commitdiff | tree | snapshot |
2012-10-09 |
Augustin Degomme | add a few tests for smpi |
commit | commitdiff | tree | snapshot |
2012-10-09 |
jean-noel quintin | [examples,smpi] remove warnings and resolve a bug ... |
commit | commitdiff | tree | snapshot |
2012-10-09 |
Martin Quinson | improve a comment |
commit | commitdiff | tree | snapshot |
2012-10-09 |
navarro | Add a tesh file for smpi vector |
commit | commitdiff | tree | snapshot |
2012-10-09 |
jean-noel quintin | Merge remote-tracking branch 'origin/master' |
commit | commitdiff | tree | snapshot |
2012-10-09 |
jean-noel quintin | [smpi,example] an example of matrix multiplication... |
commit | commitdiff | tree | snapshot |
2012-10-09 |
Marion Guthmuller | set size to -1 for free fragments in new fragmented... |
commit | commitdiff | tree | snapshot |
2012-10-09 |
Marion Guthmuller | set value -1 in unsigned short cannot work fine ... |
commit | commitdiff | tree | snapshot |
2012-10-08 |
Marion Guthmuller | set size_used negative for free fragment/block |
commit | commitdiff | tree | snapshot |
2012-10-08 |
Martin Quinson | try harder to break mmalloc wrt double-free |
commit | commitdiff | tree | snapshot |
2012-10-08 |
jean-noel quintin | Merge remote-tracking branch 'origin/master' |
commit | commitdiff | tree | snapshot |
2012-10-08 |
jean-noel quintin | [smpi] correction bug for detached comm |
commit | commitdiff | tree | snapshot |
2012-10-08 |
Marion Guthmuller | UNLOCK forgotten before THROWF |
commit | commitdiff | tree | snapshot |
2012-10-08 |
Martin Quinson | checks that double free are correctly detected |
commit | commitdiff | tree | snapshot |
2012-10-08 |
Marion Guthmuller | check if free on fragment already free |
commit | commitdiff | tree | snapshot |
2012-10-08 |
Martin Quinson | add the new mmalloc test to the testsuite |
commit | commitdiff | tree | snapshot |
2012-10-08 |
Martin Quinson | better integration of this test in our framework (like... |
commit | commitdiff | tree | snapshot |
2012-10-08 |
Martin Quinson | Bug fix in mrealloc where the previous content could... |
commit | commitdiff | tree | snapshot |
2012-10-08 |
Martin Quinson | we all love debug informations |
commit | commitdiff | tree | snapshot |
2012-10-08 |
Martin Quinson | add a basic tesh test about mmalloc |
commit | commitdiff | tree | snapshot |
2012-10-08 |
Martin Quinson | kill a very old TODO file. We don't care of running... |
commit | commitdiff | tree | snapshot |
2012-10-08 |
Martin Quinson | we need the simgrid library too. True story. |
commit | commitdiff | tree | snapshot |
2012-10-08 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
commit | commitdiff | tree | snapshot |
2012-10-08 |
Martin Quinson | make it compile in a recent tree |
commit | commitdiff | tree | snapshot |
2012-10-08 |
Marion Guthmuller | add executable chord_before_dsend in CMakeLists |
commit | commitdiff | tree | snapshot |
2012-10-08 |
Marion Guthmuller | version of chord before use MSG_task_dsend |
commit | commitdiff | tree | snapshot |
2012-10-08 |
Marion Guthmuller | model-checker : restore struct smx_ctx_sysv in smx_cont... |
commit | commitdiff | tree | snapshot |
2012-10-08 |
Arnaud Giersch | Don't turn warnings about variables possibly clobbered... |
commit | commitdiff | tree | snapshot |
2012-10-08 |
Arnaud Giersch | Declare the function as static, and make the compiler... |
commit | commitdiff | tree | snapshot |
2012-10-08 |
Arnaud Giersch | Use binary dir for bindir, and cd to home dir. |
commit | commitdiff | tree | snapshot |
2012-10-08 |
degomme | add a free method for datatypes |
commit | commitdiff | tree | snapshot |
2012-10-07 |
Marion Guthmuller | model-checker : forget include ucontext.h for struct... |
commit | commitdiff | tree | snapshot |
2012-10-07 |
Marion Guthmuller | model-checker : test if variable is initialized (warnin... |
commit | commitdiff | tree | snapshot |
2012-10-06 |
Marion Guthmuller | model-checker : ignore differences in data segment... |
commit | commitdiff | tree | snapshot |
2012-10-06 |
Marion Guthmuller | model-checker : remove maestro stack from stack comparison |
commit | commitdiff | tree | snapshot |
2012-10-06 |
Marion Guthmuller | model-checker : cleanup in mc examples |
commit | commitdiff | tree | snapshot |
2012-10-05 |
Marion Guthmuller | model-checker : forget to remove unused variables |
commit | commitdiff | tree | snapshot |
2012-10-05 |
Marion Guthmuller | Get local variables in binary and libsimgrid.so and... |
commit | commitdiff | tree | snapshot |
2012-10-05 |
Marion Guthmuller | model-checker : remove unused variable with debug mode... |
commit | commitdiff | tree | snapshot |
2012-10-05 |
Marion Guthmuller | model-checker : extend MC_ignore mechanism for global... |
commit | commitdiff | tree | snapshot |
2012-10-05 |
Marion Guthmuller | model-checker : display information about variables... |
commit | commitdiff | tree | snapshot |
2012-10-05 |
Marion Guthmuller | cosmetics |
commit | commitdiff | tree | snapshot |
2012-10-05 |
Marion Guthmuller | model-checker : check if a difference detected in stack... |
commit | commitdiff | tree | snapshot |
2012-10-05 |
Marion Guthmuller | model-checker : functions only used in mc_global declar... |
commit | commitdiff | tree | snapshot |
2012-10-05 |
Marion Guthmuller | model-checker : store local variables in raw heap |
commit | commitdiff | tree | snapshot |
2012-10-05 |
Marion Guthmuller | model-checker : memory free |
commit | commitdiff | tree | snapshot |
2012-10-05 |
Marion Guthmuller | model-checker : double free memory fixed |
commit | commitdiff | tree | snapshot |
2012-10-05 |
Marion Guthmuller | model-checker : cosmetics reindent |
commit | commitdiff | tree | snapshot |
2012-10-05 |
Marion Guthmuller | model-checker : move functions about snapshot compariso... |
commit | commitdiff | tree | snapshot |
2012-10-05 |
Marion Guthmuller | model-checker : take snapshot of stacks (local variable... |
commit | commitdiff | tree | snapshot |
next |