Fabian Schuiki d667c179bb [circt-test] Add support for contracts (#8166) ... Add the `LowerContracts` or `StripContracts` pass to the circt-test pipeline in order to leverage contracts during formal verification. To make this work, circt-test has to run a preparatory pass pipeline on the input MLIR, and pass the result as input to the MLIR runners instead of the original file. Also add an `--ir` option to dump the IR after the preparatory passes.		2025-02-07 16:39:13 -08:00
..
basic.mlir	[Verif] Make verif.formal parameters an ODS property (#7867)	2024-11-21 11:39:02 -08:00
commandline.mlir	Add unit test discovery and execution tool (#7685)	2024-10-09 10:41:37 -07:00
errors.mlir	[circt-test] Allow tests to filter according to test runners (#8084)	2025-01-15 17:56:20 -08:00
pipeline.mlir	[circt-test] Add support for contracts (#8166)	2025-02-07 16:39:13 -08:00