Fix a bug in name propagation, ensure instance name is not updated.
Fixes https://github.com/ll...

Previously we created a chain of FusedLocations that had metadata point to previous, instead app...

Due to attempts to prevent logic duplication, the generic canonicalizers do not catch this case ...

The Evaluator depends on the headers, so the dependency should be
declared explicitly. The LINK_...

This add an operation to create a constant of string type, as well
as a fold to StringAttr and ...

This makes the StringType a buildable type, which is useful for type inference.

We no longer emit the `tb_seq_mems.json` file. Remove mention of it from the docs.

We are using C++17, and a recent addition to the Python bindings for
the OM dialect relies on a...

This switches to use the `data()` API, which is how the upstream
Python bindings do it. Using `...

Rename the `property` port to `in` to be more in-line with other LTL
intrinsics, and to avoid co...

This commit extends ETC to extract registers.
In order to enable the same generic logic to ext...

Restore bump from 32ea5601c5112a1c602c0948a413701888f82369.

* Preserve const for getWidthlessType

Also addressed a data tap bug that this fix revealed

This commit ties up loose ends regarding enums and const.
MatchOp now takes const into account....

* Support RefSub in getFieldRefFromValue
* Support OpenAggs/Refsub in getValueByFieldID.

Als...

Previously `visitConnectLike` traversed all elements in the connections, which could cause regre...

... which should hopefully fix Windows CI.

Adds a pass which does a simple `arith` to `comb` mapping. The intention of this pass is mainly ...

Add intrinsics to the FIRRTL dialect that lower directly to operations
in the Verif and LTL dia...

Fixes #5312.

Very minor docs fix, usage example of comb.icmp incorrectly (unless I've missed something?) says...

The `solveExpr` implementation of `InferWidths` was recursive and causing stack
overflow issue...

Create `om.class` to represent the `json` metadata in `CreateSifiveMetadata`.
This adds the req...

Allow `verif.{assert,assume,cover}` ops to carry a label that gets
picked up by `LegalizeNames`...

Add convenient builders to om::ClassOp that given the parameter names, and
field names and type...

* [FIRRTL] Const parsing, emitting, and prim ops

The fir parser now parses const types and pa...

As we expand mux into nested-if, the nest level could reach to O(10000). To avoid stack overflow...

This PR reworks hardware lowering to be based on the new `pipeline.stage` operation introduced i...

This PR adds a new operation, `pipeline.stage` to the `Pipeline` dialect.
This operation is use...

ModuleInliner was creating an illegal empty inner sym name, if the instance op
name is empty. ...

firrtl::getOrAddInnerSym was returning an InnerSymAttr with empty symbol name,
if the name hint...

This commit add a list type to OM dialect which represents a list in metadata.
* ListType is ad...

This PR adds a string type to OM dialect.

We don't mark overdefined if there exists an operand with unknown state. This was required to ge...

We need to make sure that we do not doubly process drivers when a wire
is driven in both the `t...

The extractedInstances map is unused since
4eda457b519df558fad79fd224bb5a877db3c6a9, so just rem...

This adds support for Objects in the Fields of other Objects. This is
handled in the pure Pytho...

This adds custom CAPI wrap and unwrap functionality for Object to
better align with the std::sh...

Lots of _T_ and _WIRE were appearing in the output. These are quite useless. We filter these o...

Turns out the cocotb driver is useful for things other than handshake... moves the cocotb driver...

To better align with the SV output, make memories in the Arc dialect
return zero when a read por...

Add an option to the `AddTaps` pass and the `arcilator` tool to make all
values with a `sv.nameh...

Sanitize the identifiers generate by `arcilator-header-cpp.py` to avoid
generating fields like `...

The `comb.icmp` op has a pretty clever canonicalizer that refactors
`icmp.eq(xor(a, b, cst1), cs...

Arc deduplication unconditionally deletes all operations it has
outlined. In some circumstances ...

The `MakeTables` pass used `llvm::reverse(x)`, expecting it to reverse
the elements in `x`. Inst...

Add a `--lookup-tables` option to control whether LUT optimization is
performed or not.

Remove some code duplication in `LogicExporter.cpp` and add missing
`circt` namespaces around th...

Add support for emitting the assert, assume, and cover ops from the
`verif` dialect, and proper...

Add two new dialects to CIRCT.

The `ltl` dialect represents Linear Temporal Logic expressions...

Remove arbitrary limits on hierpath so that they can represent any path.
xmrrefop has to go thr...

Node12 -> Node16, primarily.

See: https://github.blog/changelog/2022-09-22-github-actions-all...

https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-co...

Move to new format, we can add / adjust (please do!).

Fixes #3755.

This adds a type property to Objects, which returns the Object's
ClassType via the new CAPI. It ...

This adds two APIs to the OM dialect, for querying if a Type is a
ClassType and for getting the ...

Add `firtool` release tag to python wheel builds.

* [FIRRTL] DropConst pass and const connect verification

Connect op verifiers now check const...

- Put the Z3 library in the public link libraries of CIRCTLogicalEquivalence
- Put the Z3 heade...

Co-authored-by: Nandor Licker <[email protected]>

This PR adds functionality to find and remove dead hierpaths and weak referencing annotations in...

Some of our CMake code which is only used in Capnp builds uses newer CMake
features. Since most...

This reverts commit f7e40324a67097acf9019c54e5bef30400a92da3.

Add test.

This adds the usual Python API structure and dialect registration
boilerplate, as well as Pytho...

Make the `CreateSiFiveMetadata` a `mlir::ModuleOp` pass.
This is required to generate `om` Dial...

This moves most of the circt-lec code into a CIRCT library. No existing library directories seem...

This adds the usual CAPI structure and dialect registration
boilerplate, as well as CAPIs aroun...

Ram-style attribute for vivado is only applicable to unpacked registers.
As firrtl.vector type...

Adds macosx python 3.7/3.8/3.10 configurations to python wheels.

This dependency is needed to generate the shared Passes.{h,cpp}.inc
files used by all conversion...

Stay consistent with upstream:
https://github.com/llvm/llvm-project/commit/478e392c0ca64043ec633...

If CXX compiler is not clang (or not same clang as clang-tidy used),
build flags may not be app...

It's illegal to merge different always_comb in general as it might implicitly
have data depend...

Moved the pipeline setup into its own library as it spans the FIRRTL, HW, SV and Seq dialects.

Add a few convenient builders for ops and attributes.