3 Releases published by 1 person

• firtool-1.94.0

  published Nov 20, 2024

• firtool-1.95.0

  published Nov 23, 2024

• firtool-1.95.1

  published Nov 23, 2024

48 Pull requests merged by 12 people

• [FIRRTL] Rip out OMIRTracker and logic that uses it.

  #7908 merged Nov 27, 2024

• [DC] Add CAPI bindings for DC

  #7906 merged Nov 27, 2024

• [FIRRTL] Remove all traces of OMIR JSON support.

  #7907 merged Nov 26, 2024

• SCF IndexSwitch to nested If-Else

  #7905 merged Nov 26, 2024

• [circt-test] fix lit config for circt-bmc

  #7897 merged Nov 26, 2024

• [FIRRTL] Cleanup transform includes, NFC

  #7901 merged Nov 26, 2024

• [circt-bmc][VerifToSMT] Pop existing assertions on each cycle

  #7900 merged Nov 26, 2024

• [circt-bmc] Drop outdated integration test

  #7898 merged Nov 26, 2024

• [circt-test] fix lit config for circt-bmc

  #7884 merged Nov 26, 2024

• [FIRRTL] Make IMDCE work for ops w/ regions/blocks

  #7881 merged Nov 26, 2024

• [CI] Bump integration test image to 18.0

  #7895 merged Nov 25, 2024

• SCF IndexSwitch to nested If-Else

  #7670 merged Nov 25, 2024

• [firtool] Fix formal test

  #7894 merged Nov 25, 2024

• [firtool] Run LowerFormalToHW pass when emitting SV

  #7837 merged Nov 25, 2024

• [Ibis] Rename to 'Kanagawa'

  #7832 merged Nov 25, 2024

• [Verif] Require a clock when num_regs is non-zero on a BMC op

  #7891 merged Nov 25, 2024

• [VerifToSMT] Only update registers on clock posedge

  #7878 merged Nov 25, 2024

• [FIRRTL] FoldRegMems: insert new ops into same block as memory

  #7868 merged Nov 23, 2024

• [FIRRTL] Rewrite, extend CheckLayers for GC Views

  #7879 merged Nov 23, 2024

• [FIRRTL] LowerTypes: Manually compact newArgs vector

  #7869 merged Nov 23, 2024

• [FIRRTL] Dedup: dedup private modules into public ones

  #7877 merged Nov 22, 2024

• [SMT] Add integration tests for smt.reset

  #7874 merged Nov 22, 2024

• [SMT] Add SMTLIB export for push & pop operations

  #7873 merged Nov 22, 2024

• [SMT] Add push/pop operations

  #7865 merged Nov 22, 2024

• [HWToBTOR2] Error on variadic ops (for now)

  #7866 merged Nov 22, 2024

• Bump LLVM to 3cc852ece438a63e7b09d1c84a81d21598454e1a.

  #7847 merged Nov 22, 2024

• [HandshakeToDC] Implement ESIInstanceOp lowering

  #7871 merged Nov 21, 2024

• [circt-test] Add runner for circt-bmc

  #7857 merged Nov 21, 2024

• [Verif] Make verif.formal parameters an ODS property

  #7867 merged Nov 21, 2024

• [Handshake][Python] Add Python bindings for Handshake

  #7846 merged Nov 21, 2024

• [FIRRTL] Lower firrtl.formal to verif.formal

  #7836 merged Nov 21, 2024

• [NFCI][HWToBTOR2] Avoid running HWToBTOR2 pass in parallel

  #7864 merged Nov 21, 2024

• [ImportVerilog]: Create variables for function arguments

  #7829 merged Nov 21, 2024

• [SCFToCalyx] buildLibraryBinaryPipeOp source operation result replacement

  #7862 merged Nov 21, 2024

• [NFC] Output unused test results to /dev/null

  #7859 merged Nov 20, 2024

• [SeqToSV] Do not use always_ff for compreg with initializer

  #7838 merged Nov 20, 2024

• [HWToBTOR2] Avoid duplicating initial consts

  #7854 merged Nov 20, 2024

• [HWToBTOR2] Use APInt value directly in constant generation

  #7853 merged Nov 20, 2024

• [RTG] Add op and type visitors

  #7855 merged Nov 20, 2024

• [RTG] Add set type and operations

  #7848 merged Nov 20, 2024

• [HWToBTOR2] Swap to temp file placeholder

  #7852 merged Nov 20, 2024

• [HWToBTOR2] Fix crashes on initial value corner cases

  #7844 merged Nov 20, 2024

• [ExternalizeRegisters][NFC] Clean up initial value fetching

  #7843 merged Nov 20, 2024

• [HWToBTOR2] Fix slice lowering argument meanings

  #7842 merged Nov 20, 2024

• [RTGTest] Add RTGTest dialect

  #7841 merged Nov 20, 2024

• [RTG] Add context resource interfaces

  #7840 merged Nov 20, 2024

• [RTG] Add sequence_closure and invoke_sequence operations

  #7839 merged Nov 20, 2024

• [RTG] Add Random Test Generation dialect

  #7833 merged Nov 20, 2024

19 Pull requests opened by 10 people

• [RTG] Add TestOp, TargetOp, and DictType

  #7856 opened Nov 20, 2024

• [HandshakeToDC] Getting some working tests

  #7858 opened Nov 20, 2024

• [Calyx] Lower Arith CmpFOp to Calyx

  #7860 opened Nov 21, 2024

• [Verif] LowerContractsPass

  #7870 opened Nov 21, 2024

• [ExtractInstances] Append original instance name to path in metadata

  #7872 opened Nov 21, 2024

• [RTG] Add ElaborationPass

  #7876 opened Nov 22, 2024

• [RTG][RTGTest] Add CAPI and a basic lowering pipeline

  #7882 opened Nov 23, 2024

• [RTG][RTGTest] Add Python Bindings

  #7883 opened Nov 24, 2024

• [circt-test] fix SymbiYosys integration test

  #7886 opened Nov 24, 2024

• [RTG] Add BagType and operations

  #7887 opened Nov 24, 2024

• [RTG] Add BagType CAPI and Python Bindings

  #7888 opened Nov 24, 2024

• [RTG] Add some additional debug printing

  #7889 opened Nov 25, 2024

• [RTG][Elaboration] Add support for arith constants

  #7890 opened Nov 25, 2024

• [RTG][Elaboration] Elaboration support for Bags

  #7892 opened Nov 25, 2024

• [MooreToCore] Lower the unpacked array type to `hw.array`

  #7893 opened Nov 25, 2024

• [MooreToCore] Support pows and powu op

  #7899 opened Nov 26, 2024

• [RTG] Add RegisterOpInterface

  #7902 opened Nov 26, 2024

• [circt-bmc][VerifToSMT] Add initial value support

  #7903 opened Nov 26, 2024

• [FIRRTL] FoldRegMems: insert new ops into same block as memory

  #7909 opened Nov 27, 2024

5 Issues closed by 5 people

• [Nightly] Transforms/switch-to-if.mlir fails valgrind test

  #7904 closed Nov 26, 2024

• [HWToBTOR2] Builds are Flaky

  #7863 closed Nov 21, 2024

• [ImportVerilog] Create variables for function arguments

  #7431 closed Nov 21, 2024

• [SCFToCalyx] `buildLibraryBinaryPipeOp` should replace `TSrcOp`'s result with output with the register output

  #7861 closed Nov 21, 2024

• [ExportVerilog][COMB] Crash in circt-opt: Variadic Operand Handling in ExportVerilog

  #7698 closed Nov 20, 2024

3 Issues opened by 2 people

• [FIRRTL] LowerLayers RefSend could be Canonicalized Away

  #7896 opened Nov 26, 2024

• [FIRRTL] Can not canonicalize away memories without more care

  #7880 opened Nov 22, 2024

• [FIRRTL] Allow non-public modules to dedup with public modules

  #7875 opened Nov 22, 2024

7 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• [ImportVerilog] add stream concat operation

  #7784 commented on Nov 21, 2024 • 3 new comments

• [Calyx] Floating Point Comparisons

  #7821 commented on Nov 20, 2024 • 0 new comments

• [MooreToCore] Support pow op

  #7626 commented on Nov 26, 2024 • 0 new comments

• [HandshakeToDC] Missing cf conversions and memory stuff

  #7826 commented on Nov 26, 2024 • 0 new comments

• [RFC][Sim] Add triggered simulation procedures

  #7676 commented on Nov 22, 2024 • 0 new comments

• [ImportVerilog] Bump `slang`

  #7792 commented on Nov 23, 2024 • 0 new comments

• [PyCDE][Handshake] Add bindings for Handshake functions

  #7849 commented on Nov 27, 2024 • 0 new comments