src

	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

280d9023

History

280d9023 4 years ago

History

Name	Last commit	Last update
..
CMakeLists.txt
Class_of_state.h
CommonSOG.cpp
CommonSOG.h
DistributedSOG.cpp
DistributedSOG.h
HybridKripke.cpp
HybridKripke.h
HybridKripkeIterator.cpp
HybridKripkeIterator.h
HybridKripkeState.cpp
HybridKripkeState.h
HybridSOG.cpp
HybridSOG.h
LDDGraph.cpp
LDDGraph.h
LDDState.cpp
LDDState.h
MCHybridSOG.cpp
MCHybridSOG.h
MDGraph.cpp
MDGraph.h
ModelCheckBaseMT.cpp
ModelCheckBaseMT.h
ModelCheckThReq.cpp
ModelCheckThReq.h
ModelCheckerCPPThread.cpp
ModelCheckerCPPThread.h
ModelCheckerTh.cpp
ModelCheckerTh.h
Modular_Class_of_state.h
Modular_Edge.h
Modular_Obs_Graph.cpp
Modular_Obs_Graph.h
NewNet.cpp
NewNet.h
RdPBDD.cpp
RdPBDD.h
SafeDequeue.cpp
SafeDequeue.h
SogKripke.cpp
SogKripke.h
SogKripkeIterator.cpp
SogKripkeIterator.h
SogKripkeIteratorTh.cpp
SogKripkeIteratorTh.h
SogKripkeState.cpp
SogKripkeState.h
SogKripkeStateTh.cpp
SogKripkeStateTh.h
SogKripkeTh.cpp
SogKripkeTh.h
SogTwa.cpp
SogTwa.h
SpotSogIterator.cpp
SpotSogIterator.h
SpotSogState.cpp
SpotSogState.h
SylvanCacheWrapper.cpp
SylvanCacheWrapper.h
SylvanWrapper.cpp
SylvanWrapper.h
TransSylvan.cpp
TransSylvan.h
main.cpp
md5_hash.h
sha2.c
sha2.h
stacksafe.cpp
stacksafe.h
sylvan_sog.c
sylvan_sog.h
threadSOG.cpp
threadSOG.h