circt/test/Dialect/Verif
Fabian Schuiki 332fd27147
[Verif] Adjust contract ops to match documentation (#7745)
Slightly tweak the `verif.contract`, `verif.require`, and `verif.ensure`
ops to match the usage outlined in the Verif dialect documentation. This
also adjusts the operands and constraints slightly.
2024-10-28 15:24:03 -07:00
..
basic.mlir [Verif] Adjust contract ops to match documentation (#7745) 2024-10-28 15:24:03 -07:00
canonicalization.mlir [FIRRTL][Verif][LTL] Replace `ltl.disable` with an enable folded into `verif.assert` (#7150) 2024-06-20 11:24:37 -07:00
errors.mlir [circt-bmc] Add initial_values attribute to BMC op (#7729) 2024-10-28 16:03:13 +00:00
lower-formal-to-hw.mlir [Verif] Add LowerFormalToHW pass (#7707) 2024-10-15 17:04:44 -07:00
prepare-for-formal.mlir [Verif] Add PrepareForFormal pass (#7175) 2024-06-14 12:07:06 -07:00
verify.mlir [Verif][VerifyClockedAssertLike] Don't crash on blockarg operand. 2024-08-31 03:17:34 -05:00