mirror of https://github.com/llvm/circt.git
332fd27147
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. |
||
---|---|---|
.. | ||
basic.mlir | ||
canonicalization.mlir | ||
errors.mlir | ||
lower-formal-to-hw.mlir | ||
prepare-for-formal.mlir | ||
verify.mlir |