2012-11-18 |
Marion Guthmuller | model-checker : use XBT_DEBUG instead of XBT_INFO |
commit | commitdiff | tree | snapshot |
2012-11-18 |
Marion Guthmuller | model-checker : fix insertion in mc_data_bss_comparion |
commit | commitdiff | tree | snapshot |
2012-11-18 |
Marion Guthmuller | model-checker : ignore some variables enabled with... |
commit | commitdiff | tree | snapshot |
2012-11-18 |
Marion Guthmuller | model-checker : improve stack ignore in heap comparison... |
commit | commitdiff | tree | snapshot |
2012-11-18 |
Marion Guthmuller | model-checker : stateful mode disabled by default |
commit | commitdiff | tree | snapshot |
2012-11-17 |
Marion Guthmuller | model-checker : stop independance reduction if same... |
commit | commitdiff | tree | snapshot |
2012-11-16 |
Marion Guthmuller | model-checker : ignore new local variable |
commit | commitdiff | tree | snapshot |
2012-11-16 |
Marion Guthmuller | model-checker : use XBT_DEBUG instead of XBT_INFO |
commit | commitdiff | tree | snapshot |
2012-11-16 |
Marion Guthmuller | model-checker : MC_init() must be called for initial... |
commit | commitdiff | tree | snapshot |
2012-11-16 |
Marion Guthmuller | model-checker : fix dpor algorithm |
commit | commitdiff | tree | snapshot |
2012-11-16 |
Marion Guthmuller | forget to apply cleanups in MC on SMPI (separate MC_mod... |
commit | commitdiff | tree | snapshot |
2012-11-15 |
Marion Guthmuller | model-checker : factorize code for safety and liveness... |
commit | commitdiff | tree | snapshot |
2012-11-15 |
Marion Guthmuller | model-checker : fix dependance theorem according to... |
commit | commitdiff | tree | snapshot |
2012-11-15 |
Marion Guthmuller | model-checker : warning message if max depth is reached |
commit | commitdiff | tree | snapshot |
2012-11-15 |
Marion Guthmuller | model-checker : memory free |
commit | commitdiff | tree | snapshot |
2012-11-15 |
Marion Guthmuller | model-checker : cleanups in verification of current... |
commit | commitdiff | tree | snapshot |
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 |
next |