modifié : CMakeLists.txt

	Added managing versions : PMCSOGConfig.h.in
	modifié :         src/CMakeLists.txt
	modifié :         src/CommonSOG.cpp
	modifié :         src/CommonSOG.h
	modifié :         src/HybridKripke.cpp
	modifié :         src/HybridKripke.h
	modifié :         src/HybridKripkeIterator.cpp
	modifié :         src/HybridKripkeIterator.h
	modifié :         src/HybridKripkeState.cpp
	modifié :         src/HybridKripkeState.h
	modifié :         src/LDDGraph.cpp
	modifié :         src/LDDGraph.h
	modifié :         src/LDDState.cpp
	modifié :         src/LDDState.h
	modifié :         src/MCHybridSOG.cpp
	modifié :         src/MCHybridSOG.h
	modifié :         src/ModelCheckBaseMT.h
	modifié :         src/ModelCheckThReq.cpp
	modifié :         src/ModelCheckThReq.h
	modifié :         src/ModelCheckerCPPThread.cpp
	modifié :         src/ModelCheckerCPPThread.h
	modifié :         src/NewNet.cpp
	modifié :         src/SafeDequeue.cpp
	modifié :         src/SafeDequeue.h
	modifié :         src/SogKripkeIteratorTh.cpp
	modifié :         src/SogKripkeIteratorTh.h
	modifié :         src/SogKripkeTh.cpp
	modifié :         src/SylvanCacheWrapper.h
	modifié :         src/SylvanWrapper.cpp
	modifié :         src/SylvanWrapper.h
	modifié :         src/TransSylvan.cpp
	modifié :         src/TransSylvan.h
	modifié :         src/main.cpp
	md5 safe thread implementation : src/md5_hash.h