circt/test
Andrew Young cb90e658ab [FIRRTL] Make `sym_name` an inherent attr for symbol ops
Making this an inherent attribute means that it will be stored in the
properties of the operation. Some module-like classes already had
declared it as an input, but our older modules kinds did not.
2024-11-01 23:16:34 -07:00
..
Analysis [FIRRTL] Add "effective" design to Instance Info 2024-10-24 18:43:42 -04:00
CAPI [OM] Rework ClassOp to use return style for class fields (#7537) 2024-10-21 17:15:36 -04:00
Conversion [LTL] Canonicalize ltl.and to comb.and for i1 properties (#7759) 2024-11-01 09:11:00 -07:00
Dialect [FIRRTL] Make `sym_name` an inherent attr for symbol ops 2024-11-01 23:16:34 -07:00
Scheduling FileCheck directive fixup, now filecheck_lint-clean. (#7057) 2024-05-16 16:25:52 -05:00
Target Bump LLVM to 10407be542aeb2b59477b167bbba3716538dc722. (#7550) 2024-09-01 09:15:42 +01:00
Tools [circt-bmc] Add initial_values attribute to BMC op (#7729) 2024-10-28 16:03:13 +00:00
Transforms Flatten memref Global and its corresponding GetGlobal operations (#7758) 2024-10-31 17:11:52 -04: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 [AIG] Add AIG dialect 2024-10-26 16:18:17 +09:00
circt-reduce [HW] Change printer for modules (#6205) 2023-09-28 16:30:15 -05:00
circt-synth [AIGToComb] [circt-synth] Add a AIG to Comb conversion pass (#7742) 2024-10-29 14:15:41 +09:00
circt-test [Verif] Add ignore attribute to formal (#7719) 2024-10-31 16:25:00 -07:00
circt-translate [FIRRTL] Bump minimum to 2.0.0, remove partial conect (#5075) 2024-06-11 11:07:18 -05:00
circt-verilog [ImportVerilog] Fix single unit preprocessor option (#6682) 2024-02-09 09:15:43 -08:00
firtool [FIRRTL] Fix folding of when conditions into LTL properties (#7760) 2024-11-01 12:42:45 -07:00
hlstool Don't read lowering options from hidden global options (#4038) 2022-10-04 15:41:03 -05:00
ibistool [Ibis] Divorce symbol and actual names in class and container ops (#7123) 2024-06-10 10:06:16 +02:00
lib [NFC] Added newlines to the end of files 2022-03-28 18:58:23 +03:00
om-linker [OM] Rework ClassOp to use return style for class fields (#7537) 2024-10-21 17:15:36 -04:00
CMakeLists.txt [circt-synth] Add circt-synth driver 2024-10-26 16:18:17 +09:00
lit.cfg.py [circt-synth] Add circt-synth driver 2024-10-26 16:18:17 +09:00
lit.site.cfg.py.in [LLHD] Remove llhd-sim (#7351) 2024-07-19 17:54:14 +01:00