Commit 409c608
2 files changed
+2
-2
lines changed- .github/workflows/diff_tests.yml+111
- .gitignore+3
- include/rellic/AST/NestedCondProp.h+30-23
- include/rellic/Decompiler.h+6
- lib/AST/ASTBuilder.cpp+4-2
- lib/AST/CondBasedRefine.cpp+6-2
- lib/AST/ExprCombine.cpp+29
- lib/AST/GenerateAST.cpp+5-2
- lib/AST/IRToASTVisitor.cpp+67-3
- lib/AST/LoopRefine.cpp+80
- lib/AST/NestedCondProp.cpp+88-79
- lib/CMakeLists.txt+1
- lib/Decompiler.cpp+24-1
- tests/tools/decomp/diff_outputs.mk+47
- tools/headergen/HeaderGen.cpp+2-2
- tools/repl/Repl.cpp+2-2
- tools/xref/Xref.cpp+23-7
- tools/xref/www/main.js+2-1
- unittests/AST/Z3ConvVisitor.cpp+2
- unittests/CMakeLists.txt+2-1
0 commit comments