2 files changed
+2
-2
lines changed- .clang-tidy-2
- .github/workflows/build.yaml+12-2
- .github/workflows/pytest.yaml+25-15
- common/type_complex.cpp+4-4
- do_install.sh-1
- pruner/CMakeLists.txt+14
- pruner/bug.p4i-917
- pruner/cmake/TestUtils.cmake+52
- pruner/src/boolean_pruner.cpp+4-4
- pruner/src/constants.h+45
- pruner/src/expression_pruner.cpp+8-8
- pruner/src/expression_pruner.h+15-15
- pruner/src/main.cpp+26-21
- pruner/src/pruner_options.h+1-1
- pruner/src/pruner_util.cpp+17-15
- pruner/src/pruner_util.h+11-18
- pruner/src/replace_variables.cpp+9-6
- pruner/src/statement_pruner.cpp+17-31
- pruner/src/statement_pruner.h+1-1
- pruner/test_pruner.py-78
- pruner/tests/check_prog.py+31-26
- pruner/tests/references/crash_bugs/crash_four_reference.p4+7-7
- pruner/tests/references/crash_bugs/crash_one_reference.p4+2-2
- pruner/tests/references/crash_bugs/crash_three_reference.p4+12-12
- pruner/tests/references/crash_bugs/crash_two_reference.p4+2-2
- pruner/tests/references/create_references.sh+11
0 commit comments