AND Public Git Repository - simgrid.git/commit

author	Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
	Fri, 15 Sep 2017 13:06:02 +0000 (15:06 +0200)
committer	Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
	Fri, 15 Sep 2017 13:12:07 +0000 (15:12 +0200)
commit	edbe0217c71ac02bc107e38ad14018c607ad0149
tree	2c5751d84e70a3830ef09dafd6fcc698525af79d	tree \| snapshot
parent	86a55422a209c7793c7f9430c67db0308bdfa474	commit \| diff

Use strtok_r() instead of non reentrant strtok().

contrib/benchmarking_code_block/inject.h		diff \| blob \| history
src/xbt/automaton/automatonparse_promela.c		diff \| blob \| history
src/xbt/memory_map.cpp		diff \| blob \| history

Clone of SimGrid repository with local patches