Commit decdff4
1 file changed
+1
-1
lines changed- .github/workflows/ci.yml+7-17
- CMakeLists.txt+3-4
- ci/angha_1k_test_settings.json+1-1
- include/rellic/AST/GenerateAST.h+27-3
- include/rellic/AST/NestedCondProp.h-3
- include/rellic/AST/Util.h+14-6
- include/rellic/AST/Z3CondSimplify.h+1-2
- lib/AST/ASTBuilder.cpp+3-3
- lib/AST/GenerateAST.cpp+191-102
- lib/AST/IRToASTVisitor.cpp+16-5
- lib/AST/LoopRefine.cpp+8-4
- lib/AST/NestedCondProp.cpp+3-19
- lib/AST/Util.cpp+164-28
- lib/AST/Z3CondSimplify.cpp-1
- lib/AST/Z3ConvVisitor.cpp+1-1
- lib/Decompiler.cpp+1-1
- scripts/roundtrip.py+3
- tests/tools/decomp/goto_loop.c+4-4
- tests/tools/decomp/switch_loop.c+4-4
- tools/CMakeLists.txt+4-8
- tools/xref/README.md+36
- tools/xref/www/index.html+2-2
- tools/xref/www/main.js+7
- unittests/AST/ASTBuilder.cpp+67
0 commit comments