2013-01-31 |
alebre | Merge branch 'master' into hypervisor |
tree | commitdiff |
2013-01-31 |
alebre | Merge branch 'master' into hypervisor |
tree | commitdiff |
2013-01-31 |
alebre | Fix conflict - Adrien |
tree | commitdiff |
2013-01-31 |
Arnaud Giersch | Merge branch 'with_java' |
tree | commitdiff |
2013-01-31 |
Takahiro Hirofuchi | add xbt_lib_unset |
tree | commitdiff |
2013-01-31 |
alebre | Adrien Fix conflict |
tree | commitdiff |
2013-01-31 |
Paul Bédaride | Add xbt_lib_remove |
tree | commitdiff |
2013-01-31 |
alebre | Fixed conflicts - Adrien |
tree | commitdiff |
2013-01-31 |
alebre | Some progress (start, get/set state, ...) - Adrien |
tree | commitdiff |
2013-01-31 |
Maximiliano Geier | Added xbt_dynar_remove_n_at to remove an n-sized slice... |
tree | commitdiff |
2013-01-30 |
Arnaud Giersch | Incorporate simgrid-java in simgrid-java/. |
tree | commitdiff |
2013-01-25 |
Marion Guthmuller | model-checker : need to switch between raw heap and... |
tree | commitdiff |
2013-01-25 |
Marion Guthmuller | model-checker : move function from mc_global in mm_modu... |
tree | commitdiff |
2013-01-25 |
Marion Guthmuller | model-checker : start canonicalizatipn in heap comparis... |
tree | commitdiff |
2013-01-25 |
Marion Guthmuller | model-checker : cleanups for heap comparison from globa... |
tree | commitdiff |
2013-01-21 |
Arnaud Giersch | Fix build error with clang. |
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... | 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... | Fix failed merge |
tree | commitdiff |
2013-01-16 |
Jonathan Rouzaud... | Merge with master |
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-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-27 |
Jonathan Rouzaud... | update |
tree | commitdiff |
2012-11-27 |
Jonathan Rouzaud... | Merge branch 'master' of git+ssh://scm.gforge.inria... |
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-24 |
alebre | Merge branch 'master' into vmtrace |
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 |
Jonathan Rouzaud... | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-10-02 |
Arnaud Giersch | Call __gcov_flush() on abort so that gcda files are... |
tree | commitdiff |
2012-10-01 |
Jonathan Rouzaud... | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-09-27 |
Jonathan Rouzaud... | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-09-27 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2012-09-27 |
Jonathan Rouzaud... | Merge conflicts in instr_routing.c |
tree | commitdiff |
2012-09-11 |
navarro | Add a function ls to storage |
tree | commitdiff |
2012-08-09 |
Jonathan Rouzaud... | Modify Trace for msg_vm_t |
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 |
next |