Skip to content

Commit

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

build(deps): bump third_party/tools/circt-verilog from `0de3af4` to `0713332`
  • Loading branch information
@github-actions
github-actions[bot] authored Oct 29, 2024
2 parents 1a78309 + 84e88aa commit 2bbbcce
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 27 files
+1 −1 docs/Dialects/LTL.md
+1 −1 docs/Dialects/Moore.md
+13 −9 docs/Dialects/Sim.md
+0 −1 docs/Dialects/Sim/_index.md
+1 −1 docs/Dialects/Verif.md
+22 −0 include/circt/Conversion/AIGToComb.h
+1 −0 include/circt/Conversion/Passes.h
+16 −0 include/circt/Conversion/Passes.td
+11 −4 include/circt/Dialect/OM/OMOps.td
+2 −13 include/circt/Dialect/Sim/CMakeLists.txt
+3 −1 include/circt/Dialect/Sim/SimDialect.td
+1 −0 include/circt/Dialect/Sim/SimOps.td
+56 −89 include/circt/Dialect/Verif/VerifOps.td
+1 −0 lib/CAPI/Conversion/CMakeLists.txt
+86 −0 lib/Conversion/AIGToComb/AIGToComb.cpp
+15 −0 lib/Conversion/AIGToComb/CMakeLists.txt
+1 −0 lib/Conversion/CMakeLists.txt
+1 −1 lib/Dialect/Arc/Transforms/CMakeLists.txt
+0 −0 lib/Dialect/Arc/Transforms/LowerState.cpp
+1 −1 lib/Dialect/FIRRTL/Transforms/LowerClasses.cpp
+60 −5 lib/Dialect/OM/OMOps.cpp
+0 −35 lib/Dialect/Verif/VerifOps.cpp
+12 −0 test/Conversion/AIGToComb/aig-to-comb.mlir
+42 −34 test/Dialect/Verif/basic.mlir
+4 −1 test/circt-synth/basic.mlir
+1 −0 tools/circt-synth/CMakeLists.txt
+16 −0 tools/circt-synth/circt-synth.cpp

0 comments on commit 2bbbcce

Please sign in to comment.