Skip to content

Commit

Permalink
Update tool submodules (#932)
Browse files Browse the repository at this point in the history
  • Loading branch information
ekilmer authored Apr 9, 2022
1 parent d4dbbe4 commit 3c0d79b
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion anvill
2 changes: 1 addition & 1 deletion rellic
Submodule rellic updated 58 files
+44 −0 CMakePresets.json
+0 −84 ci/angha_1k_test_settings.json
+1 −1 external/lifting-tools-ci
+5 −1 include/rellic/AST/ASTBuilder.h
+3 −3 include/rellic/AST/ASTPass.h
+1 −1 include/rellic/AST/CondBasedRefine.h
+1 −1 include/rellic/AST/DeadStmtElim.h
+1 −1 include/rellic/AST/ExprCombine.h
+6 −11 include/rellic/AST/GenerateAST.h
+10 −53 include/rellic/AST/IRToASTVisitor.h
+2 −2 include/rellic/AST/InferenceRule.h
+2 −3 include/rellic/AST/LocalDeclRenamer.h
+1 −1 include/rellic/AST/LoopRefine.h
+1 −1 include/rellic/AST/NestedCondProp.h
+1 −1 include/rellic/AST/NestedScopeCombine.h
+1 −1 include/rellic/AST/NormalizeCond.h
+1 −1 include/rellic/AST/ReachBasedRefine.h
+2 −3 include/rellic/AST/StructFieldRenamer.h
+12 −2 include/rellic/AST/TransformVisitor.h
+25 −3 include/rellic/AST/Util.h
+1 −1 include/rellic/AST/Z3CondSimplify.h
+10 −0 include/rellic/BC/Util.h
+6 −2 include/rellic/Decompiler.h
+32 −1 lib/AST/ASTBuilder.cpp
+1 −1 lib/AST/CondBasedRefine.cpp
+1 −1 lib/AST/DeadStmtElim.cpp
+44 −44 lib/AST/ExprCombine.cpp
+115 −36 lib/AST/GenerateAST.cpp
+550 −419 lib/AST/IRToASTVisitor.cpp
+1 −1 lib/AST/InferenceRule.cpp
+4 −6 lib/AST/LocalDeclRenamer.cpp
+23 −23 lib/AST/LoopRefine.cpp
+1 −1 lib/AST/NestedCondProp.cpp
+1 −1 lib/AST/NestedScopeCombine.cpp
+15 −15 lib/AST/NormalizeCond.cpp
+1 −2 lib/AST/ReachBasedRefine.cpp
+4 −5 lib/AST/StructFieldRenamer.cpp
+14 −15 lib/AST/Util.cpp
+1 −1 lib/AST/Z3CondSimplify.cpp
+12 −25 lib/Decompiler.cpp
+9 −7 scripts/build-preset.sh
+1 −1 scripts/decompile.py
+1 −1 scripts/roundtrip.py
+20 −0 tests/tools/decomp/fcmp.c
+15 −0 tests/tools/decomp/fizzbuzz.c
+27 −0 tests/tools/decomp/fizzbuzz_stateful.c
+16 −0 tests/tools/decomp/goto_loop.c
+12 −0 tests/tools/decomp/switch_loop.c
+2 −0 tools/CMakeLists.txt
+6 −16 tools/repl/Repl.cpp
+62 −155 tools/xref/DeclPrinter.cpp
+17 −41 tools/xref/Printer.h
+46 −118 tools/xref/StmtPrinter.cpp
+34 −92 tools/xref/TypePrinter.cpp
+74 −62 tools/xref/Xref.cpp
+2 −561 tools/xref/www/index.html
+410 −0 tools/xref/www/main.js
+133 −0 tools/xref/www/style.css
2 changes: 1 addition & 1 deletion remill

0 comments on commit 3c0d79b

Please sign in to comment.