modifié :         src/HybridKripkeState.h
	modifié :         src/ModelCheckThReq.cpp
	modifié :         src/SogKripkeIteratorTh.cpp
	modifié :         src/main.cpp

Add of description of a new parameter in README.md corresponding to new technique for building the SOG during model checking

	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

	modifié :         src/HybridKripkeState.h
	modifié :         src/MCHybridSOG.cpp
	modifié :         src/MCHybridSOG.h
	modifié :         src/ModelCheckerTh.cpp
	modifié :         src/SogKripkeIteratorTh.cpp
	modifié :         src/SylvanCacheWrapper.cpp
	modifié :         src/SylvanCacheWrapper.h
	modifié :         src/SylvanWrapper.cpp
	modifié :         src/SylvanWrapper.h
	modifié :         src/main.cpp

	modified:   src/CMakeLists.txt
	modified:   src/LDDGraph.cpp
	modified:   src/LDDGraph.h
	modified:   src/MCHybridSOG.cpp
	new file:   src/ModelCheckThReq.cpp
	new file:   src/ModelCheckThReq.h
	modified:   src/ModelCheckerTh.cpp
	modified:   src/ModelCheckerTh.h
	modified:   src/SogKripkeTh.cpp
	modified:   src/SylvanWrapper.h
	modified:   src/main.cpp

	modifié :         README.md

	modifié :         CMakeLists.txt

	modifié :         src/CommonSOG.cpp
	modifié :         src/CommonSOG.h

	modifié :         src/ModelCheckerCPPThread.cpp
	modifié :         src/ModelCheckerTh.cpp
	supprimé :        src/ModelCheckerThV2.cpp
	supprimé :        src/ModelCheckerThV2.h

	modifié :         src/LDDState.cpp

	modifié :         src/CMakeLists.txt
	modifié :         src/CommonSOG.cpp
	modifié :         src/CommonSOG.h
	modifié :         src/HybridKripke.cpp
	modifié :         src/HybridKripkeIterator.cpp
	modifié :         src/HybridSOG.cpp
	modifié :         src/HybridSOG.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.cpp
	nouveau fichier : src/ModelCheckerCPPThread.cpp
	nouveau fichier : src/ModelCheckerCPPThread.h
	modifié :         src/ModelCheckerTh.cpp
	modifié :         src/ModelCheckerTh.h
	modifié :         src/NewNet.cpp
	modifié :         src/NewNet.h
	modifié :         src/SogKripke.cpp
	modifié :         src/SogKripkeIterator.cpp
	modifié :         src/SogKripkeIteratorTh.cpp
	modifié :         src/SogKripkeTh.cpp
	modifié :         src/SogKripkeTh.h
	modifié :         src/SogTwa.h
	modifié :         src/SpotSogIterator.cpp
	nouveau fichier : src/SylvanCacheWrapper.cpp
	nouveau fichier : src/SylvanCacheWrapper.h
	modifié :         src/SylvanWrapper.cpp
	modifié :         src/SylvanWrapper.h
	modifié :         src/TransSylvan.cpp
	modifié :         src/TransSylvan.h
	modifié :         src/main.cpp
	nouveau fichier : src/sha2.c
	nouveau fichier : src/sha2.h
	modifié :         src/threadSOG.cpp
	supprimé :        third-party/sylvan

	modifié :         src/LDDState.h

	modified:   src/LDDGraph.h
	modified:   src/ModelCheckerThV2.cpp
	modified:   src/main.cpp
	modified:   src/threadSOG.cpp

	modified:   CMakeLists.txt
	modified:   src/CMakeLists.txt
	modified:   src/CommonSOG.cpp
	modified:   src/CommonSOG.h
	modified:   src/HybridKripke.cpp
	modified:   src/HybridKripkeIterator.cpp
	modified:   src/HybridKripkeState.h
	modified:   src/MCHybridSOG.cpp
	modified:   src/ModelCheckerTh.cpp
	modified:   src/ModelCheckerTh.h
	modified:   src/ModelCheckerThV2.cpp
	modified:   src/ModelCheckerThV2.h
	modified:   src/SogKripkeIteratorTh.cpp
	modified:   src/SogKripkeTh.cpp
	new file:   src/SylvanWrapper.cpp
	new file:   src/SylvanWrapper.h
	modified:   src/main.cpp
	modified:   third-party/sylvan

	modified:   src/CommonSOG.h
	modified:   src/LDDGraph.cpp
	modified:   src/ModelCheckerTh.cpp
	modified:   src/ModelCheckerThV2.cpp
	modified:   src/SafeDequeue.cpp
	modified:   src/SafeDequeue.h
	modified:   src/stacksafe.cpp
	modified:   src/stacksafe.h
	modified:   third-party/sylvan

	modifié :         src/HybridSOG.cpp
	modifié :         src/MCHybridSOG.cpp
	modifié :         src/ModelCheckerThV2.cpp
	modifié :         src/sylvan_sog.c
	modifié :         src/sylvan_sog.h
	modifié :         third-party/sylvan

	modifié :         src/DistributedSOG.cpp
	modifié :         src/DistributedSOG.h
	modifié :         src/HybridSOG.cpp
	modifié :         src/HybridSOG.h
	modifié :         src/LDDGraph.cpp
	modifié :         src/LDDGraph.h
	modifié :         src/MCHybridSOG.cpp
	modifié :         src/MCHybridSOG.h
	modifié :         src/ModelCheckBaseMT.h
	modifié :         src/ModelCheckLace.cpp
	modifié :         src/ModelCheckerTh.cpp
	modifié :         src/ModelCheckerTh.h
	modifié :         src/ModelCheckerThV2.cpp
	modifié :         src/ModelCheckerThV2.h
	modifié :         src/main.cpp
	modifié :         src/sylvan_sog.c
	modifié :         src/threadSOG.cpp
	modifié :         src/threadSOG.h

	modifié :         src/MCHybridSOG.cpp
	modifié :         src/MCHybridSOG.h
	modifié :         src/ModelCheckBaseMT.cpp
	modifié :         src/ModelCheckBaseMT.h
	modifié :         src/ModelCheckLace.h
	modifié :         src/ModelCheckerTh.cpp
	modifié :         src/ModelCheckerTh.h
	modifié :         src/ModelCheckerThV2.cpp
	modifié :         src/ModelCheckerThV2.h
	modifié :         src/sylvan_sog.c

	modifié :         src/ModelCheckerTh.cpp
	modifié :         src/ModelCheckerTh.h

	modifié :         src/LDDGraph.cpp
	modifié :         src/LDDGraph.h
	modifié :         src/LDDState.h
	modifié :         src/ModelCheckerThV2.cpp
	modifié :         src/ModelCheckerThV2.h
	nouveau fichier : src/SafeDequeue.cpp
	nouveau fichier : src/SafeDequeue.h
	modifié :         src/stacksafe.cpp
	modifié :         src/stacksafe.h
	modifié :         src/sylvan_sog.c
	modifié :         third-party/sylvan

	modifié :         src/ModelCheckerThV2.h

	modifié :         src/CMakeLists.txt
	modifié :         src/ModelCheckerTh.h
	nouveau fichier : src/ModelCheckerThV2.cpp
	nouveau fichier : src/ModelCheckerThV2.h
	modifié :         src/main.cpp
	nouveau fichier : src/stacksafe.cpp
	nouveau fichier : src/stacksafe.h

	modifié :         third-party/sylvan (contenu modifié)

	modifié :         src/HybridKripke.cpp
	modifié :         src/MCHybridSOG.cpp
	modifié :         src/MDGraph.cpp
	modifié :         src/ModelCheckLace.cpp
	modifié :         src/ModelCheckerTh.cpp
	modifié :         src/ModelCheckerTh.h
	modifié :         src/SogKripke.h
	modifié :         src/SogKripkeIteratorTh.cpp
	modifié :         src/sylvan_sog.c
	modifié :         third-party/sylvan (contenu modifié)