| 2012-11-22 |
Martin Quinson | merge changes: modify GRAS vs. kill GRAS, kill wins |
commit | commitdiff | tree | snapshot |
| 2012-11-22 |
paul bedaride | Merge branch 'master' of git+ssh://scm.gforge.inria... |
commit | commitdiff | tree | snapshot |
| 2012-11-22 |
paul bedaride | Change links in doc |
commit | commitdiff | tree | snapshot |
| 2012-11-22 |
Marion Guthmuller | model-checker : increase timeout in tesh chord_neverjoin |
commit | commitdiff | tree | snapshot |
| 2012-11-22 |
Marion Guthmuller | model-checker : increase timeout in tesh snapshot_compa... |
commit | commitdiff | tree | snapshot |
| 2012-11-21 |
Augustin Degomme | secure the stack size parameter for thread, |
commit | commitdiff | tree | snapshot |
| 2012-11-21 |
Augustin Degomme | there was a mistake that prevented examples dir from... |
commit | commitdiff | tree | snapshot |
| 2012-11-21 |
Augustin Degomme | Switch some globals to DATA, this shouldn't change... |
commit | commitdiff | tree | snapshot |
| 2012-11-21 |
Augustin Degomme | seriously ... |
commit | commitdiff | tree | snapshot |
| 2012-11-21 |
Marion Guthmuller | model-checker: take snapshot if property file set |
commit | commitdiff | tree | snapshot |
| 2012-11-21 |
Martin Quinson | s/lastest/latest/ (stupid me) |
commit | commitdiff | tree | snapshot |
| 2012-11-21 |
Marion Guthmuller | model-checker : abort if acceptance cycle detected |
commit | commitdiff | tree | snapshot |
| 2012-11-21 |
Marion Guthmuller | model-checker : remove automatic activation of MC if... |
commit | commitdiff | tree | snapshot |
| 2012-11-20 |
Marion Guthmuller | model-checker : new tesh for snapshot comparison tests |
commit | commitdiff | tree | snapshot |
| 2012-11-20 |
Marion Guthmuller | model-checker : rename cfg flag for state comparison... |
commit | commitdiff | tree | snapshot |
| 2012-11-20 |
Marion Guthmuller | model-checker : use xbt_cfg_setdefault instead of defau... |
commit | commitdiff | tree | snapshot |
| 2012-11-20 |
Marion Guthmuller | model-checker : ignore coverage variables |
commit | commitdiff | tree | snapshot |
| 2012-11-20 |
Marion Guthmuller | model-checker : abort if popen failed |
commit | commitdiff | tree | snapshot |
| 2012-11-19 |
Marion Guthmuller | model-checker : fix compilation error (with optimizatio... |
commit | commitdiff | tree | snapshot |
| 2012-11-19 |
Martin Quinson | add the TLA specification of the simix network layer... |
commit | commitdiff | tree | snapshot |
| 2012-11-19 |
Martin Quinson | attempt to get everything properly cleaned when only... |
commit | commitdiff | tree | snapshot |
| 2012-11-18 |
Marion Guthmuller | model-checker : add tesh for bugged1_liveness and chord... |
commit | commitdiff | tree | snapshot |
| 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 |
| next |
