Implement UFSCC parallel emptiness-check
parent
bc2dc273
No related branches found
No related tags found
Showing
- CMakeLists.txt 2 additions, 1 deletionCMakeLists.txt
- src/CommonSOG.h 1 addition, 1 deletionsrc/CommonSOG.h
- src/LDDGraph.cpp 0 additions, 1 deletionsrc/LDDGraph.cpp
- src/MCMultiCore/ModelCheckerCPPThread.cpp 1 addition, 1 deletionsrc/MCMultiCore/ModelCheckerCPPThread.cpp
- src/MCMultiCore/ModelCheckerCPPThread.h 1 addition, 1 deletionsrc/MCMultiCore/ModelCheckerCPPThread.h
- src/ModelCheckBaseMT.h 1 addition, 1 deletionsrc/ModelCheckBaseMT.h
- src/algorithm/CNDFS.cpp 1 addition, 1 deletionsrc/algorithm/CNDFS.cpp
- src/algorithm/UFSCC.cpp 11 additions, 8 deletionssrc/algorithm/UFSCC.cpp
- src/algorithm/UFSCC.h 1 addition, 1 deletionsrc/algorithm/UFSCC.h
- src/main.cpp 1 addition, 14 deletionssrc/main.cpp
- src/misc/SafeMap.cpp 6 additions, 6 deletionssrc/misc/SafeMap.cpp
- src/misc/SafeMap.h 2 additions, 2 deletionssrc/misc/SafeMap.h
Loading
Please register or sign in to comment