1 file changed
+1
-1
lines changedSubmodule circt-verilog updated 46 files
- .github/workflows/uploadWheels.yml+3-7
- docs/Dialects/DC/RationaleDC.md+4-4
- frontends/PyCDE/src/pycde/esi.py+42-1
- frontends/PyCDE/src/pycde/signals.py+8-6
- frontends/PyCDE/src/pycde/types.py+20-1
- frontends/PyCDE/test/test_esi.py+16-4
- include/circt-c/Dialect/ESI.h+2
- include/circt/Dialect/ESI/ESIOps.h+1-1
- include/circt/Dialect/FIRRTL/FIRRTLAnnotations.h-14
- include/circt/Dialect/SMT/SMTIntOps.td+15
- include/circt/Dialect/SMT/SMTVisitors.h+2
- include/circt/Transforms/Passes.h+3-2
- include/circt/Transforms/Passes.td+3-1
- integration_test/Dialect/SMT/basic.mlir+11
- integration_test/circt-synth/comb-lowering-lec.mlir+28
- integration_test/circt-test/basic-circt-bmc.mlir+1-1
- integration_test/circt-test/basic-sby.mlir+1-1
- integration_test/lit.cfg.py+1-1
- lib/Bindings/Python/ESIModule.cpp+4
- lib/Bindings/Python/support.py+4
- lib/CAPI/Dialect/ESI.cpp+4
- lib/Conversion/CombToAIG/CombToAIG.cpp+114
- lib/Conversion/FIRRTLToHW/LowerToHW.cpp+20-6
- lib/Conversion/SMTToZ3LLVM/LowerSMTToZ3LLVM.cpp+23-3
- lib/Conversion/VerifToSMT/VerifToSMT.cpp+3-1
- lib/Dialect/FIRRTL/FIRRTLAnnotations.cpp-26
- lib/Dialect/FIRRTL/Transforms/BlackBoxReader.cpp+10-49
- lib/Dialect/FIRRTL/Transforms/ExtractInstances.cpp-5
- lib/Dialect/FIRRTL/Transforms/GrandCentral.cpp+6-19
- lib/Dialect/FIRRTL/Transforms/InjectDUTHierarchy.cpp+9-34
- lib/Dialect/FIRRTL/Transforms/MemToRegOfVec.cpp+7-19
- lib/Target/ExportSMTLIB/ExportSMTLIB.cpp+4
- lib/Transforms/MemoryBanking.cpp+79-47
- test/Conversion/CombToAIG/comb-to-aig-arith.mlir+75-2
- test/Conversion/FIRRTLToHW/lower-to-hw-module.mlir+3-3
- test/Conversion/FIRRTLToHW/lower-to-hw.mlir+7-7
- test/Conversion/SMTToZ3LLVM/smt-to-z3-llvm.mlir+4
- test/Conversion/VerifToSMT/bmc-clock-not-first.mlir+32
- test/Dialect/SMT/integers.mlir+2
- test/Target/ExportSMTLIB/integer-errors.mlir+7
- test/Transforms/memory_banking.mlir+76
- test/Transforms/memory_banking_multi_dim.mlir+75
- test/firtool/lower-layers.fir+1-1
- test/firtool/print.fir+2-1
- tools/circt-cocotb-driver/circt-cocotb-driver.py.in+12-3
- tools/circt-test/circt-test.cpp+182-49
0 commit comments