2 files changed
+2
-2
lines changed- .clang-tidy+42
- .github/workflows/build.yaml+25
- .github/workflows/pytest.yaml+1-1
- CMakeLists.txt+39-6
- common/create_z3.cpp+2-2
- common/expressions.cpp+5-5
- common/state.cpp+7-5
- common/state.h+2-2
- common/type_complex.cpp+12-10
- common/type_complex.h+8-12
- common/type_simple.cpp+1-1
- common/util.cpp+2-2
- common/util.h+1-1
- compare/main.cpp+2-2
- compare/options.cpp+1-1
- do_install.sh+48
- interpret/options.cpp+1-1
- pruner/.gitignore+1-1
- pruner/CMakeLists.txt+5-3
- pruner/bug.p4i+917
- pruner/example_programs/fabric/fabric.p4+30-1
- pruner/src/boolean_pruner.cpp+13-15
- pruner/src/boolean_pruner.h+9-9
- pruner/src/compiler_pruner.cpp+3-3
- pruner/src/compiler_pruner.h+1-1
- pruner/src/counter.cpp+2-2
- pruner/src/counter.h+1-1
- pruner/src/expression_pruner.cpp+54-50
- pruner/src/expression_pruner.h+4-2
- pruner/src/extended_unused.cpp+2-2
- pruner/src/extended_unused.h+5-5
- pruner/src/main.cpp+22-18
- pruner/src/pruner_options.cpp+3-3
- pruner/src/pruner_options.h+1-1
- pruner/src/pruner_util.cpp+81-91
- pruner/src/pruner_util.h+18-14
- pruner/src/replace_variables.cpp+14-12
- pruner/src/replace_variables.h+1-1
- pruner/src/statement_pruner.cpp+44-15
- pruner/src/statement_pruner.h+7-9
- validate/options.cpp+1-1
0 commit comments