2 files changed
+2
-2
lines changedSubmodule sv-bugpoint updated 20 files
- CMakeLists.txt+20-3
- source/DeclRemover.cpp+10
- source/LabelRemover.cpp+15
- source/OneTimeRewritersFwd.hpp+1
- source/PairRemovers.cpp-174
- source/SetRemovers.cpp+294
- source/SetRemovers.hpp+34-19
- source/SvBugpoint.cpp+7-3
- tests/Makefile+18-1
- tests/checkverilator_lint.sh+2
- tests/checkverilator_run.sh-2
- tests/checkverilator_run_finish.sh+4
- tests/golden/argument/sv-bugpoint-combined.sv+11
- tests/golden/dpi/sv-bugpoint-combined.sv+2
- tests/golden/empty/sv-bugpoint-combined.sv
- tests/golden/labels/sv-bugpoint-combined.sv+5
- tests/input_files/argument.sv+11
- tests/input_files/dpi.sv+7
- tests/input_files/labels.sv+5
- tests/input_files/short_in/empty.sv
0 commit comments