| .. |
|
Analysis
|
Comb Interval Range Analysis and Comb Opt Narrowing pass (#8425)
|
2025-04-30 15:42:18 +02:00 |
|
CAPI
|
[RTG] Add any_context attribute (#8373)
|
2025-05-14 11:13:42 +01:00 |
|
Conversion
|
[circt-lec] Implement emit-smtlib functionality for circt-lec (#8497)
|
2025-05-22 15:26:10 +01:00 |
|
Dialect
|
[FIRRTL][IMCP] Mark DPI calls as overdefined (#8515)
|
2025-05-24 12:41:02 +02:00 |
|
Scheduling
|
[SSP] Separate `ResourceType` from `OperatorType` (#8444)
|
2025-05-13 08:52:11 -04:00 |
|
Target
|
[LLVM] bump to 9deb08a and integrate upstream SMT C APIs (#8424)
|
2025-04-17 15:26:22 -04:00 |
|
Tools
|
[circt-lec] Implement emit-smtlib functionality for circt-lec (#8497)
|
2025-05-22 15:26:10 +01:00 |
|
Transforms
|
[Transforms][HierarchicalRunner] Run passes only on HWModuleOp (#8495)
|
2025-05-19 22:54:18 -07:00 |
|
Unit
|
[Moore] Add SystemVerilog types (#2699)
|
2022-03-04 08:48:45 +01:00 |
|
arcilator
|
[Arc] Improve LowerState to never produce read-after-write conflicts (#7703)
|
2024-10-28 14:57:03 -07:00 |
|
circt-as-dis
|
[NFC, FIRRTL] Rename StrictConnect to MatchingConnect. (#7116)
|
2024-06-04 09:19:00 -05:00 |
|
circt-opt
|
[Ibis] Rename to 'Kanagawa' (#7832)
|
2024-11-25 11:23:31 -08:00 |
|
circt-reduce
|
[HW] Change printer for modules (#6205)
|
2023-09-28 16:30:15 -05:00 |
|
circt-synth
|
[Transforms][circt-synth] Add HierarchicalRunner pass (#8254)
|
2025-02-28 14:43:54 -08:00 |
|
circt-test
|
[circt-test] Add support for contracts (#8166)
|
2025-02-07 16:39:13 -08:00 |
|
circt-translate
|
[FIRRTL] Bump minimum to 2.0.0, remove partial conect (#5075)
|
2024-06-11 11:07:18 -05:00 |
|
circt-verilog
|
[circt-verilog] Only run test when slang is available
|
2024-11-12 12:19:41 -08:00 |
|
firtool
|
[firtool] Add an option to dump MLIR errors to a json file (#8496)
|
2025-05-23 11:01:35 -07:00 |
|
hlstool
|
[hlstool] add top-level-function option for calyx flow (#8434)
|
2025-04-28 08:22:05 -04:00 |
|
kanagawatool
|
[Kanagawa] Remove `%this` (#8097)
|
2025-01-21 09:38:54 +01:00 |
|
lib
|
[NFC] Added newlines to the end of files
|
2022-03-28 18:58:23 +03:00 |
|
om-linker
|
[OM] Preserve non-OM operations in OM LinkModules (#8109)
|
2025-01-22 12:56:06 -08:00 |
|
CMakeLists.txt
|
[LLVM] bump to 9deb08a and integrate upstream SMT C APIs (#8424)
|
2025-04-17 15:26:22 -04:00 |
|
lit.cfg.py
|
[tests] drop removed SMTLIB CAPI test from lit config (#8463)
|
2025-05-05 17:39:55 +01:00 |
|
lit.site.cfg.py.in
|
[LLHD] Remove llhd-sim (#7351)
|
2024-07-19 17:54:14 +01:00 |
8f2f237019