Fabian Schuiki 9e79c341e5 [Verif] Change simulation exit code to success boolean (#8253) ... After some discussions on `verif.simulation`, the consensus seems to be that an arbitrary integer exit code that has no guarantee of being preserved properly by simulators, besides the zero vs non-zero distinction, is virtually useless in practice. Instead, simulations can be made simpler by generating a simple `i1` success result indicating whether the test passed or failed. Simulators can then map this to an appropriate exit code. The operating system's potential truncation of exit codes to fewer bits (e.g. 7 or 8 bits on Linux) is no longer an issue.		2025-02-19 16:03:45 -08:00
..
Analysis	[FIRRTL] Support MarkDUTAnnotation on extmodules. (#8001)	2024-12-17 13:11:34 -07:00
CAPI	[RTG][CAPI] Expose getter for bag and set element type (#8227)	2025-02-19 13:29:33 +00:00
Conversion	[SCFToCalyx] Update the lowering of SCF ParallelOp after AffineParallelUnroll pass (#8250)	2025-02-18 13:32:43 -05:00
Dialect	[Verif] Change simulation exit code to success boolean (#8253)	2025-02-19 16:03:45 -08:00
Scheduling	FileCheck directive fixup, now filecheck_lint-clean. (#7057)	2024-05-16 16:25:52 -05:00
Target	[SMT] Add bv2int op (#8049)	2025-01-10 13:30:34 +00:00
Tools	Add passes to strip OM and Emit dialect ops (#8121)	2025-01-27 13:56:52 -08:00
Transforms	[MemoryBanking] Operation-granularity banking configurations by attaching attributes (#8133)	2025-01-27 16:48:24 -05: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	[AIGToComb] [circt-synth] Add a AIG to Comb conversion pass (#7742)	2024-10-29 14:15:41 +09: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 emit HW MLIR into file (#8169)	2025-02-10 10:19:22 -08:00
hlstool	Don't read lowering options from hidden global options (#4038)	2022-10-04 15:41:03 -05: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	Add passes to strip OM and Emit dialect ops (#8121)	2025-01-27 13:56:52 -08:00
lit.cfg.py	[RTG][RTGTest] Add CAPI and a basic lowering pipeline (#7882)	2024-12-04 21:39:10 +00:00
lit.site.cfg.py.in	[LLHD] Remove llhd-sim (#7351)	2024-07-19 17:54:14 +01:00