Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
simgrid.git
2012-01-11 Marion Guthmullermodel-checker : add example centralized_liveness in... commit | commitdiff | tree | snapshot
2012-01-11 Marion Guthmullermodel-checker : new example for liveness properties commit | commitdiff | tree | snapshot
2012-01-10 Marion Guthmullermodel-checker : bugged2_liveness with promela of LTL... commit | commitdiff | tree | snapshot
2012-01-10 Marion Guthmullermodel-checker : new LTL property for bugged2_liveness... commit | commitdiff | tree | snapshot
2012-01-09 Marion Guthmullermodel-checker : add comments for the example bugged2_li... commit | commitdiff | tree | snapshot
2012-01-09 Marion Guthmullermodel-checker : new examples for verification of livene... commit | commitdiff | tree | snapshot
2012-01-05 Marion Guthmullermodel-checker : warnings fixed commit | commitdiff | tree | snapshot
2011-12-13 Marion GuthmullerMerge branch 'master' into MC_LTL commit | commitdiff | tree | snapshot
2011-12-13 Marion Guthmullermodel-checker : clean code commit | commitdiff | tree | snapshot
2011-12-10 Christophe... Parmap test did not compile commit | commitdiff | tree | snapshot
2011-12-09 Christophe... Alternative implementation or parmap with busy waits... commit | commitdiff | tree | snapshot
2011-12-09 Christophe... Parmap: process the whole dynar, don't force workers... commit | commitdiff | tree | snapshot
2011-12-09 Christophe... This variable has no reason to be global commit | commitdiff | tree | snapshot
2011-12-08 Arnaud GierschKill duplicated macro. commit | commitdiff | tree | snapshot
2011-12-08 Arnaud GierschUse xbt_swag_reset wherever possible. commit | commitdiff | tree | snapshot
2011-12-08 Arnaud GierschDefine xbt_swag_reset(). commit | commitdiff | tree | snapshot
2011-12-08 Arnaud GierschRemove redundant assignment in lmm_solve. commit | commitdiff | tree | snapshot
2011-12-07 Arnaud GierschThose are constraints, and not elements. commit | commitdiff | tree | snapshot
2011-12-07 Arnaud GierschUpdate comment (name was changed 7 years ago). commit | commitdiff | tree | snapshot
2011-12-07 Arnaud GierschRemove unused log categories. commit | commitdiff | tree | snapshot
2011-12-07 Christophe... Parmap: make maestro also do some work. commit | commitdiff | tree | snapshot
2011-12-07 Christophe... The worker id is now useless in the parmap code commit | commitdiff | tree | snapshot
2011-12-07 Christophe... Add comments commit | commitdiff | tree | snapshot
2011-12-07 Christophe... Remove xbt_parmap_get_worker_id to simplify the parmap... commit | commitdiff | tree | snapshot
2011-12-07 Christophe... Remove a useless private header and rename variables commit | commitdiff | tree | snapshot
2011-12-07 Marion GuthmullerMerge branch 'master' into MC_LTL commit | commitdiff | tree | snapshot
2011-12-07 Marion Guthmullermodel-checker : hash of regions in snapshot for reached... commit | commitdiff | tree | snapshot
2011-12-07 Marion Guthmullermodel-checker : more requests of CS per process in... commit | commitdiff | tree | snapshot
2011-12-06 Marion Guthmullermodel-checker : block 0 (mdp->heapinfo[0]) removed... commit | commitdiff | tree | snapshot
2011-12-06 Laurent BobelinAdded 2 version of a script to generate hierarchical... commit | commitdiff | tree | snapshot
2011-12-06 NavarropRewrite the token ring example commit | commitdiff | tree | snapshot
2011-12-06 Marion Guthmullermodel-checker : reached_pairs changed to dynar commit | commitdiff | tree | snapshot
2011-12-05 Christophe... Parmaps: remove the event structure to simplify the... commit | commitdiff | tree | snapshot
2011-12-05 Christophe... Make those functions static commit | commitdiff | tree | snapshot
2011-12-05 Christophe... Remove a redundant include and reindent a bit commit | commitdiff | tree | snapshot
2011-12-05 Christophe... Remove parmap_private.h since parmap.c is the only... commit | commitdiff | tree | snapshot
2011-12-05 Christophe... In sequential mode, don't use thread-specific data commit | commitdiff | tree | snapshot
2011-12-05 Marion Guthmullermodel-checker : visited_pairs and visited_pairs_hash... commit | commitdiff | tree | snapshot
2011-12-05 unknownMake the compilation succed for windows. commit | commitdiff | tree | snapshot
2011-12-05 unknownUse the good link for latency. commit | commitdiff | tree | snapshot
2011-12-05 Marion Guthmullermodel-checker : comparison between two hash of regions... commit | commitdiff | tree | snapshot
2011-12-05 Marion GuthmullerMerge branch 'master' into MC_LTL commit | commitdiff | tree | snapshot
2011-12-05 Marion Guthmullermodel-checker : hash of regions in snapshot stored... commit | commitdiff | tree | snapshot
2011-12-02 NavarropAdd a data_center platform. commit | commitdiff | tree | snapshot
2011-12-02 NavarropAdd a cloud platform. commit | commitdiff | tree | snapshot
2011-12-01 Arnaud GierschKill old CVS $Id$ lines. commit | commitdiff | tree | snapshot
2011-12-01 Marion Guthmullermodel-checker : args prgm and automaton changed in... commit | commitdiff | tree | snapshot
2011-12-01 Arnaud GierschAlways define SIMGRID_VERSION_*. commit | commitdiff | tree | snapshot
2011-12-01 Marion Guthmullermodel-checker : free memory commit | commitdiff | tree | snapshot
2011-12-01 Marion Guthmullermodel-checker : new function MC_take_snapshot_to_restor... commit | commitdiff | tree | snapshot
2011-12-01 Arnaud GierschUse homogeneous dictionaries whenever possible. commit | commitdiff | tree | snapshot
2011-12-01 Arnaud GierschUse homogeneous dicts for xbt_lib. commit | commitdiff | tree | snapshot
2011-12-01 Arnaud GierschAdd some tests for homogeneous dicts (global free funct... commit | commitdiff | tree | snapshot
2011-12-01 Arnaud GierschDefine xbt_dict_new_homogeneous(). commit | commitdiff | tree | snapshot
2011-12-01 Arnaud GierschMake dicts ready to accept homogeneous dictionaries. commit | commitdiff | tree | snapshot
2011-12-01 Arnaud GierschDefine a struct s_xbt_het_dictelm for holding the free... commit | commitdiff | tree | snapshot
2011-12-01 Arnaud GierschDefine xbt_dictelm_set_data, to reduce code duplication. commit | commitdiff | tree | snapshot
2011-12-01 Arnaud GierschAdd a dict parameter to dictelm functions. commit | commitdiff | tree | snapshot
2011-12-01 Arnaud GierschAdd two fields to struct dict, in prevision of homogene... commit | commitdiff | tree | snapshot
2011-12-01 Arnaud GierschRewrite integer dicts using regular dicts. commit | commitdiff | tree | snapshot
2011-12-01 Arnaud GierschA mallocator for dict structs is a bit overkill. commit | commitdiff | tree | snapshot
2011-12-01 Frederic Sutertwo more clobbered variables that prevent me to compile... commit | commitdiff | tree | snapshot
2011-12-01 Arnaud Gierschtesh: fix the stable sort. commit | commitdiff | tree | snapshot
2011-12-01 Arnaud Gierschtesh: fix memory leaks. commit | commitdiff | tree | snapshot
2011-11-30 Marion Guthmullermodel-checker : all heapstats except total size of... commit | commitdiff | tree | snapshot
2011-11-30 Marion Guthmullermodel-checker : remove comparison of heapstats between... commit | commitdiff | tree | snapshot
2011-11-30 NavarropCorrection of a bug. Always return 0. commit | commitdiff | tree | snapshot
2011-11-30 NavarropRemove memleaks commit | commitdiff | tree | snapshot
2011-11-30 NavarropAdd a masterslave example with arguments commit | commitdiff | tree | snapshot
2011-11-30 NavarropAdd a platform with one cluster and a host commit | commitdiff | tree | snapshot
2011-11-30 Marion GuthmullerMerge branch 'master' into MC_LTL commit | commitdiff | tree | snapshot
2011-11-30 Marion Guthmullermodel-checker : number of CS request per process reduce... commit | commitdiff | tree | snapshot
2011-11-30 Marion Guthmullermodel-checker : heap compared block by block or fragmen... commit | commitdiff | tree | snapshot
2011-11-30 Marion Guthmullermodel-checker : remove stack from regions added in... commit | commitdiff | tree | snapshot
2011-11-29 Arnaud GierschFree mutex in xbt_dynar_to_array. commit | commitdiff | tree | snapshot
2011-11-29 Arnaud GierschAvoid the temporary malloc in xbt_dynar_to_array. commit | commitdiff | tree | snapshot
2011-11-29 Christophe... Revert "The latency is constant with the constant netwo... commit | commitdiff | tree | snapshot
2011-11-29 Christophe... The latency is constant with the constant network model. commit | commitdiff | tree | snapshot
2011-11-29 Arnaud GierschFix uninitialized variable. commit | commitdiff | tree | snapshot
2011-11-29 Arnaud GierschInclude surf_resource.h, for surf_resource_name(). commit | commitdiff | tree | snapshot
2011-11-29 Arnaud Gierschs/add/free/ in doc. commit | commitdiff | tree | snapshot
2011-11-29 Arnaud GierschDon't lie about xbt_xfg_t. commit | commitdiff | tree | snapshot
2011-11-29 Arnaud GierschCorreclty handle the case p1 < p2 in cmpstringp. commit | commitdiff | tree | snapshot
2011-11-28 Marion Guthmullermodel-checker : comparison of heap between two snapshot... commit | commitdiff | tree | snapshot
2011-11-28 Marion Guthmullermodel-checker : remove test useless before free(line) commit | commitdiff | tree | snapshot
2011-11-28 Arnaud GierschFunction does not exist. commit | commitdiff | tree | snapshot
2011-11-28 Arnaud GierschRename dict structs to follow README.coding. commit | commitdiff | tree | snapshot
2011-11-28 Arnaud GierschRemove useless internal functions. commit | commitdiff | tree | snapshot
2011-11-28 Arnaud GierschAllow NULL for the reset function of mallocators. commit | commitdiff | tree | snapshot
2011-11-28 Arnaud GierschRemove unused empty function. commit | commitdiff | tree | snapshot
2011-11-28 Arnaud GierschReorganize structs to save a few bytes. commit | commitdiff | tree | snapshot
2011-11-28 Arnaud GierschRemove an useless (but optimized!) memcpy. commit | commitdiff | tree | snapshot
2011-11-28 Arnaud GierschAvoid to clear mem for the last element. commit | commitdiff | tree | snapshot
2011-11-28 Arnaud Giersch_xbt_clear_mem is used only once. Use memset directly. commit | commitdiff | tree | snapshot
2011-11-28 Arnaud GierschFactorize code for xbt_dynar_shrink/_xbt_dynar_expand. commit | commitdiff | tree | snapshot
2011-11-28 Arnaud GierschThere's no point in clearing mem in _xbt_dynar_expand. commit | commitdiff | tree | snapshot
2011-11-28 Arnaud GierschKill dead (commented) code. commit | commitdiff | tree | snapshot
2011-11-28 Arnaud GierschFactorize code for xbt_dynar_set/xbt_dynar_set_at_ptr. commit | commitdiff | tree | snapshot
2011-11-28 Arnaud GierschUnlock dynar at proper place. commit | commitdiff | tree | snapshot
2011-11-28 Arnaud GierschDon't call _xbt_dynar_expand when it's not needed. commit | commitdiff | tree | snapshot
next
Clone of SimGrid repository with local patches