| 2013-01-25 |
Marion Guthmuller | model-checker : cleanups for heap comparison from globa... |
tree | commitdiff |
| 2013-01-25 |
Marion Guthmuller | model-checker : stop heap comparison when the first... |
tree | commitdiff |
| 2013-01-21 |
Paul Bédaride | All hosts types fusion to xbt_dictelm_t |
tree | commitdiff |
| 2013-01-17 |
Arnaud Giersch | Merge branch 'master' into vmtrace |
tree | commitdiff |
| 2013-01-17 |
Arnaud Giersch | Merge branch 'vmtrace' again (don't try to undersatand... |
tree | commitdiff |
| 2013-01-17 |
Arnaud Giersch | Merge branch 'master' into vmtrace |
tree | commitdiff |
| 2013-01-16 |
Jonathan Rouzaud... | Merge branch 'vmtrace' |
tree | commitdiff |
| 2013-01-16 |
Jonathan Rouzaud... | Trying to fix modification with new master branch |
tree | commitdiff |
| 2013-01-16 |
Jonathan Rouzaud... | Trying to fix modification with new master branch |
tree | commitdiff |
| 2013-01-16 |
Jonathan Rouzaud... | Trying to fix modification with new master branch |
tree | commitdiff |
| 2013-01-16 |
Jonathan Rouzaud... | Merge with master |
tree | commitdiff |
| 2013-01-10 |
Marion Guthmuller | model-checker : some cleanup in mmalloc_compare_heap... |
tree | commitdiff |
| 2013-01-08 |
Arnaud Giersch | Avoid to put smpi symbols in libsimgrid. |
tree | commitdiff |
| 2013-01-07 |
Marion Guthmuller | model-checker : comment backtrace and add ignore mechan... |
tree | commitdiff |
| 2012-12-20 |
Arnaud Giersch | Use "debug" log level here. |
tree | commitdiff |
| 2012-12-20 |
Arnaud Giersch | Some symbols were renamed by last flexml update. |
tree | commitdiff |
| 2012-12-20 |
Arnaud Giersch | Update with newer flexml. |
tree | commitdiff |
| 2012-12-20 |
Martin Quinson | make MSG_config public, document it, and implement... |
tree | commitdiff |
| 2012-12-20 |
Paul Bédaride | Move module tracing into corresponding modules |
tree | commitdiff |
| 2012-12-19 |
Martin Quinson | use system malloc for the raw heap if GNU ld is used |
tree | commitdiff |
| 2012-12-18 |
Martin Quinson | Use xbt_malloc (and friends) instead of direct malloc() |
tree | commitdiff |
| 2012-12-17 |
Paul Bédaride | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-12-17 |
Paul Bédaride | Move config from surf to simgrid |
tree | commitdiff |
| 2012-12-11 |
Arnaud Giersch | Remove now unused support for remote exceptions. |
tree | commitdiff |
| 2012-12-11 |
Arnaud Giersch | Rename function (create->reset), and kill empty functio... |
tree | commitdiff |
| 2012-12-11 |
Arnaud Giersch | Use a sinlock instead of a mutex for mallocators. |
tree | commitdiff |
| 2012-12-11 |
Arnaud Giersch | Factorize code for mutex locks. |
tree | commitdiff |
| 2012-12-11 |
Arnaud Giersch | Protect mallocators for concurrent acces only with... |
tree | commitdiff |
| 2012-12-11 |
Martin Quinson | I should stop coding at night -- sorry |
tree | commitdiff |
| 2012-12-06 |
Augustin Degomme | mallocators were not initialized and used since commit... |
tree | commitdiff |
| 2012-11-30 |
shenshei | Merge ../simgrid |
tree | commitdiff |
| 2012-11-28 |
paul bedaride | Add macros to generate simcalls code |
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 |
Jonathan Rouzaud... | update |
tree | commitdiff |
| 2012-11-27 |
Jonathan Rouzaud... | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-11-27 |
Jonathan Rouzaud... | Last version before merging with master |
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 |
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-22 |
Martin Quinson | useless cosmetic |
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 |
Arnaud Giersch | We want host name here, not process name. |
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 | Log category gras_trp_sg does not exist anymore. |
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 |
Martin Quinson | s/lastest/latest/ (stupid me) |
tree | commitdiff |
| 2012-11-20 |
Marion Guthmuller | model-checker : rename cfg flag for state comparison... |
tree | commitdiff |
| 2012-11-19 |
Marion Guthmuller | model-checker : fix compilation error (with optimizatio... |
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-15 |
Marion Guthmuller | model-checker : store last visited states during explor... |
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 |
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 |
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-09 |
Marion Guthmuller | model-checker : getter function for chunks used in... |
tree | commitdiff |
| 2012-11-09 |
Marion Guthmuller | model-checker : use statistics already included in... |
tree | commitdiff |
| 2012-11-09 |
Marion Guthmuller | model-checker : initialize global variables |
tree | commitdiff |
| 2012-11-09 |
Augustin Degomme | add a function in xbt to allow setting the stack size... |
tree | commitdiff |
| 2012-11-08 |
Marion Guthmuller | model-checker : new command line flag (model-check... |
tree | commitdiff |
| 2012-11-07 |
Marion Guthmuller | model-checker : initialize global variable ignore_done... |
tree | commitdiff |
| 2012-11-07 |
Marion Guthmuller | model-checker : add ignore mechanism for comparison... |
tree | commitdiff |
| 2012-10-27 |
Marion Guthmuller | model-checker : update second parameter of mmorecore... |
tree | commitdiff |
| 2012-10-27 |
Marion Guthmuller | model-checker : remove the display of promela property |
tree | commitdiff |
| 2012-10-27 |
Marion Guthmuller | model-checker : fix memory leaks in heap comparison |
tree | commitdiff |
| 2012-10-27 |
Marion Guthmuller | model-checker : fix some memory leaks |
tree | commitdiff |
| 2012-10-27 |
Arnaud Giersch | Merge branch 'v3_8_x' |
tree | commitdiff |
| 2012-10-27 |
Arnaud Giersch | Merge branch 'v3_8_x' |
tree | commitdiff |
| 2012-10-25 |
navarro | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-10-25 |
navarro | Tranform extern for XBT_PUBLIC |
tree | commitdiff |
| 2012-10-25 |
navarro | Delete some warning during the ref_guide build |
tree | commitdiff |
| 2012-10-24 |
Maximiliano Geier | Pull changes to push BitTorrent fix |
tree | commitdiff |
| 2012-10-24 |
navarro | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| next |
