Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : parallel system state comparison for safety MC
[simgrid.git] / src / xbt / lib.c
2013-09-26 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-09-25 Arnaud GierschDig through git history, and update copyright lines.
2013-01-30 Arnaud GierschIncorporate simgrid-java in simgrid-java/.
2013-01-21 Paul BédarideAll hosts types fusion to xbt_dictelm_t
2011-12-26 Martin Quinsonmerge back the master trunk into the smpi branch
2011-12-06 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-12-05 Marion GuthmullerMerge branch 'master' into MC_LTL
2011-12-01 Arnaud GierschUse homogeneous dicts for xbt_lib.
2011-11-22 Marion Guthmullermerge conflicts
2011-11-14 Arnaud GierschRewrite xbt libs, using xbt dicts.
2011-11-09 Arnaud GierschKill "if" before free, and useless cast of free argument.
2011-03-24 navarropDont used (*lib) but l = *lib.
2011-03-24 navarropAdd xbt_lib_size and xbt_lib_rehash
2011-03-24 navarropAdd library (xbt_lib) to simgrid.