2012-11-15 |
Marion Guthmuller | model-checker : comparison times are NULL for visited_pair |
commit | commitdiff | tree | snapshot |
2012-11-15 |
Marion Guthmuller | model-checker : fix segfault in get_local_variables_val... |
commit | commitdiff | tree | snapshot |
2012-11-15 |
Marion Guthmuller | model-checker : create subdir for chord example with... |
commit | commitdiff | tree | snapshot |
2012-11-15 |
Marion Guthmuller | model-checker : store last visited states during explor... |
commit | commitdiff | tree | snapshot |
2012-11-15 |
Arnaud Giersch | Do memchecks with tracing=on, now that it's enabled... |
commit | commitdiff | tree | snapshot |
2012-11-15 |
Arnaud Giersch | Put the TRY..CATCH inside a wrapper function. |
commit | commitdiff | tree | snapshot |
2012-11-15 |
Arnaud Giersch | Add missing include. |
commit | commitdiff | tree | snapshot |
2012-11-15 |
Arnaud Giersch | Put forward declaration of static function in c file... |
commit | commitdiff | tree | snapshot |
2012-11-15 |
paul bedaride | Fix TestSuite.msg-file |
commit | commitdiff | tree | snapshot |
2012-11-15 |
Arnaud Giersch | Make paranoid compiler happy. |
commit | commitdiff | tree | snapshot |
2012-11-15 |
Maximiliano... | flatifier: added --downgrade option to output version... |
commit | commitdiff | tree | snapshot |
2012-11-15 |
Martin Quinson | display on configuration output whether the mallocators... |
commit | commitdiff | tree | snapshot |
2012-11-15 |
Martin Quinson | turn off the mallocators during the memory check |
commit | commitdiff | tree | snapshot |
2012-11-15 |
Martin Quinson | git reset hard works even for Java. True story. |
commit | commitdiff | tree | snapshot |
2012-11-14 |
Arnaud Giersch | Git-reset should do the job here, plus minor corrections. |
commit | commitdiff | tree | snapshot |
2012-11-14 |
Martin Quinson | ahem, document the right name for the new function |
commit | commitdiff | tree | snapshot |
2012-11-14 |
Martin Quinson | rewrite the 'howto release' guide, in paranoid mode |
commit | commitdiff | tree | snapshot |
2012-11-14 |
Martin Quinson | typo in comments |
commit | commitdiff | tree | snapshot |
2012-11-14 |
Martin Quinson | cosmetics |
commit | commitdiff | tree | snapshot |
2012-11-14 |
Martin Quinson | New function: MSG_get_process_number() |
commit | commitdiff | tree | snapshot |
2012-11-14 |
Martin Quinson | enhance the flatifier so that it can be used for platfo... |
commit | commitdiff | tree | snapshot |
2012-11-14 |
Maximiliano... | BitTorrent: changed the way the PIECE message is handle... |
commit | commitdiff | tree | snapshot |
2012-11-14 |
Maximiliano... | BitTorrent: added reference to the report by A. Legout... |
commit | commitdiff | tree | snapshot |
2012-11-14 |
Arnaud Giersch | smpicc: also reset CMAKE_LINKARGS when no linking is... |
commit | commitdiff | tree | snapshot |
2012-11-14 |
Arnaud Giersch | Size can be negative. Use ssize_t instead of size_t. |
commit | commitdiff | tree | snapshot |
2012-11-14 |
Arnaud Giersch | Remove unsupported flags when Clang is used. |
commit | commitdiff | tree | snapshot |
2012-11-14 |
Arnaud Giersch | Also print CMAKE_xxx_COMPILER_ID. |
commit | commitdiff | tree | snapshot |
2012-11-13 |
Marion Guthmuller | model-checker : new cfg command line flag (model-check... |
commit | commitdiff | tree | snapshot |
2012-11-13 |
paul bedaride | Correct a bug in kademlia |
commit | commitdiff | tree | snapshot |
2012-11-12 |
Arnaud Giersch | Write the add_test(...) so that they are compatible... |
commit | commitdiff | tree | snapshot |
2012-11-12 |
Arnaud Giersch | Use configure_file(... COPYONLY) instead of file(COPY... |
commit | commitdiff | tree | snapshot |
2012-11-12 |
Arnaud Giersch | Define macro if it's missing. |
commit | commitdiff | tree | snapshot |
2012-11-12 |
Arnaud Giersch | Protect string with quotes. |
commit | commitdiff | tree | snapshot |
2012-11-12 |
Arnaud Giersch | Use options compatible with older versions of git. |
commit | commitdiff | tree | snapshot |
2012-11-12 |
Arnaud Giersch | If several remotes are set, arbitrarily use the first... |
commit | commitdiff | tree | snapshot |
2012-11-12 |
Marion Guthmuller | model-checker : cosmetics on log message |
commit | commitdiff | tree | snapshot |
2012-11-12 |
Marion Guthmuller | model-checker : Add statistics about comparison times... |
commit | commitdiff | tree | snapshot |
2012-11-12 |
Augustin Degomme | cosmetics and fix ugly bug in windows code |
commit | commitdiff | tree | snapshot |
2012-11-12 |
Augustin Degomme | Merge branch 'master' of git+ssh://scm.gforge.inria... |
commit | commitdiff | tree | snapshot |
2012-11-12 |
Lucas Schnorr | [trace] bye bye triva, welcome viva |
commit | commitdiff | tree | snapshot |
2012-11-12 |
Augustin Degomme | update doc for asynchronous send |
commit | commitdiff | tree | snapshot |
2012-11-12 |
Lucas Schnorr | [trace] do not extract topology graph if user ask to... |
commit | commitdiff | tree | snapshot |
2012-11-12 |
Lucas Schnorr | [trace] new tracing option to disable the topology... |
commit | commitdiff | tree | snapshot |
2012-11-12 |
Lucas Schnorr | [trace] cosmetics, platform is registered as a hierarch... |
commit | commitdiff | tree | snapshot |
2012-11-12 |
Augustin Degomme | update doc to reflect change of the stack_size parameter |
commit | commitdiff | tree | snapshot |
2012-11-12 |
Augustin Degomme | avoid setting the value of the stack size for thread... |
commit | commitdiff | tree | snapshot |
2012-11-12 |
Augustin Degomme | Merge branch 'master' of git+ssh://scm.gforge.inria... |
commit | commitdiff | tree | snapshot |
2012-11-11 |
Marion Guthmuller | model-checker : remove chunks used comparison at the... |
commit | commitdiff | tree | snapshot |
2012-11-11 |
Marion Guthmuller | model-checker : unset raw heap after display of statist... |
commit | commitdiff | tree | snapshot |
2012-11-11 |
Marion Guthmuller | model-checker : get times elapsed for snasphot comparison |
commit | commitdiff | tree | snapshot |
2012-11-11 |
Marion Guthmuller | model-checker : add ignore mechanism for global variabl... |
commit | commitdiff | tree | snapshot |
2012-11-11 |
Marion Guthmuller | model-checker : get start of libsimgrid bss segment... |
commit | commitdiff | tree | snapshot |
2012-11-11 |
Marion Guthmuller | model-checker : typo |
commit | commitdiff | tree | snapshot |
2012-11-09 |
Marion Guthmuller | Shake up snapshot comparison : apply a new order of... |
commit | commitdiff | tree | snapshot |
2012-11-09 |
Marion Guthmuller | model-checker : remove unnecessary comment |
commit | commitdiff | tree | snapshot |
2012-11-09 |
Marion Guthmuller | model-checker : move creation of initial_state_liveness... |
commit | commitdiff | tree | snapshot |
2012-11-09 |
Marion Guthmuller | model-checker : add size of stack in parameter of the... |
commit | commitdiff | tree | snapshot |
2012-11-09 |
Marion Guthmuller | model-checker : getter function for chunks used in... |
commit | commitdiff | tree | snapshot |
2012-11-09 |
Marion Guthmuller | model-checker : use statistics already included in... |
commit | commitdiff | tree | snapshot |
2012-11-09 |
Marion Guthmuller | model-checker : initialize global variables |
commit | commitdiff | tree | snapshot |
2012-11-09 |
Augustin Degomme | add a function in xbt to allow setting the stack size... |
commit | commitdiff | tree | snapshot |
2012-11-08 |
Marion Guthmuller | model-checker : enable WaitTimeout requests only if... |
commit | commitdiff | tree | snapshot |
2012-11-08 |
Marion Guthmuller | model-checker : new command line flag (model-check... |
commit | commitdiff | tree | snapshot |
2012-11-07 |
Marion Guthmuller | model-checker : initialize variables (compilation error... |
commit | commitdiff | tree | snapshot |
2012-11-07 |
Marion Guthmuller | model-checker : add debug information on processes... |
commit | commitdiff | tree | snapshot |
2012-11-07 |
Marion Guthmuller | model-checker: add chord example for liveness property... |
commit | commitdiff | tree | snapshot |
2012-11-07 |
Marion Guthmuller | model-checker : initialize global variable ignore_done... |
commit | commitdiff | tree | snapshot |
2012-11-07 |
Marion Guthmuller | model-checker : remove backtracking if no more request... |
commit | commitdiff | tree | snapshot |
2012-11-07 |
Marion Guthmuller | model-checker : comment trigger for state equality... |
commit | commitdiff | tree | snapshot |
2012-11-07 |
Marion Guthmuller | model-checker : improve debug information for stacks... |
commit | commitdiff | tree | snapshot |
2012-11-07 |
Marion Guthmuller | model-checker : add local variables from xbt/ex.h in... |
commit | commitdiff | tree | snapshot |
2012-11-07 |
Marion Guthmuller | model-checker : ignore some local variables from xbt... |
commit | commitdiff | tree | snapshot |
2012-11-07 |
Marion Guthmuller | model-checker : update examples for test snapshot compa... |
commit | commitdiff | tree | snapshot |
2012-11-07 |
Marion Guthmuller | model-checker : memory free |
commit | commitdiff | tree | snapshot |
2012-11-07 |
Marion Guthmuller | model-checker : verification of current_heap |
commit | commitdiff | tree | snapshot |
2012-11-07 |
Marion Guthmuller | model-checker : add ignore mechanism for comparison... |
commit | commitdiff | tree | snapshot |
2012-11-07 |
Marion Guthmuller | model-checker : remove declaration of unused function |
commit | commitdiff | tree | snapshot |
2012-11-07 |
Marion Guthmuller | model-checker : fix dynar index in algorithm to get... |
commit | commitdiff | tree | snapshot |
2012-11-07 |
Augustin Degomme | add timeout to compute tesh, as i386 debian is painfull... |
commit | commitdiff | tree | snapshot |
2012-11-05 |
Augustin Degomme | as MPI_Iprobe always use a 0-sized request, do not... |
commit | commitdiff | tree | snapshot |
2012-11-04 |
degomme | add a tesh file and test for two already existing tests... |
commit | commitdiff | tree | snapshot |
2012-11-04 |
degomme | handle MPI_UB and MPI_LB for real, activate tests in... |
commit | commitdiff | tree | snapshot |
2012-10-31 |
navarro | Merge branch 'master' of git+ssh://scm.gforge.inria... |
commit | commitdiff | tree | snapshot |
2012-10-31 |
navarro | Add an example of generated pdf from simgrid scalability |
commit | commitdiff | tree | snapshot |
2012-10-31 |
Augustin Degomme | replace explicit smpi_sleep calls I introduced in some... |
commit | commitdiff | tree | snapshot |
2012-10-31 |
Augustin Degomme | quick fix that hopefully won't break too much compilati... |
commit | commitdiff | tree | snapshot |
2012-10-31 |
Augustin Degomme | do not fail when building smpi without f2c, as it is... |
commit | commitdiff | tree | snapshot |
2012-10-31 |
Augustin Degomme | move defines frmpo smpi.h to mpi.h, to avoid using... |
commit | commitdiff | tree | snapshot |
2012-10-31 |
Augustin Degomme | remove todo, once done |
commit | commitdiff | tree | snapshot |
2012-10-31 |
navarro | Change parse for exec to be complient with simgrid... |
commit | commitdiff | tree | snapshot |
2012-10-31 |
navarro | Oups |
commit | commitdiff | tree | snapshot |
2012-10-31 |
navarro | Reused mem check in pipol |
commit | commitdiff | tree | snapshot |
2012-10-31 |
navarro | Merge branch 'master' of git+ssh://scm.gforge.inria... |
commit | commitdiff | tree | snapshot |
2012-10-31 |
navarro | Remove all navarro into source of pipol |
commit | commitdiff | tree | snapshot |
2012-10-31 |
Arnaud Giersch | Variable is unused, remove it. |
commit | commitdiff | tree | snapshot |
2012-10-30 |
suter | use MSG_host_set_property_value everywhere |
commit | commitdiff | tree | snapshot |
2012-10-30 |
suter | better to use a function that exists than dealing with... |
commit | commitdiff | tree | snapshot |
2012-10-30 |
navarro | Correct way to use CTestCustom.cmake |
commit | commitdiff | tree | snapshot |
2012-10-30 |
Augustin Degomme | small change for future fortran tests in context folder |
commit | commitdiff | tree | snapshot |
2012-10-30 |
Augustin Degomme | add changes to previous commit on ctest |
commit | commitdiff | tree | snapshot |
next |