Alexander_KS/SAPFOR
4
2
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

moved LoopGraph to json

Browse Source
This commit is contained in:
ALEXks
2025-04-01 15:28:53 +03:00
parent 381e3c5355
commit a7f199ad4c
7 changed files with 22938 additions and 27 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
CMakeLists.txt
View File

@@ -54,7 +54,7 @@ set(VS_CALLS src/VisualizerCalls/get_information.cpp
src/VisualizerCalls/SendMessage.h
src/VisualizerCalls/BuildGraph.cpp
src/VisualizerCalls/BuildGraph.h)
set(VERIF src/VerificationCode/CorrectVarDecl.cpp
src/VerificationCode/IncludeChecker.cpp
src/VerificationCode/StructureChecker.cpp
@@ -76,7 +76,8 @@ set(UTILS src/Utils/AstWrapper.h
src/Utils/utils.h
src/Utils/version.h
src/Utils/module_utils.h
src/Utils/module_utils.cpp)
src/Utils/module_utils.cpp
src/Utils/json.hpp)
set(OMEGA src/SageAnalysisTool/OmegaForSage/add-assert.cpp
src/SageAnalysisTool/OmegaForSage/affine.cpp