| 2012-11-30 |
suter | typos |
tree | commitdiff |
| 2012-11-30 |
Augustin Degomme | have the smpif90 file replace the main program clause... |
tree | commitdiff |
| 2012-11-30 |
Augustin Degomme | fix a memory leak happening with smpi_replay |
tree | commitdiff |
| 2012-11-30 |
Augustin Degomme | add support of smpif90 file |
tree | commitdiff |
| 2012-11-30 |
Augustin Degomme | add yet another stunt with smpi_simulated_main to provi... |
tree | commitdiff |
| 2012-11-30 |
Augustin Degomme | replace smpi_simulated main by smpi_simulated_main__... |
tree | commitdiff |
| 2012-11-30 |
Augustin Degomme | add two functions to fortran bindings, needed by specfem |
tree | commitdiff |
| 2012-11-30 |
shenshei | Merge ../simgrid |
tree | commitdiff |
| 2012-11-30 |
shenshei | New simcalls work |
tree | commitdiff |
| 2012-11-29 |
suter | printing the final simulation time also has to be done... |
tree | commitdiff |
| 2012-11-29 |
suter | assuming that rank 0 is the last to finish is a bad... |
tree | commitdiff |
| 2012-11-29 |
suter | clean stuff even when the scheduled is not good |
tree | commitdiff |
| 2012-11-28 |
shenshei | Change simcall functions |
tree | commitdiff |
| 2012-11-28 |
paul bedaride | Add macros to generate simcalls code |
tree | commitdiff |
| 2012-11-28 |
Cristian Rosa | Make SimGrid compile again :) |
tree | commitdiff |
| 2012-11-28 |
Cristian Rosa | WIP on simcalls: fd8c267 Stop making direct calls to... |
tree | commitdiff |
| 2012-11-28 |
Cristian Rosa | Stop making direct calls to SIMIX for host handling... |
tree | commitdiff |
| 2012-11-28 |
Cristian Rosa | Kill unused macro. |
tree | commitdiff |
| 2012-11-28 |
Cristian Rosa | Move Hosts related simcalls to the new API. |
tree | commitdiff |
| 2012-11-28 |
Cristian Rosa | Add new type of scalar value 'STRING' for const char* |
tree | commitdiff |
| 2012-11-28 |
Cristian Rosa | Extend definition of simcalls to include a pointer... |
tree | commitdiff |
| 2012-11-28 |
Cristian Rosa | Move SIMCALL_HOST_EXECUTE to the new simcall architectu... |
tree | commitdiff |
| 2012-11-28 |
Cristian Rosa | Add new simcall interface definitions. |
tree | commitdiff |
| 2012-11-28 |
Cristian Rosa | Extend definition of simcalls to include a pointer... |
tree | commitdiff |
| 2012-11-28 |
Cristian Rosa | Move SIMCALL_HOST_EXECUTE to the new simcall architectu... |
tree | commitdiff |
| 2012-11-28 |
Cristian Rosa | Add new simcall interface definitions. |
tree | commitdiff |
| 2012-11-28 |
schnorr | [trace] avoiding key clashes on paje links |
tree | commitdiff |
| 2012-11-28 |
Augustin Degomme | forgot to add color for computing in previous commit |
tree | commitdiff |
| 2012-11-28 |
Augustin Degomme | add option to generate states for code outside smpi... |
tree | commitdiff |
| 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 | Typo + kill useless empty lines. |
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 |
| next |
