2011-12-13 |
Marion Guthmuller | Merge branch 'master' into MC_LTL |
tree | commitdiff |
2011-12-10 |
Christophe Thiéry | Parmap test did not compile |
tree | commitdiff |
2011-12-09 |
Christophe Thiéry | Alternative implementation or parmap with busy waits... |
tree | commitdiff |
2011-12-09 |
Christophe Thiéry | Parmap: process the whole dynar, don't force workers... |
tree | commitdiff |
2011-12-08 |
Martin Quinson | cosmetics |
tree | commitdiff |
2011-12-08 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2011-12-07 |
Arnaud Giersch | Remove unused log categories. |
tree | commitdiff |
2011-12-07 |
Christophe Thiéry | Parmap: make maestro also do some work. |
tree | commitdiff |
2011-12-07 |
Christophe Thiéry | The worker id is now useless in the parmap code |
tree | commitdiff |
2011-12-07 |
Christophe Thiéry | Remove xbt_parmap_get_worker_id to simplify the parmap... |
tree | commitdiff |
2011-12-07 |
Christophe Thiéry | Remove a useless private header and rename variables |
tree | commitdiff |
2011-12-07 |
Marion Guthmuller | Merge branch 'master' into MC_LTL |
tree | commitdiff |
2011-12-06 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2011-12-06 |
Marion Guthmuller | model-checker : block 0 (mdp->heapinfo[0]) removed... |
tree | commitdiff |
2011-12-05 |
Christophe Thiéry | Parmaps: remove the event structure to simplify the... |
tree | commitdiff |
2011-12-05 |
Christophe Thiéry | Make those functions static |
tree | commitdiff |
2011-12-05 |
Christophe Thiéry | Remove a redundant include and reindent a bit |
tree | commitdiff |
2011-12-05 |
Christophe Thiéry | Remove parmap_private.h since parmap.c is the only... |
tree | commitdiff |
2011-12-05 |
Marion Guthmuller | Merge branch 'master' into MC_LTL |
tree | commitdiff |
2011-12-01 |
Arnaud Giersch | Kill old CVS $Id$ lines. |
tree | commitdiff |
2011-12-01 |
Arnaud Giersch | Use homogeneous dictionaries whenever possible. |
tree | commitdiff |
2011-12-01 |
Arnaud Giersch | Use homogeneous dicts for xbt_lib. |
tree | commitdiff |
2011-12-01 |
Arnaud Giersch | Add some tests for homogeneous dicts (global free funct... |
tree | commitdiff |
2011-12-01 |
Arnaud Giersch | Define xbt_dict_new_homogeneous(). |
tree | commitdiff |
2011-12-01 |
Arnaud Giersch | Make dicts ready to accept homogeneous dictionaries. |
tree | commitdiff |
2011-12-01 |
Arnaud Giersch | Define a struct s_xbt_het_dictelm for holding the free... |
tree | commitdiff |
2011-12-01 |
Arnaud Giersch | Define xbt_dictelm_set_data, to reduce code duplication. |
tree | commitdiff |
2011-12-01 |
Arnaud Giersch | Add a dict parameter to dictelm functions. |
tree | commitdiff |
2011-12-01 |
Arnaud Giersch | Add two fields to struct dict, in prevision of homogene... |
tree | commitdiff |
2011-12-01 |
Arnaud Giersch | Rewrite integer dicts using regular dicts. |
tree | commitdiff |
2011-12-01 |
Arnaud Giersch | A mallocator for dict structs is a bit overkill. |
tree | commitdiff |
2011-11-30 |
Marion Guthmuller | model-checker : all heapstats except total size of... |
tree | commitdiff |
2011-11-30 |
Marion Guthmuller | model-checker : remove comparison of heapstats between... |
tree | commitdiff |
2011-11-30 |
Marion Guthmuller | Merge branch 'master' into MC_LTL |
tree | commitdiff |
2011-11-30 |
Marion Guthmuller | model-checker : heap compared block by block or fragmen... |
tree | commitdiff |
2011-11-29 |
Arnaud Giersch | Free mutex in xbt_dynar_to_array. |
tree | commitdiff |
2011-11-29 |
Arnaud Giersch | Avoid the temporary malloc in xbt_dynar_to_array. |
tree | commitdiff |
2011-11-29 |
Arnaud Giersch | s/add/free/ in doc. |
tree | commitdiff |
2011-11-28 |
Arnaud Giersch | Function does not exist. |
tree | commitdiff |
2011-11-28 |
Arnaud Giersch | Rename dict structs to follow README.coding. |
tree | commitdiff |
2011-11-28 |
Arnaud Giersch | Remove useless internal functions. |
tree | commitdiff |
2011-11-28 |
Arnaud Giersch | Allow NULL for the reset function of mallocators. |
tree | commitdiff |
2011-11-28 |
Arnaud Giersch | Reorganize structs to save a few bytes. |
tree | commitdiff |
2011-11-28 |
Arnaud Giersch | Remove an useless (but optimized!) memcpy. |
tree | commitdiff |
2011-11-28 |
Arnaud Giersch | Avoid to clear mem for the last element. |
tree | commitdiff |
2011-11-28 |
Arnaud Giersch | _xbt_clear_mem is used only once. Use memset directly. |
tree | commitdiff |
2011-11-28 |
Arnaud Giersch | Factorize code for xbt_dynar_shrink/_xbt_dynar_expand. |
tree | commitdiff |
2011-11-28 |
Arnaud Giersch | There's no point in clearing mem in _xbt_dynar_expand. |
tree | commitdiff |
2011-11-28 |
Arnaud Giersch | Kill dead (commented) code. |
tree | commitdiff |
2011-11-28 |
Arnaud Giersch | Factorize code for xbt_dynar_set/xbt_dynar_set_at_ptr. |
tree | commitdiff |
2011-11-28 |
Arnaud Giersch | Unlock dynar at proper place. |
tree | commitdiff |
2011-11-28 |
Arnaud Giersch | Don't call _xbt_dynar_expand when it's not needed. |
tree | commitdiff |
2011-11-28 |
Arnaud Giersch | Don't clear mem before free. |
tree | commitdiff |
2011-11-23 |
Arnaud Giersch | xbt_dict_new_ext() doesn't exist anymore. |
tree | commitdiff |
2011-11-22 |
Marion Guthmuller | merge conflicts |
tree | commitdiff |
2011-11-15 |
Christophe Thiéry | SIMIX: add a redundant parameter to avoid repeated... |
tree | commitdiff |
2011-11-14 |
Arnaud Giersch | Use xbt_XXX_is_empty() instead of testing xbt_XXX_lengt... |
tree | commitdiff |
2011-11-14 |
Arnaud Giersch | Rewrite xbt libs, using xbt dicts. |
tree | commitdiff |
2011-11-14 |
Arnaud Giersch | Remove usage of xbt_dict_size(). |
tree | commitdiff |
2011-11-10 |
Arnaud Giersch | Simply say fun_ptr(...) instead of (*fun_ptr)(...). |
tree | commitdiff |
2011-11-10 |
Martin Quinson | fix the constness of xbt_strbuff_new_from(), it's too... |
tree | commitdiff |
2011-11-09 |
Christophe Thiéry | Yet another clobbered variable warning |
tree | commitdiff |
2011-11-09 |
Arnaud Giersch | Reorganize mallocator.c, and add the possibility to... |
tree | commitdiff |
2011-11-09 |
Arnaud Giersch | Kill "if" before free, and useless cast of free argument. |
tree | commitdiff |
2011-11-08 |
Arnaud Giersch | Fix memory leak in xbt_cfg_set_parse(). |
tree | commitdiff |
2011-11-07 |
Christophe Thiéry | Add some _XBT_GNUC_UNUSED to avoid compilation warnings... |
tree | commitdiff |
2011-11-06 |
Arnaud Giersch | Remove useless code obfuscation. |
tree | commitdiff |
2011-11-06 |
Arnaud Giersch | Fix handling of the backtrace log formatters %b and %B. |
tree | commitdiff |
2011-11-06 |
Arnaud Giersch | Cosmetics: fix comment. |
tree | commitdiff |
2011-11-05 |
Arnaud Giersch | Improve xbt_log_layout_format_doit(). |
tree | commitdiff |
2011-11-05 |
Arnaud Giersch | Improve xbt_log_layout_simple_doit(). |
tree | commitdiff |
2011-11-05 |
Arnaud Giersch | Avoid (almost) duplicated code in xbt_log_layout_*. |
tree | commitdiff |
2011-11-05 |
Arnaud Giersch | Use fputs() instead of fprintf("%s") in file log appender. |
tree | commitdiff |
2011-11-05 |
Arnaud Giersch | Remove old debugging cruft. |
tree | commitdiff |
2011-11-05 |
Martin Quinson | using pointer to scalar is a strange way to return... |
tree | commitdiff |
2011-11-04 |
Martin Quinson | merge changes. Strange, it seems to ate pierre commit |
tree | commitdiff |
2011-11-04 |
Martin Quinson | regenerate with flexml 1.9.2 (fix to my recent changes... |
tree | commitdiff |
2011-11-03 |
Christophe Thiéry | Make xbt_swag_insert_at_head/tail uniform and check... |
tree | commitdiff |
2011-11-02 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2011-11-02 |
Christophe Thiéry | Optimize swags and save calls from Surf |
tree | commitdiff |
2011-11-02 |
Marion Guthmuller | model-checker : add or remove debug information |
tree | commitdiff |
2011-11-02 |
Christophe Thiéry | Direct context switching: clean the semantics of parmap |
tree | commitdiff |
2011-11-02 |
Christophe Thiéry | Switch directly between runnable contextes (work in... |
tree | commitdiff |
2011-11-01 |
Martin Quinson | regenerate with flexml 1.9.1 (integrate small changes... |
tree | commitdiff |
2011-10-30 |
Martin Quinson | Regenerate with flexml 1.9 (robust against multiple... |
tree | commitdiff |
2011-10-28 |
Martin Quinson | mark as volatile variables that are used within TRY... |
tree | commitdiff |
2011-10-28 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2011-10-28 |
Arnaud Giersch | In xbt_log_layout_simple_doit, add missing calls to... |
tree | commitdiff |
2011-10-28 |
Marion Guthmuller | model-checker : function mmalloc_compare_mdesc fixed... |
tree | commitdiff |
2011-10-28 |
Martin Quinson | cosmetics/tiny computation saving |
tree | commitdiff |
2011-10-28 |
Christophe Thiéry | With optimizations, gcc 4.6 warns about clobbered variables |
tree | commitdiff |
2011-10-25 |
Marion Guthmuller | model-checker : function to compare values of propositi... |
tree | commitdiff |
2011-10-25 |
Marion Guthmuller | model-checker : remove unused variables |
tree | commitdiff |
2011-10-25 |
Marion Guthmuller | model-checker : function to compare propositional symbo... |
tree | commitdiff |
2011-10-25 |
Marion Guthmuller | model-checker : change printf for size_t variables |
tree | commitdiff |
2011-10-25 |
Marion Guthmuller | model-checker : test data in libsimgrid memory region... |
tree | commitdiff |
2011-10-25 |
Marion Guthmuller | model-checker : new functions to compare mmalloc in... |
tree | commitdiff |
2011-10-25 |
Marion Guthmuller | model-checker : new comparison for reached pairs (autom... |
tree | commitdiff |
2011-10-25 |
Marion Guthmuller | correction compile warnings |
tree | commitdiff |
2011-10-25 |
Marion Guthmuller | new struct automaton |
tree | commitdiff |
next |