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-11 |
Arnaud Giersch | Remove now unused support for remote exceptions. |
tree | commitdiff |
2012-12-11 |
Arnaud Giersch | Protect mallocators for concurrent acces only with... |
tree | commitdiff |
2012-12-08 |
Martin Quinson | document the unit testing mecanism |
tree | commitdiff |
2012-11-26 |
Arnaud Giersch | Remove needless volatile qualifier. |
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-23 |
Arnaud Giersch | Eradicate gras further. |
tree | commitdiff |
2012-11-23 |
Arnaud Giersch | Merge branch 'killgraskill' |
tree | commitdiff |
2012-11-23 |
Arnaud Giersch | Kill xbt_dynar_dopar(). |
tree | commitdiff |
2012-11-22 |
Martin Quinson | further remove GRAS and friends (from the doxygen confi... |
tree | commitdiff |
2012-11-22 |
Martin Quinson | kill synchronized dynars: we don't need them and they... |
tree | commitdiff |
2012-11-22 |
Martin Quinson | first try at killing GRAS -- does not compile yet |
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-09 |
Marion Guthmuller | model-checker : getter function for chunks used in... |
tree | commitdiff |
2012-11-09 |
Augustin Degomme | add a function in xbt to allow setting the stack size... |
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 | Add XBT_PUBLIC tag to smpi variables |
tree | commitdiff |
2012-10-25 |
navarro | Fix documentation warnings |
tree | commitdiff |
2012-10-25 |
navarro | Delete some warning during the ref_guide build |
tree | commitdiff |
2012-10-19 |
Maximiliano Geier | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-10-17 |
Martin Quinson | Ensure that the mallocator are really inactive when... |
tree | commitdiff |
2012-10-16 |
Martin Quinson | document that we really need xbt_os_thread_atfork ... |
tree | commitdiff |
2012-10-12 |
navarro | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-10-12 |
Marion Guthmuller | model-checker : display malloc backtrace according... |
tree | commitdiff |
2012-10-11 |
paul bedaride | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-10-11 |
Arnaud Giersch | Include standard header files after local includes. |
tree | commitdiff |
2012-10-11 |
Arnaud Giersch | Define _GNU_SOURCE in xbt/misc.h, so that it's defined... |
tree | commitdiff |
2012-10-08 |
jean-noel quintin | Merge remote-tracking branch 'origin/master' |
tree | commitdiff |
2012-10-08 |
Martin Quinson | Bug fix in mrealloc where the previous content could... |
tree | commitdiff |
2012-10-05 |
Marion Guthmuller | model-checker : check if a difference detected in stack... |
tree | commitdiff |
2012-10-05 |
Marion Guthmuller | model-checker : store equality detected in heap compari... |
tree | commitdiff |
2012-10-05 |
Marion Guthmuller | model-checker : ignore stack areas in heap comparison... |
tree | commitdiff |
2012-10-05 |
Marion Guthmuller | model-checker : previous algorithm for heap comparison... |
tree | commitdiff |
2012-10-04 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2012-10-03 |
jean-noel quintin | Merge remote-tracking branch 'origin/master' |
tree | commitdiff |
2012-10-02 |
Arnaud Giersch | Call __gcov_flush() on abort so that gcda files are... |
tree | commitdiff |
2012-09-27 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2012-09-11 |
navarro | Add a function ls to storage |
tree | commitdiff |
2012-07-31 |
Jean-Baptiste Hervé | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-07-30 |
Marion Guthmuller | model-checker : cleanup for heap comparison |
tree | commitdiff |
2012-07-10 |
Marion Guthmuller | model-checker : heapinfo address in parameter of malloc... |
tree | commitdiff |
2012-07-10 |
Marion Guthmuller | model-checker : remove unused function |
tree | commitdiff |
2012-07-03 |
navarro | Fix some warnings in doc |
tree | commitdiff |
2012-06-22 |
Martin Quinson | make iterating over NULL dynar a no-op that does not... |
tree | commitdiff |
2012-06-22 |
navarro | Fix usage of xbt_dynar_foreach if dynar is NULL. |
tree | commitdiff |
2012-06-21 |
navarro | Fix update of the file size when write a double and... |
tree | commitdiff |
2012-06-21 |
Martin Quinson | Various cleanups to the model-checking user interface |
tree | commitdiff |
2012-06-21 |
jbrv | remove some trailing spaces |
tree | commitdiff |
2012-06-20 |
suter | Solve white space conflicts |
tree | commitdiff |
2012-06-20 |
Martin Quinson | sed -i -e 's/\t/ /g' *.[ch] Please people, stop using... |
tree | commitdiff |
2012-06-19 |
lbobelin | Initial commit for split doc (in order to let Pierre... |
tree | commitdiff |
2012-06-14 |
Marion Guthmuller | resolve merge conflict |
tree | commitdiff |
2012-06-14 |
Marion Guthmuller | model-checker : lex and yacc parsing moved in src/xbt... |
tree | commitdiff |
2012-06-14 |
Arnaud Giersch | __GNUC__ is already defined at this place. |
tree | commitdiff |
2012-06-14 |
Marion Guthmuller | model-checker : add header (description, copyright... |
tree | commitdiff |
2012-06-14 |
Arnaud Giersch | Add a defined(__GNUC__), and rework expression. |
tree | commitdiff |
2012-06-14 |
Martin Quinson | speak nicely to old gcc versions |
tree | commitdiff |
2012-06-13 |
Samuel Lepetit | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-06-13 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-06-13 |
Marion Guthmuller | model-checker : get std_heap with mmalloc_get_current_h... |
tree | commitdiff |
2012-06-13 |
Marion Guthmuller | model-checker : remove unused argument in functions... |
tree | commitdiff |
2012-06-13 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-06-12 |
Arnaud Giersch | Rename functions xbt_dict_hash*() to xbt_str_hash(). |
tree | commitdiff |
2012-06-12 |
Arnaud Giersch | Inline functions without their definitions don't make... |
tree | commitdiff |
2012-06-12 |
Marion Guthmuller | fix merge conflict |
tree | commitdiff |
2012-06-12 |
Arnaud Giersch | Use XBT_PUBLIC for exported functions. |
tree | commitdiff |
2012-06-12 |
Arnaud Giersch | Define variables in C file. |
tree | commitdiff |
2012-06-12 |
Arnaud Giersch | Declare exported functions in header. |
tree | commitdiff |
2012-06-11 |
jbrv | Add a function to copy a RngStream structure |
tree | commitdiff |
2012-06-11 |
jbrv | Move XBT hash functions to xbt_str.c and make them... |
tree | commitdiff |
2012-06-09 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-06-08 |
suter | First step to move trace replay from MSG towards SMPI |
tree | commitdiff |
2012-06-02 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-06-01 |
unknown | Functions RngStream must be XBT_PUBLIC for dll |
tree | commitdiff |
2012-06-01 |
unknown | Cosmetics |
tree | commitdiff |
2012-06-01 |
unknown | Fix compilation on Windows with pthread. |
tree | commitdiff |
2012-05-30 |
navarro | Don't change doxygen typo for \dontinclude |
tree | commitdiff |
2012-05-30 |
Samuel Lepetit | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-05-30 |
Samuel Lepetit | Move RngStream to xbt (public) |
tree | commitdiff |
2012-05-30 |
navarro | Some typos in source code |
tree | commitdiff |
2012-05-25 |
navarro | Add documentation for xbt_dict_foreach |
tree | commitdiff |
2012-05-24 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-05-23 |
suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-05-23 |
Arnaud Giersch | Cannot use a variable defined on command line here. |
tree | commitdiff |
2012-05-23 |
Arnaud Giersch | Apparently, constructor priorities are not supported... |
tree | commitdiff |
2012-05-21 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-05-21 |
Marion Guthmuller | model-checker : get location of pointed address in... |
tree | commitdiff |
2012-05-13 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2012-05-13 |
Martin Quinson | make xbt_os_thread module public (Java needs it, at... |
tree | commitdiff |
2012-05-10 |
Martin Quinson | new function xbt_dynar_search_or_negative() |
tree | commitdiff |
2012-04-27 |
Arnaud Giersch | Allow user defined format for XBT_IN() and XBT_HERE... |
tree | commitdiff |
2012-04-26 |
Samuel Lepetit | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
next |