Skip to content

Commit

Permalink
Merge pull request #6478 from chipsalliance/dependabot/submodules/thi…
Browse files Browse the repository at this point in the history 
…rd_party/tools/circt-verilog-40043fb

build(deps): bump third_party/tools/circt-verilog from `9172a2d` to `40043fb`
  • Loading branch information
@github-actions
github-actions[bot] authored Nov 23, 2024
2 parents db28c5c + cc991a6 commit ac95f3b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion third_party/tools/circt-verilog
Submodule circt-verilog updated 28 files
+1 −1 .github/workflows/nightlyIntegrationTests.yml
+1 −1 .github/workflows/shortIntegrationTests.yml
+12 −0 include/circt/Dialect/SMT/SMTOps.td
+3 −1 include/circt/Dialect/SMT/SMTVisitors.h
+2 −2 integration_test/Dialect/Handshake/multiple_loops/multiple_loops.py
+1 −1 integration_test/Dialect/Handshake/nested_loops/nested_loops.py
+31 −0 integration_test/Dialect/SMT/basic.mlir
+55 −0 integration_test/Target/ExportSMTLIB/basic.mlir
+1 −1 lib/Analysis/FIRRTLInstanceInfo.cpp
+1 −2 lib/Bindings/Python/pyproject.toml
+2 −1 lib/Conversion/DCToHW/DCToHW.cpp
+6 −0 lib/Conversion/HWToBTOR2/HWToBTOR2.cpp
+2 −1 lib/Conversion/HandshakeToHW/HandshakeToHW.cpp
+47 −5 lib/Conversion/SMTToZ3LLVM/LowerSMTToZ3LLVM.cpp
+2 −4 lib/Dialect/AIG/AIGOps.cpp
+4 −2 lib/Dialect/Arc/Transforms/ArcCanonicalizer.cpp
+2 −2 lib/Dialect/Calyx/Transforms/CalyxHelpers.cpp
+1 −1 lib/Dialect/Calyx/Transforms/RemoveCombGroups.cpp
+2 −1 lib/Dialect/FIRRTL/FIRRTLUtils.cpp
+3 −1 lib/Dialect/HW/HWOps.cpp
+12 −0 lib/Target/ExportSMTLIB/ExportSMTLIB.cpp
+1 −1 llvm
+7 −0 test/Conversion/HWToBTOR2/errors.mlir
+16 −0 test/Conversion/SMTToZ3LLVM/smt-to-z3-llvm.mlir
+6 −0 test/Dialect/SMT/basic.mlir
+16 −0 test/Dialect/SMT/core-errors.mlir
+8 −0 test/Target/ExportSMTLIB/core.mlir
+2 −2 tools/handshake-runner/Simulation.cpp

0 comments on commit ac95f3b

Please sign in to comment.