Lenny Truong 2bd44c813a [Verif] Add ignore attribute to formal (#7719) ... By default, `circt-test` will not include "ignored" verif.formal ops in the output list but has an option `--list-ignored` to emit them.		2024-10-31 16:25:00 -07:00
..
basic.mlir	[Verif] Add ignore attribute to formal (#7719)	2024-10-31 16:25:00 -07:00
commandline.mlir	Add unit test discovery and execution tool (#7685)	2024-10-09 10:41:37 -07:00