2012-11-28 |
jean-noel quintin | [smpi,simix-network] remove a useless function |
tree | commitdiff |
2012-11-28 |
schnorr | [trace] header re-organization (now with a basic version) |
tree | commitdiff |
2012-11-28 |
schnorr | [trace] fix color for MPI operations to correctly follo... |
tree | commitdiff |
2012-11-28 |
schnorr | [trace] new option tracing/basic (used to generate... |
tree | commitdiff |
2012-11-28 |
Marion Guthmuller | model-checker : init result of simcalls for snapshot... |
tree | commitdiff |
2012-11-28 |
Marion Guthmuller | model-checker : try first to associate each block or... |
tree | commitdiff |
2012-11-27 |
Marion Guthmuller | model-checker : remove unnecessary step |
tree | commitdiff |
2012-11-27 |
Marion Guthmuller | model-checker : equal_to field of blocks/fragments... |
tree | commitdiff |
2012-11-27 |
Marion Guthmuller | modelc-checker : reset list of blocks/fragments pairs... |
tree | commitdiff |
2012-11-27 |
Marion Guthmuller | model-checker : init equal_to field to -1 for each... |
tree | commitdiff |
2012-11-27 |
Marion Guthmuller | model-checker : set size used to 0 when free fragment |
tree | commitdiff |
2012-11-27 |
Arnaud Giersch | Call xbt_log_postexit() at the end. |
tree | commitdiff |
2012-11-27 |
Arnaud Giersch | gras_os_time() has vanished. |
tree | commitdiff |
2012-11-27 |
Arnaud Giersch | File is unused since commit 678328fb7b84cbcebfff2e5df24... |
tree | commitdiff |
2012-11-26 |
Arnaud Giersch | Remove needless volatile qualifier. |
tree | commitdiff |
2012-11-26 |
suter | change default value of tcp_gamma to use something... |
tree | commitdiff |
2012-11-26 |
Martin Quinson | doxygen is sooooo roten, it drives me crazy |
tree | commitdiff |
2012-11-26 |
Martin Quinson | add xbt_fifo_search(), to search an item with a user... |
tree | commitdiff |
2012-11-25 |
Martin Quinson | move sg_cmdline to xbt/virtu.h module, and rename it... |
tree | commitdiff |
2012-11-25 |
Martin Quinson | xbt_os_procname and xbt_binary_name are the same -... |
tree | commitdiff |
2012-11-25 |
Martin Quinson | Apparently, I'm not allowed to free the memory here |
tree | commitdiff |
2012-11-25 |
Martin Quinson | plug a (damn) memleak. Gosh, this one was hard to get... |
tree | commitdiff |
2012-11-23 |
Arnaud Giersch | Remove fixme comment. |
tree | commitdiff |
2012-11-23 |
Arnaud Giersch | Log priorities were renamed a long time ago. |
tree | commitdiff |
2012-11-23 |
Arnaud Giersch | Eradicate gras further. |
tree | commitdiff |
2012-11-23 |
Arnaud Giersch | Merge branch 'killgraskill' |
tree | commitdiff |
2012-11-23 |
Arnaud Giersch | Finalize coverage for swag.c. |
tree | commitdiff |
2012-11-23 |
Arnaud Giersch | Kill more references to GRAS. |
tree | commitdiff |
2012-11-23 |
Arnaud Giersch | Rename gras_config to internal_config. |
tree | commitdiff |
2012-11-23 |
Arnaud Giersch | Kill xbt_dynar_dopar(). |
tree | commitdiff |
2012-11-23 |
Arnaud Giersch | Use real threads for xbt_dynar_dopar. |
tree | commitdiff |
2012-11-23 |
Arnaud Giersch | Move check at another place where it doesn't break... |
tree | commitdiff |
2012-11-22 |
Martin Quinson | useless cosmetic |
tree | commitdiff |
2012-11-22 |
Martin Quinson | comments, debugs and other minor glitches |
tree | commitdiff |
2012-11-22 |
Martin Quinson | kill synchronized dynars: we don't need them and they... |
tree | commitdiff |
2012-11-22 |
suter | typo-- |
tree | commitdiff |
2012-11-22 |
suter | some things do not have to be done by each process |
tree | commitdiff |
2012-11-22 |
Arnaud Giersch | We want host name here, not process name. |
tree | commitdiff |
2012-11-22 |
Arnaud Giersch | Remove more references to gras. |
tree | commitdiff |
2012-11-22 |
Arnaud Giersch | Define xbt_os_procname(). |
tree | commitdiff |
2012-11-22 |
Arnaud Giersch | xbt_trp and xbt_datadesc were removed. |
tree | commitdiff |
2012-11-22 |
Arnaud Giersch | Kill gras_modinter.h. |
tree | commitdiff |
2012-11-22 |
Arnaud Giersch | Log category gras_trp_sg does not exist anymore. |
tree | commitdiff |
2012-11-22 |
suter | remove some leaks in verbose replay |
tree | commitdiff |
2012-11-22 |
Martin Quinson | first try at killing GRAS -- does not compile yet |
tree | commitdiff |
2012-11-22 |
paul bedaride | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-11-21 |
Augustin Degomme | secure the stack size parameter for thread, |
tree | commitdiff |
2012-11-21 |
Augustin Degomme | seriously ... |
tree | commitdiff |
2012-11-21 |
Marion Guthmuller | model-checker: take snapshot if property file set |
tree | commitdiff |
2012-11-21 |
Martin Quinson | s/lastest/latest/ (stupid me) |
tree | commitdiff |
2012-11-21 |
Marion Guthmuller | model-checker : abort if acceptance cycle detected |
tree | commitdiff |
2012-11-21 |
Marion Guthmuller | model-checker : remove automatic activation of MC if... |
tree | commitdiff |
2012-11-20 |
Marion Guthmuller | model-checker : rename cfg flag for state comparison... |
tree | commitdiff |
2012-11-20 |
Marion Guthmuller | model-checker : use xbt_cfg_setdefault instead of defau... |
tree | commitdiff |
2012-11-20 |
Marion Guthmuller | model-checker : ignore coverage variables |
tree | commitdiff |
2012-11-20 |
Marion Guthmuller | model-checker : abort if popen failed |
tree | commitdiff |
2012-11-19 |
Marion Guthmuller | model-checker : fix compilation error (with optimizatio... |
tree | commitdiff |
2012-11-19 |
Martin Quinson | add the TLA specification of the simix network layer... |
tree | commitdiff |
2012-11-19 |
Martin Quinson | attempt to get everything properly cleaned when only... |
tree | commitdiff |
2012-11-18 |
Marion Guthmuller | model-checker : use XBT_DEBUG instead of XBT_INFO |
tree | commitdiff |
2012-11-18 |
Marion Guthmuller | model-checker : fix insertion in mc_data_bss_comparion |
tree | commitdiff |
2012-11-18 |
Marion Guthmuller | model-checker : ignore some variables enabled with... |
tree | commitdiff |
2012-11-18 |
Marion Guthmuller | model-checker : improve stack ignore in heap comparison... |
tree | commitdiff |
2012-11-18 |
Marion Guthmuller | model-checker : stateful mode disabled by default |
tree | commitdiff |
2012-11-17 |
Marion Guthmuller | model-checker : stop independance reduction if same... |
tree | commitdiff |
2012-11-16 |
Marion Guthmuller | model-checker : ignore new local variable |
tree | commitdiff |
2012-11-16 |
Marion Guthmuller | model-checker : use XBT_DEBUG instead of XBT_INFO |
tree | commitdiff |
2012-11-16 |
Marion Guthmuller | model-checker : MC_init() must be called for initial... |
tree | commitdiff |
2012-11-16 |
Marion Guthmuller | model-checker : fix dpor algorithm |
tree | commitdiff |
2012-11-16 |
Marion Guthmuller | forget to apply cleanups in MC on SMPI (separate MC_mod... |
tree | commitdiff |
2012-11-15 |
Marion Guthmuller | model-checker : factorize code for safety and liveness... |
tree | commitdiff |
2012-11-15 |
Marion Guthmuller | model-checker : fix dependance theorem according to... |
tree | commitdiff |
2012-11-15 |
Marion Guthmuller | model-checker : warning message if max depth is reached |
tree | commitdiff |
2012-11-15 |
Marion Guthmuller | model-checker : memory free |
tree | commitdiff |
2012-11-15 |
Marion Guthmuller | model-checker : cleanups in verification of current... |
tree | commitdiff |
2012-11-15 |
Marion Guthmuller | model-checker : comparison times are NULL for visited_pair |
tree | commitdiff |
2012-11-15 |
Marion Guthmuller | model-checker : fix segfault in get_local_variables_val... |
tree | commitdiff |
2012-11-15 |
Marion Guthmuller | model-checker : store last visited states during explor... |
tree | commitdiff |
2012-11-15 |
Arnaud Giersch | Put forward declaration of static function in c file... |
tree | commitdiff |
2012-11-15 |
paul bedaride | Fix TestSuite.msg-file |
tree | commitdiff |
2012-11-14 |
Martin Quinson | New function: MSG_get_process_number() |
tree | commitdiff |
2012-11-14 |
Arnaud Giersch | smpicc: also reset CMAKE_LINKARGS when no linking is... |
tree | commitdiff |
2012-11-14 |
Arnaud Giersch | Size can be negative. Use ssize_t instead of size_t. |
tree | commitdiff |
2012-11-13 |
Marion Guthmuller | model-checker : new cfg command line flag (model-check... |
tree | commitdiff |
2012-11-12 |
Marion Guthmuller | model-checker : cosmetics on log message |
tree | commitdiff |
2012-11-12 |
Marion Guthmuller | model-checker : Add statistics about comparison times... |
tree | commitdiff |
2012-11-12 |
Augustin Degomme | cosmetics and fix ugly bug in windows code |
tree | commitdiff |
2012-11-12 |
Augustin Degomme | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-11-12 |
Lucas Schnorr | [trace] bye bye triva, welcome viva |
tree | commitdiff |
2012-11-12 |
Augustin Degomme | update doc for asynchronous send |
tree | commitdiff |
2012-11-12 |
Lucas Schnorr | [trace] do not extract topology graph if user ask to... |
tree | commitdiff |
2012-11-12 |
Lucas Schnorr | [trace] new tracing option to disable the topology... |
tree | commitdiff |
2012-11-12 |
Lucas Schnorr | [trace] cosmetics, platform is registered as a hierarch... |
tree | commitdiff |
2012-11-12 |
Augustin Degomme | avoid setting the value of the stack size for thread... |
tree | commitdiff |
2012-11-12 |
Augustin Degomme | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-11-11 |
Marion Guthmuller | model-checker : remove chunks used comparison at the... |
tree | commitdiff |
2012-11-11 |
Marion Guthmuller | model-checker : unset raw heap after display of statist... |
tree | commitdiff |
2012-11-11 |
Marion Guthmuller | model-checker : get times elapsed for snasphot comparison |
tree | commitdiff |
2012-11-11 |
Marion Guthmuller | model-checker : add ignore mechanism for global variabl... |
tree | commitdiff |
2012-11-11 |
Marion Guthmuller | model-checker : get start of libsimgrid bss segment... |
tree | commitdiff |
next |