Skip to content
Snippets Groups Projects
Commit 594ef04d authored by Chiheb Amer Abid's avatar Chiheb Amer Abid
Browse files

modifié : CMakeLists.txt

	modifié :         src/CMakeLists.txt
	modifié :         src/CommonSOG.cpp
	modifié :         src/CommonSOG.h
	supprimé :        src/DistributedSOG.cpp
	supprimé :        src/DistributedSOG.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
	supprimé :        src/ModelCheckLace.cpp
	supprimé :        src/ModelCheckLace.h
	renommé :         src/ModelCheckerThV2.cpp -> src/ModelCheckerCPPThread.cpp
	renommé :         src/ModelCheckerThV2.h -> 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
	supprimé :        src/sylvan_sog.c
	supprimé :        src/sylvan_sog.h
	modifié :         src/threadSOG.cpp
	supprimé :        third-party/sylvan
parent 28d93e60
No related branches found
Tags v0.3
No related merge requests found
Showing with 241 additions and 1515 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment