Logo AND Algorithmique Numérique Distribuée

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