Skip to content

Commit

Permalink
Submodule updates.
Browse files Browse the repository at this point in the history
  • Loading branch information
@fruffy
fruffy committed Oct 3, 2023
1 parent 9500c58 commit 3a1047f
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion modules/p4c
Submodule p4c updated 1506 files
2 changes: 1 addition & 1 deletion modules/toz3
Submodule toz3 updated 28 files
+1 −0 .clang-tidy
+10 −1 .github/workflows/build.yaml
+2 −0 .github/workflows/cpplint.yaml
+11 −1 .github/workflows/test_pruner.yaml
+12 −3 .github/workflows/test_validate.yaml
+6 −4 CMakeLists.txt
+0 −2 common/create_z3.cpp
+0 −2 common/expressions.cpp
+1 −0 common/parser.cpp
+0 −1 common/state.cpp
+0 −3 common/type_complex.cpp
+1 −1 common/type_simple.cpp
+0 −2 common/type_table.cpp
+1 −1 common/util.cpp
+3 −0 common/util.h
+0 −1 common/visitor_interpret.cpp
+2 −0 common/visitor_specialize.h
+0 −3 compare/compare.cpp
+0 −6 do_install.sh
+0 −1 interpret/main.cpp
+3 −0 pruner/src/expression_pruner.cpp
+1 −1 pruner/src/extended_unused.cpp
+0 −1 pruner/src/main.cpp
+1 −2 pruner/src/pruner_util.cpp
+4 −2 pruner/src/replace_variables.cpp
+1 −5 pruner/src/replace_variables.h
+1 −0 pruner/src/statement_pruner.cpp
+6 −8 validate/main.cpp

0 comments on commit 3a1047f

Please sign in to comment.